Compositional synthesis of supervisors in the form of state machines and state maps

DOI10.1016/j.automatica.2016.10.012zbMath1352.93074OpenAlexW2559868061MaRDI QIDQ503186

Martin Fabian, Sahar Mohajerani, Robi Malik

Publication date: 11 January 2017

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/10289/10827

zbMATH Keywords

discrete event systemscontroller constraints and structurecomputational issuesalgorithms and softwarecompositional synthesis

Mathematics Subject Classification ID

Application models in control theory (93C95) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Cellular automata (computational aspects) (68Q80)

Related Items

A survey on compositional algorithms for verification and synthesis in supervisory control, A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms, Optimal non‐blocking decentralized supervisory control with unobservable controllable events, Compositional coordinator synthesis of extended finite automata

Uses Software

• Supremica

Cites Work

• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
• Supervisory Control Architecture for Discrete-Event Systems
• Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
• Approach for Transforming Linear Constraints on Petri Nets