Structural decentralised control of concurrent discrete-event systems
From MaRDI portal
Recommendations
- Supervisory control of concurrent discrete-event systems
- Development of concurrent structural decentralised discrete event system using bisimulation concept
- A general architecture for decentralized supervisory control of discrete-event systems
- Decentralized supervisory control of discrete-event systems
- Decentralized supervisory control with communicating controllers
Cites work
- Decentralized supervisory control of discrete-event systems
- Fully decentralized solutions of supervisory control problems
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- Modular Feedback Logic for Discrete Event Systems
- Modular supervisory control of discrete-event systems
- On the consistency of hierarchical supervision in discrete-event systems
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of concurrent discrete-event systems
- Supervisory control of discrete-event processes with partial observations
- Think globally, act locally: decentralized supervisory control
Cited in
(17)- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Supervisory control of modular systems with global specification languages
- Control of discrete-event systems with modular or distributed structure
- Development of concurrent structural decentralised discrete event system using bisimulation concept
- Integrating discrete controller synthesis into a reactive programming language compiler
- Supervisory control of concurrent discrete-event systems
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Supervisory Control of Discrete-Event Systems
- scientific article; zbMATH DE number 795183 (Why is no real title available?)
- Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion
- On the synthesis of safe control policies in decentralized control of discrete-event systems
- scientific article; zbMATH DE number 5232658 (Why is no real title available?)
- A survey on compositional algorithms for verification and synthesis in supervisory control
- Algebraic calculation for safety synthesis of networked logical finite state machines
- Theoretical and experimental assessment of Maxwell-Boltzmann type gain distribution for the vibration control of a generalized structural system
- Designing communicating transaction processes by supervisory control theory
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach
This page was built for publication: Structural decentralised control of concurrent discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2512246)
