Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
From MaRDI portal
Publication:4896783
DOI10.1109/9.533677zbMath0864.93017OpenAlexW2011115295MaRDI QIDQ4896783
Mark A. Shayman, Ratnesh Kumar
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
Hierarchical systems (93A13) Stochastic systems in control theory (general) (93E03) General systems (93A10)
Related Items (6)
A class of non-deterministic specifications for supervisory control ⋮ Decentralized supervisory control of nondeterministic discrete event systems: The existence condition of a robust and nonblocking supervisor ⋮ Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications ⋮ 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 ⋮ 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
