STCT
From MaRDI portal
Software:14834
swMATH2293MaRDI QIDQ14834FDOQ14834
Author name not available (Why is that?)
Cited In (8)
- 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
- 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
