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

DOI10.1016/J.AUTOMATICA.2016.10.012MaRDI QIDQ503186zbMATH OpenOpenAlexFDO

Authors Sahar Mohajerani, Robi Malik, M. Fabian

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

controller constraints and structurediscrete event systemscomputational issuesalgorithms and softwarecompositional synthesis

Mathematics Subject Classification ID

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

Recommendations

• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• A survey on compositional algorithms for verification and synthesis in supervisory control
• Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
• Compositional verification in supervisory control
• Compositional coordinator synthesis of extended finite automata

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 177514 (Why is no real title available?)
• A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
• Approach for Transforming Linear Constraints on Petri Nets
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
• Statecharts: a visual formalism for complex systems
• Supervisory Control Architecture for Discrete-Event Systems

Cited in

(5)

• Optimal non-blocking decentralized supervisory control with unobservable controllable events
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Compositional coordinator synthesis of extended finite automata
• 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

Describes a project that uses

Uses Software

• Supremica

This page was built for publication: Compositional synthesis of supervisors in the form of state machines and state maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q503186)