Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder
From MaRDI portal
Publication:2348366
DOI10.1007/S10626-014-0185-7zbMATH Open1328.93012OpenAlexW2057931867MaRDI QIDQ2348366FDOQ2348366
Authors: Robi Malik, Ryan J. Leduc 
Publication date: 12 June 2015
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/10289/12401
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
- Statecharts: a visual formalism for complex systems
- Compositional verification in supervisory control
- Title not available (Why is that?)
- Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
- CONFLICTS AND FAIR TESTING
- Testing equivalences for processes
- Decentralized supervisory control of discrete-event systems
- Hierarchical control of discrete-event systems
- Multi-level hierarchical interface-based supervisory control
- Conflict-preserving abstraction of discrete event systems using annotated automata
- Think globally, act locally: decentralized supervisory control
- Hierarchical interface-based supervisory control-part II: parallel case
- Title not available (Why is that?)
- Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems
- On the computation of natural observers in discrete-event systems
- On the computation of observers in discrete-event systems
- Modular control and coordination of discrete-event systems
- Nonblocking supervisory control of state tree structures.
- Decentralized supervisory control with communicating controllers
- Decentralized control and coordination of discrete-event systems with partial observation
- Synthesis Method for Hierarchical Interface-Based Supervisory Control
- Hierarchical interface-based supervisory Control-part I: serial case
- Hierarchical interface-based supervisory control with data events
Cited In (2)
Uses Software
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)
