Nonblocking supervisory control of state-tree structures with event forcing

DOI10.1016/j.jfranklin.2022.07.040zbMath1501.93005OpenAlexW4294495544MaRDI QIDQ2094965

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)

Cites Work

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

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