STCT
From MaRDI portal
Software:14834
No author found.
Related Items (8)
State based control of timed discrete event systems using binary decision diagrams ⋮ Automated Technology for Verification and Analysis ⋮ Efficient stochastic sensitivity analysis of discrete event systems ⋮ An application of discrete-event theory to truck dispatching ⋮ Implementation of supervisory control using extended finite-state machines ⋮ Supervisory control of product and hierarchical discrete event systems ⋮ Supervisory control of the structured dynamic discrete-event systems ⋮ Nonblocking supervisory control of state tree structures.
This page was built for software: STCT
