Multitasking supervisory control of discrete-event systems
From MaRDI portal
Publication:816701
DOI10.1007/S10626-005-4058-YzbMATH Open1101.93052OpenAlexW2098906570MaRDI QIDQ816701FDOQ816701
Authors: Max H. de Queiroz, José E. R. Cury, 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
Recommendations
- scientific article; zbMATH DE number 177251
- scientific article; zbMATH DE number 177524
- Supervisory control of concurrent discrete-event systems
- Supervisory control of discrete-event systems
- Supervisory Control of Discrete-Event Systems
- Supervisory control of discrete event systems
- MULTIPROCESSOR SCHEDULING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS FRAMEWORK
- Supervisory control of distributed discrete-event systems
- Supervisory control of the structured dynamic discrete-event systems
- Supervisory control of timed discrete-event systems
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Output stabilizability of discrete-event dynamic systems
- Multitasking supervisory control of discrete-event systems
- Maximally permissive mutually and globally nonblocking supervision with application to switching control
- Mutually nonblocking supervisory control of discrete event systems
Cited In (15)
- Multitasking supervisory control of discrete-event systems
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Supervisory control and reactive synthesis: a comparative introduction
- Progressive events in supervisory control and compositional verification
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Optimal supervisory control of discrete event systems: cyclicity and interleaving of tasks
- Quantitatively nonblocking supervisory control of discrete-event systems
- Multi-level hierarchical interface-based supervisory control
- Incremental hierarchical construction of modular supervisors for discrete-event systems
- Title not available (Why is that?)
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
- A modular synthesis approach for the coordination of multi-agent systems: the multiple team case
- Compositional non-blockingness verification of finite automata with prioritised events
This page was built for publication: Multitasking supervisory control of discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q816701)
