The Verification and Control of Interacting Similar Discrete-Event Systems
From MaRDI portal
Recommendations
- Modular control of discrete-event systems using similarity
- scientific article; zbMATH DE number 434961
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- scientific article; zbMATH DE number 4158510
- scientific article; zbMATH DE number 1734138
- Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
- Controllability and control-invariance in discrete-event systems
- scientific article; zbMATH DE number 1284133
- Control of parameterized discrete event systems
- Discrete event systems. Modelling and control of distributed systems
Cited in
(11)- Modular control of discrete-event systems using similarity
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
- Supervisory control of modular systems with global specification languages
- Control of discrete-event systems with modular or distributed structure
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- scientific article; zbMATH DE number 5244590 (Why is no real title available?)
- A modular synthesis approach for the coordination of multi-agent systems: the multiple team case
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
- Offline supervisory control synthesis: taxonomy and recent developments
This page was built for publication: The Verification and Control of Interacting Similar Discrete-Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3427785)
