Multitasking supervisory control of discrete-event systems
From MaRDI portal
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
- scientific article; zbMATH DE number 3959244 (Why is no real title available?)
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 107927 (Why is no real title available?)
- scientific article; zbMATH DE number 1836359 (Why is no real title available?)
- Maximally permissive mutually and globally nonblocking supervision with application to switching control
- Multitasking supervisory control of discrete-event systems
- Mutually nonblocking supervisory control of discrete event systems
- Output stabilizability of discrete-event dynamic systems
Cited in
(18)- Supervisory control and reactive synthesis: a comparative introduction
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- Incremental hierarchical construction of modular supervisors for discrete-event systems
- scientific article; zbMATH DE number 3896789 (Why is no real title available?)
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Optimal supervisory control of discrete event systems: cyclicity and interleaving of tasks
- Progressive events in supervisory control and compositional verification
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
- Compositional non-blockingness verification of finite automata with prioritised events
- A modular synthesis approach for the coordination of multi-agent systems: the multiple team case
- Quantitatively nonblocking supervisory control of discrete-event systems
- Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
- Offline supervisory control synthesis: taxonomy and recent developments
- Dynamic scheduling of automated manufacturing systems using supervisory control theory and reinforcement learning
- Task scheduling using Markov decision process over supervisory control theory
- Multitasking supervisory control of discrete-event systems
- Multi-level hierarchical interface-based supervisory control
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)
