A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
From MaRDI portal
Publication:2983297
DOI10.1109/TAC.2013.2283109zbMath1360.93433OpenAlexW1994917823MaRDI QIDQ2983297
Robi Malik, Sahar Mohajerani, Martin 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
Related Items (12)
What information really matters in supervisor reduction? ⋮ 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 ⋮ Supervisory control of discrete event systems with distinguishers ⋮ 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 synthesis of supervisors in the form of state machines and state maps ⋮ Optimal non‐blocking decentralized supervisory control with unobservable controllable events ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Optimal modular control of discrete event systems with distinguishers and approximations
Uses Software
This page was built for publication: A Framework for Compositional Synthesis of Modular Nonblocking Supervisors