Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder

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

zbMATH Keywords

nonblockingsupervisory control theorydiscrete event systemshierarchical control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

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)

• Multi-level hierarchical interface-based supervisory control
• Hierarchical interface-based supervisory control with data events

Describes a project that uses

Uses Software

• Supremica

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)