A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

DOI10.1109/TAC.2013.2283109MaRDI QIDQ2983297zbMATH OpenOpenAlexFDO

Authors Sahar Mohajerani, Robi Malik, M. Fabian

Publication date 16 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2013.2283109

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Cited in

(14)

• What information really matters in supervisor reduction?
• Compositional coordinator synthesis of extended finite automata
• Optimal modular control of discrete event systems with distinguishers and approximations
• Consistent reduction in discrete-event systems
• Time-optimal control of large-scale systems of systems using compositional optimization
• SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
• Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
• Abstraction-based verification and synthesis for prognosis of discrete event systems
• Compositional synthesis of supervisors in the form of state machines and state maps
• Optimal non-blocking decentralized supervisory control with unobservable controllable events
• A survey on compositional algorithms for verification and synthesis in supervisory control
• On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
• Offline supervisory control synthesis: taxonomy and recent developments
• Supervisory control of discrete event systems with distinguishers

Describes a project that uses

Uses Software

• Supremica

This page was built for publication: A Framework for Compositional Synthesis of Modular Nonblocking Supervisors

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