On conditional decomposability
From MaRDI portal
Publication:1932746
DOI10.1016/j.sysconle.2012.07.013zbMath1255.93031arXiv1201.1733MaRDI QIDQ1932746
Tomáš Masopust, Jan Komenda, Jan H. van Schuppen
Publication date: 21 January 2013
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1201.1733
Related Items
Coordination Control of Distributed Discrete-Event Systems, Localisation-based distributed control of timed discrete-event systems with communication delay, Optimal non‐blocking decentralized supervisory control with unobservable controllable events, Coordination Control of Distributed Discrete-Event Systems, Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication, Modular control of discrete-event systems using similarity, Coordination control of discrete-event systems revisited, Distributed computation of supremal conditionally controllable sublanguages
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach
- On the complexity of intersecting finite state automata and \(\mathcal{NL}\) versus \(\mathcal{NP}\)
- Supervisory control synthesis of discrete-event systems using a coordination scheme
- Supervisory control of modular systems with global specification languages
- Nonblocking supervisory control of state tree structures.
- Introduction to Discrete Event Systems
- Compositional Verification in Supervisory Control
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of concurrent discrete-event systems
- Think globally, act locally: decentralized supervisory control
- Verification of Nonconflict of Supervisors Using Abstractions
- State Complexity of Projected Languages
- Coordination Control of Distributed Discrete-Event Systems