Nonblocking supervisory control of state-tree structures with event forcing

DOI10.1016/J.JFRANKLIN.2022.07.040MaRDI QIDQ2094965zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 9 November 2022

Published in Journal of the Franklin Institute (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jfranklin.2022.07.040

zbMATH Keywords

discrete-event systemsnonblocking supervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Recommendations

• Nonblocking supervisory control of state tree structures.
• State based control of timed discrete event systems using binary decision diagrams
• Supervisory control of state-tree structures with partial observation
• Supervisor specification and synthesis for discrete event systems
• Modular supervisory control and coordination of state tree structures

Cites work

• A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems
• Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
• Binary Decision Diagrams
• Exploiting symmetry of state tree structures for discrete-event systems with parallel components
• Graph-Based Algorithms for Boolean Function Manipulation
• Modular supervisory control and coordination of state tree structures
• Nonblocking Supervisory Control of State Tree Structures
• Nonblocking supervisory control of state tree structures.
• Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
• Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures
• Robust deadlock control of automated manufacturing systems with multiple unreliable resources
• Statecharts: a visual formalism for complex systems
• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event systems
• Supervisory control of state-tree structures with partial observation

Cited in

(3)

• Nonblocking supervisory control of state tree structures.
• Modular supervisory control and coordination of state tree structures
• Offline supervisory control synthesis: taxonomy and recent developments

This page was built for publication: Nonblocking supervisory control of state-tree structures with event forcing

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