Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
From MaRDI portal
Publication:4896783
Recommendations
Cited in
(11)- Progressive events in supervisory control and compositional verification
- scientific article; zbMATH DE number 1820095 (Why is no real title available?)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
- A class of non-deterministic specifications for supervisory control
- scientific article; zbMATH DE number 744042 (Why is no real title available?)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Design of nonblocking modular supervisors using event priority functions
- Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
This page was built for publication: Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4896783)