Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
From MaRDI portal
Publication:4896783
DOI10.1109/9.533677zbMATH Open0864.93017OpenAlexW2011115295MaRDI QIDQ4896783FDOQ4896783
Authors: Ratnesh Kumar, Mark A. Shayman 
Publication date: 8 July 1997
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.533677
Recommendations
General systems (93A10) Hierarchical systems (93A13) Stochastic systems in control theory (general) (93E03)
Cited In (11)
- A class of non-deterministic specifications for supervisory control
- Title not available (Why is that?)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems
- Progressive events in supervisory control and compositional verification
- Design of nonblocking modular supervisors using event priority functions
- Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor
- 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
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
- Title not available (Why is that?)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems
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)
