XPTCT
From MaRDI portal
Cited in
(10)- Composite supervisory control for symmetric discrete-event systems
- On the invariance property of reduced supervisors from the perspective of vector discrete-event systems
- Designing communicating transaction processes by supervisory control theory
- Supervisor localization. A top-down approach to distributed control of discrete-event systems
- Cadence SMV
- UMDES
- TCT
- STSLib
- Distributed supervisory control of discrete-event systems with communication delay
- Modular supervisory control and coordination of state tree structures
This page was built for software: XPTCT
