Development of concurrent structural decentralised discrete event system using bisimulation concept

DOI10.3934/NACO.2016013zbMath1346.93253OpenAlexW2530609602MaRDI QIDQ330298

Sang Heon Lee

Publication date: 25 October 2016

Published in: Numerical Algebra, Control and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3934/naco.2016013

zbMATH Keywords

discrete event systemdecentralized controlbisimulationsupervisory control theorystructural conditions

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Multi-level hierarchical interface-based supervisory control
• Modular supervisory control of discrete-event systems
• Bisimulation, the supervisory control problem and strong model matching for finite state machines
• A general architecture for decentralized supervisory control of discrete-event systems
• Decentralized supervisory control of discrete-event systems
• Structural decentralised control of concurrent discrete-event systems
• Hierarchical control of discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of concurrent discrete-event systems
• Fully decentralized solutions of supervisory control problems
• Modular Control of Discrete-Event Systems With Coalgebra
• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control

This page was built for publication: Development of concurrent structural decentralised discrete event system using bisimulation concept