Exploiting symmetry in the synthesis of supervisors for discrete event systems
From MaRDI portal
Publication:4540504
Recommendations
- Supervisor reduction for discrete-event systems
- Supervisory Control with Complete Observations
- On controllability and normality of discrete event dynamical systems
- Supervisory control of discrete event systems with distinguishers
- Modular control of discrete-event systems using similarity
- Compositional synthesis of maximally permissive supervisors using supervision equivalence
- On observability of discrete-event systems
- Supervisory control of discrete event systems
- Supervisory control of discrete-event systems
- Supervisory control of deterministic Petri nets with regular specification languages
Cited in
(9)- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- On efficient relabeling of symmetric discrete-event systems
- Study on relabeling observer property in symmetric discrete-event systems
- scientific article; zbMATH DE number 6936842 (Why is no real title available?)
- Exploiting symmetry of state tree structures for discrete-event systems with parallel components
- Control of parameterized discrete event systems
- Modular control of discrete-event systems using similarity
- Invariance property of the control functions in symmetric discrete-event systems modeled by state tree structures
- Composite supervisory control for symmetric discrete-event systems
This page was built for publication: Exploiting symmetry in the synthesis of supervisors for discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4540504)