Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
From MaRDI portal
Publication:2348366
Recommendations
- Hierarchical interface-based supervisory control with data events
- Multi-level hierarchical interface-based supervisory control
- Incremental hierarchical construction of modular supervisors for discrete-event systems
- Hierarchical supervisory control of discrete event systems with model uncertainty
- On the consistency of hierarchical supervision in discrete-event systems
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 1836359 (Why is no real title available?)
- CONFLICTS AND FAIR TESTING
- Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
- Compositional verification in supervisory control
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Decentralized control and coordination of discrete-event systems with partial observation
- Decentralized supervisory control of discrete-event systems
- Decentralized supervisory control with communicating controllers
- Hierarchical control of discrete-event systems
- Hierarchical interface-based supervisory Control-part I: serial case
- Hierarchical interface-based supervisory control with data events
- Hierarchical interface-based supervisory control-part II: parallel case
- Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
- Modular control and coordination of discrete-event systems
- Multi-level hierarchical interface-based supervisory control
- Nonblocking supervisory control of state tree structures.
- On the computation of natural observers in discrete-event systems
- On the computation of observers in discrete-event systems
- Statecharts: a visual formalism for complex systems
- Synthesis Method for Hierarchical Interface-Based Supervisory Control
- Testing equivalences for processes
- Think globally, act locally: decentralized supervisory control
Cited in
(2)
This page was built for publication: Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2348366)