scientific article; zbMATH DE number 434956
From MaRDI portal
Publication:3139814
distributed softwarelogical discrete event system modelsprotocol synthesis problemsupervisory control
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15) General systems (93A10) Control/observation systems involving computers (process control, etc.) (93C83)
Recommendations
- Supervisory control of distributed discrete-event systems
- Symbolic Supervisory Control of Distributed Systems With Communications
- Supervisory control of concurrent discrete-event systems
- scientific article; zbMATH DE number 1086844
- Decentralized supervisory control of discrete-event systems
- Supervisory control of distributed systems: Conflict resolution
- scientific article; zbMATH DE number 744043
- Achieving distributed control through model checking
Cited in
(7)- A discrete event systems approach for protocol conversion
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach
- Supervisory control of distributed systems: Conflict resolution
- scientific article; zbMATH DE number 1728506 (Why is no real title available?)
- Symbolic Supervisory Control of Distributed Systems With Communications
- Synthesis of logical controllers and discrete-event systems supervisory control theory
- A software design method based on supervisory control theories: method of changing state properties
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3139814)
