Browsing by Author Leduc, Ryan
Showing results 1 to 7 of 7
| 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 |
| 2019 | Fault-Tolerant Supervisory Control | Mulahuwaish, Aos |
| 2014 | Implementation of Sampled-Data Supervisory Control | Hamid, Abubakr |
| Oct-2009 | Rpen: A New 3D Pointing Device | Alam, Badrul Mohammad |
| 15-Jan-2009 | Sampled-Data Supervisory Control | Wang, Yu |
| 2016 | Timed Fault Tolerant Supervisory Control | Alsuwaidan, Amal |
