Supervisor existence for modular discrete-event systems

Kurt R. Rohloff, Stephane Lafortune

Research output: Contribution to journalConference articlepeer-review

5 Scopus citations


This paper examines decision problems involving existence conditions for supervisors of modular systems. We investigate the problem of deciding if there exists a supervisor that can augment a modular system to satisfy a given modular global specification. Our system and specification modules are "discrete-event systems" modeled as finite-state automata. The parallel composition operation is used to model the interaction between the various modules. A supervisor for a discrete-event system observes events as they occur in the system and enforces a control action by disabling some controllable events. We find that these types of problems are generally PSPACE-complete for a large class of systems and specifications.

Original languageEnglish (US)
Pages (from-to)205-210
Number of pages6
JournalIFAC Proceedings Volumes (IFAC-PapersOnline)
Issue number18
StatePublished - 2003
Externally publishedYes
Event2nd IFAC Conference on Control Systems Design, CSD 2003 - Bratislava, Slovakia
Duration: Sep 7 2003Sep 10 2003

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering


  • Computational Complexity
  • Discrete Event Systems
  • Modular and Concurrent Systems
  • Regular Languages
  • Specification and Verification
  • Supervision and Control


Dive into the research topics of 'Supervisor existence for modular discrete-event systems'. Together they form a unique fingerprint.

Cite this