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

DOI10.1016/J.AUTOMATICA.2016.10.012zbMATH Open1352.93074OpenAlexW2559868061MaRDI QIDQ503186FDOQ503186

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

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

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)

Cites Work

• Statecharts: a visual formalism for complex systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Approach for Transforming Linear Constraints on Petri Nets
• Compositional synthesis of maximally permissive supervisors using supervision equivalence
• Supervisory Control Architecture for Discrete-Event Systems
• Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
• A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

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

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)