Nonblocking supervisory control of nondeterministic systems via prioritized synchronization

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

zbMATH Keywords

supervisory controlnondeterministic discrete-event systemsnonmarkingtrajectory model nonblocking

Mathematics Subject Classification ID

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