PSPACE-completeness of Modular Supervisory Control Problems*

@article{Rohloff2005PSPACEcompletenessOM,
  title={PSPACE-completeness of Modular Supervisory Control Problems*},
  author={Kurt Rohloff and St{\'e}phane Lafortune},
  journal={Discrete Event Dynamic Systems},
  year={2005},
  volume={15},
  pages={145-167}
}
In this paper we investigate computational issues associated with the supervision of concurrent processes modeled as modular discrete-event systems. Here, modular discrete-event systems are sets of deterministic finite-state automata whose interaction is modeled by the parallel composition operation. Even with such a simple model process model, we show that in general many problems related to the supervision of these systems are PSPACE-complete. This shows that although there may be space… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 14 CITATIONS

On Tractable Instances of Modular Supervisory Control

  • IEEE Transactions on Automatic Control
  • 2011
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Complexity of Verifying Nonblockingness in Modular Supervisory Control

  • IEEE Transactions on Automatic Control
  • 2017
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Reduction of Distributions: Definitions, Properties, and Applications

  • IEEE Transactions on Automatic Control
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 25 REFERENCES

Lower bounds for natural proof systems

  • 18th Annual Symposium on Foundations of Computer Science (sfcs 1977)
  • 1977
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

On the complexity of supervisory control design in the RW framework

  • IEEE Trans. Systems, Man, and Cybernetics, Part B
  • 2000
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Introduction to Discrete Event Systems

  • The Kluwer International Series on Discrete Event Dynamic Systems
  • 1999
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Theory of Computational Complexity

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Decentralized control of discrete event systems with multiple local specifications

  • Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148)
  • 2001
VIEW 2 EXCERPTS

Hierarchical interface-based supervisory control: serial case

  • Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)
  • 2001
VIEW 2 EXCERPTS

Synthesizing distributed systems

  • Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
  • 2001
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…