On conditional decomposability

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

zbMATH Keywords

coordination control; discrete-event system; conditional decomposability

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

93B11: System structure simplification

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

• UMDES
• libFAUDES

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