Abstract
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 language | English (US) |
---|---|
Pages (from-to) | 205-210 |
Number of pages | 6 |
Journal | IFAC Proceedings Volumes (IFAC-PapersOnline) |
Volume | 36 |
Issue number | 18 |
DOIs | |
State | Published - 2003 |
Externally published | Yes |
Event | 2nd IFAC Conference on Control Systems Design, CSD 2003 - Bratislava, Slovakia Duration: Sep 7 2003 → Sep 10 2003 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
Keywords
- Computational Complexity
- Discrete Event Systems
- Modular and Concurrent Systems
- Regular Languages
- Specification and Verification
- Supervision and Control