selected scholarly activity
-
conferences
- Hierarchical Interface-Based decentralized Supervisory Control. Proceedings of the IEEE Conference on Decision and Control. 1693-1700. 2015
- Fault tolerant controllability. Proceedings of the American Control Conference. 1603-1610. 2015
- Incremental verification of Co-observability in discrete-event systems. Proceedings of the American Control Conference. 5446-5452. 2014
- Sampled-data controller implementation. Proceedings of the American Control Conference. 5287-5293. 2012
- Hierarchical Interface-Based Supervisory Control Using the Conflict Preorder. IFAC-PapersOnLine. 163-168. 2012
- A Compositional Approach for Verifying Hierarchical Interface-Based Supervisory Control. IFAC-PapersOnLine. 104-110. 2010
- A compositional approach for verifying Hierarchical Interface-based Supervisory Control. IFAC Proceedings Volumes (IFAC-PapersOnline). 104-110. 2010
- Sampled-Data Supervisory Control. IFAC-PapersOnLine. 343-349. 2010
- Sampled-data supervisory control. IFAC Proceedings Volumes (IFAC-PapersOnline). 343-349. 2010
- A compositional approach for verifying generalised nonblocking. IEEE International Conference on Control and Automation, ICCA. 448-+. 2009
- Generalised nonblocking. 2008 9th International Workshop on Discrete Event Systems. 340-345. 2008
- Synthesis Method for Hierarchical Interface-based Supervisory Control. Proceedings of the American Control Conference. 4260-4267. 2007
- Hierarchical interface-based supervisory control with data events. Proceedings of the IEEE Conference on Decision and Control. 1213-1220. 2007
- Hierarchical interface-based supervisory control with data events. Proceedings of the IEEE Conference on Decision and Control. 5910-5917. 2007
- Synthesis method for hierarchical interface-based supervisory control. Proceedings of the American Control Conference. 3387-3394. 2007
- Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control. 2006 8th International Workshop on Discrete Event Systems. 419-+. 2006
- Hierarchical interface-based supervisory control: Command-pair interfaces. Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms. 323-329. 2003
- Hierarchical interface-based supervisory control: serial case. Proceedings of the IEEE Conference on Decision and Control. 4116-4121. 2001
- Hierarchical interface-based non-blocking verification. Canadian Conference on Electrical and Computer Engineering. 1-6. 2000
- Discrete event systems modeling and control of a manufacturing testbed. Canadian Conference on Electrical and Computer Engineering. 793-796. 1995
-
journal articles
- Fault-tolerant supervisory control with permanent faults. International Journal of Control. 96:823-839. 2023
- Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. Discrete Event Dynamic Systems: Theory and Applications. 25:177-201. 2015
- Sampled-data supervisory control. Discrete Event Dynamic Systems: Theory and Applications. 24:541-579. 2014
- Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions. IEEE Transactions on Automatic Control. 58:1891-1903. 2013
- Sampled-data controller implementation. International Journal of Control. 85:1343-1360. 2012
- Synthesis Method for Hierarchical Interface-Based Supervisory Control. IEEE Transactions on Automatic Control. 54:1548-1560. 2009
- Hierarchical interface-based supervisory control with data events. International Journal of Control. 82:783-800. 2009
- Hierarchical interface-based supervisory control of a flexible manufacturing system. IEEE Transactions on Control Systems Technology. 14:654-668. 2006
- Erratum to “Hierarchical Interface-Based Supervisory Control—Part I: Serial Case”. IEEE Transactions on Automatic Control. 50:1916-1916. 2005
- Hierarchical interface-based supervisory Control-part I: serial case. IEEE Transactions on Automatic Control. 50:1322-1335. 2005
- Hierarchical interface-based supervisory control-part II: parallel case. IEEE Transactions on Automatic Control. 50:1336-1348. 2005
-
other
-
theses
- Timed fault-tolerant supervisory control. International Robotics & Automation Journal. 2016