STCT
From MaRDI portal
Cited in
(11)- Implementation of supervisory control using extended finite-state machines
- Nonblocking supervisory control of state tree structures.
- State based control of timed discrete event systems using binary decision diagrams
- Efficient stochastic sensitivity analysis of discrete event systems
- UMDES
- TCT
- Supremica
- Supervisory control of product and hierarchical discrete event systems
- Supervisory control of the structured dynamic discrete-event systems
- Automated Technology for Verification and Analysis
- An application of discrete-event theory to truck dispatching
This page was built for software: STCT
