swMATH2293MaRDI QIDQ14834FDOQ14834
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-1-4757-6656-1_5
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
