Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
From MaRDI portal
Publication:5125579
Cited in
(5)- Localisation-based distributed control of timed discrete-event systems with communication delay
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Reducing the computational effort of symbolic supervisor synthesis
- Offline supervisory control synthesis: taxonomy and recent developments
- Markov clustering based fully automated nonblocking hierarchical supervisory control of large-scale discrete-event systems
This page was built for publication: Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5125579)