Multitasking supervisory control of discrete-event systems
From MaRDI portal
Publication:816701
DOI10.1007/s10626-005-4058-yzbMath1101.93052OpenAlexW2098906570MaRDI QIDQ816701
José E. R. Cury, Max H. de Queiroz, W. Murray Wonham
Publication date: 23 February 2006
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-005-4058-y
Related Items (11)
Supervisory control and reactive synthesis: a comparative introduction ⋮ Robust nonblocking supervisory control of discrete-event systems under partial observation ⋮ Incremental hierarchical construction of modular supervisors for discrete-event systems ⋮ Compositional synthesis of maximally permissive supervisors using supervision equivalence ⋮ Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems ⋮ Multi-level hierarchical interface-based supervisory control ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution ⋮ Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks ⋮ Progressive events in supervisory control and compositional verification ⋮ On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices ⋮ Multitasking supervisory control of discrete-event systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Multitasking supervisory control of discrete-event systems
- Maximally permissive mutually and globally nonblocking supervision with application to switching control
- Output stabilizability of discrete-event dynamic systems
- Mutually nonblocking supervisory control of discrete event systems
This page was built for publication: Multitasking supervisory control of discrete-event systems
