Browsing by Subject Discrete Event Systems
Showing results 1 to 3 of 3
| Publication Date | Title | Author(s) |
|---|---|---|
| 2023 | Automatic Translation of Moore Finite State Machines into Timed Discrete Event System Supervisors | Mahmood, Hina |
| Apr-2012 | A Compositional Approach for Verifying Sampled-Data Supervisory Control | Baloch, Mahvash |
| Apr-2014 | Symbolic Decentralized Supervisory Control | Agarwal, Urvashi |
