- R.H. Moulton, K. Rudie, S.P. Dukelow, B. Benson, and S.H. Scott,
**Capacity Limits Lead to Information Bottlenecks in Ongoing Rapid Motor Behaviours**, to appear in*eNeuro*, accepted Feb. 13, 2023. - K. Ritsuka and K. Rudie,
**Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems**,*Discrete Event Dynamic Systems*, Vol. 33, pp. 257-277, 2023. - B. Schonewille, R.H. Moulton and K. Rudie,
**Enforcing Degree of Opacity with Supervisory Control**, in*Proceedings of the IEEE Conference on Decision and Control*, Cancun, Mexico, pp. 5450-5457, 2022. - M.R.C. Alves, K. Rudie and P. Pena,
**A Security Testbed for Networked DES Control Systems**, in*IFAC PapersOnLine*, Volume 55, Issue 28, pp. 128-134, 2022. Presented at the*International**Workshop on Discrete Event Systems*, September 7-8, Prague, Czechia. - R.H. Moulton, S.H. Scott and K. Rudie,
**Synthesizing Supervisors with a Minimum Control Base for Discrete-Event Systems**, in*Proceedings of the American Control Conference*, Atlanta, June 8-10, pp. 4502-4507, 2022. - S. Tripakis and K. Rudie,
**Decentralized Observations of Discrete-Event Systems: At Least One Can Tell**, in*Proceedings of the American Control Conference*, Atlanta, June 8-10, pp. 4490-4495, 2022 - R.H. Moulton, K. Rudie, S. P. Dukelow and S.H. Scott,
**Quantitatively Assessing Aging Effects in Rapid Motor Behaviours: A Cross-Sectional Study**,*Journal of Neuro-Engineering and Rehabilitation*, Vol. 19, Article 82, 2022. - R.H. Moulton and K. Rudie,
**Online Control of Discrete-Event Systems: A Survey**,*Annual Reviews in Control*, Volume 54, pp. 24-48, 2022. - R.H. Moulton, B. Behinaein Hamgini, Z. Abedi Khouzani, R. Meira-Goes, F. Wang, and K. Rudie,
**Using Subobservers to Synthesize Opacity-Enforcing Supervisors**,*Discrete Event Dynamic Systems*, Volume 32, pp. 611-640, 2022. - K. Ritsuka and K. Rudie,
**Epistemic Interpretations of Decentralized Discrete-Event System Problems**,*Discrete Event Dynamic Systems*, Volume 32, Issue 3, pp. 359-398, 2022. - S. Tripakis and K. Rudie,
**Decentralized Observation of Discrete-Event Systems: At Least One Can Tell**,*IEEE Control Systems Letters*, Volume 6, pp. 1652-1657, 2022. Also in*Proceedings of the American Control Conferenc*e, Atlanta, June 8-10, pp. 4490-4495, 2022. - M.R.C. Alves, P.N. Pena, and K. Rudie
**Discrete-Event Systems Subject to Unknown Sensor Attacks**,*Journal of Discrete Event Dynamic Systems*, Volume 32, pp. 145-158, 2022. - K. Ritsuka and K. Rudie,
**A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems**, in*Proceedings of the IEEE Conference on Decision and Control*, December 13-15, Austin, TX, pp. 1062-1068, 2021. - R.H. Moulton, K. Rudie and S.H. Scott,
**Shared Neural Resources Influence Performance in Rapid, Interactive Behavioural Tasks**, Neuroscience 2021, Chicago, IL (remote), poster + short video presentation, November 13-16, 2021. - M.R.C. Alves, P.N. Pena and K. Rudie,
**Unknown Sensor Attacks in Supervisory Control of DES**, in Sociedade Brasilia de Automática (SBA) XV Simpósio Brasileiro de Automação Inteligent-SBAI, Oct 17-20, pp. 831-836, 2021. - J. Kulchyk, B. Schonewille, K. Ritsuka, and K. Rudie,
**Communication-Free Multi-Agent Coordination in an Unknown Environment**, in*Proceedings of the 15th International Workshop on Discrete Event Systems*, originally Rio de Janeiro, Brazil, May 13-15, 2020, postponed to remote delivery due to COVID-19, November 2020. - F. Atampore, J. Dingel and K. Rudie,
**A Controller Synthesis Framework for Automated Service Composition**,*Discrete Event Dynamic Systems: Theory and Applications*, Volume 29, Issue 3, pp. 297-365, 2019. - B. Behinaein, F. Lin and K. Rudie,
**Optimal Information Release for Mixed Opacity in Discrete-Event Systems**,*IEEE Transactions on Automation Science and Engineering*, Volume 16, Number 4, pp. 196-1970, 2019. - D. Sears and K. Rudie,
**Computing Observers from Observation Policies in Discrete-Event Systems**,*Discrete Event Dynamic Systems*, Volume 28, Number 4, pp. 509-537, 2018. - W.M. Wonham, K. Cai and K. Rudie,
**Supervisory Control of Discrete-Event Systems: A Brief History**,*Annual Reviews in Control*, Volume 45, pp. 250-256, 2018. - B. Behinaein, K. Rudie and W. Sangrar,
**Petri Net Siphon Analysis and Graph Theoretic Measures for Identifying Combination Therapies in Cancer**,*IEEE/ACM Transactions on Computational Biology and Bioinformatics*, Volume 15, Number 1, pp. 231-243, 2018. - F. Atampore, J. Dingel and K. Rudie,
**Supervisor Aware Service Composition Framework: An Implementation and Evaluation**, in*Proceedings of the 14th International Workshop on Discrete Event Systems*, Sorrento Coast, Italy, May 30-June 1, pp. 288-295, 2018. - S. Sikdar, S. Givigi and K. Rudie,
**A Resource Allocation Mechanism Using Matching and Bargaining**,*IEEE Transactions on Automatic Control*, Volume 62, Number 11, pp. 5909-5914, 2017. - M.T.B. Waez, A. Wasowski, J. Dingel and K. Rudie,
**Controller Synthesis for Dynamic Hierarchical Real-Time Plants Using Timed Automata**,*Discrete Event Dynamic Systems: Theory and Applications*, Volume 27, pp. 407-441, 2017. - D. Sears and K. Rudie,
**Minimal Sensor Activation and Minimal Communication in Discrete-Event Systems**,*Discrete Event Dynamic Systems*, Volume 26, Number 2, pp. 295-349, 2016. - F. Atampore, J. Dingel and K. Rudie,
**Towards Smart Services: A Controller Synthesis Framework for Automated Service Composition**, poster at the*26th Centre for Advanced Studies Conference (CASCON)*, Toronto, October 31-November 2, 2016. - S.-J. Whittaker, K. Rudie and J. McLellan,
**An Augmented Petri Net Model for Health-Care Protocols**,*IEEE Transactions on Automatic Control*, Volume 60, Number 9, pp. 2362-2377, 2015. - F. Atampore, J. Dingel and K. Rudie,
**Applying Control Synthesis to Web Service Composition**, poster at the*25th Centre for Advanced Studies Conference (CASCON)*, Toronto, November 2-4, 2015. - U. Raza, E. Morin, K. Rudie and D. Maslove,
**An Investigation into Using Pulse Rate Variability as a Predictive Feature for Clinical Events**, poster at the*World Congress on Medical Physics and Biomedical Engineering*, Toronto, Canada, June 7-12, 2015. - U. Raza, K. Rude, E. Morin, G. Palmer and S. Hunt,
**A CPX System for Remote Monitoring of Human Metabolic Rate Via the Cellular Network**, poster at the*American College of Sports Medicine 62nd Annual Meeting*, San Diego, USA, May 2015. - M. T. B. Waez, A. Wasowski, J. Dingel, and K. Rudie,
**A Model for Industrial Real-Time Systems**, in*Proceedings of the International Conference on Verification, Model Checking and Abstract Interpretation (VCMAI)*, Mumbai, India, January 12-14, pp. 153-171, 2015. - D. Sears and K. Rudie,
**On Computing Indistinguishable States of Nondeterministic Finite Automata**, in*Proceedings of the IEEE Conference on Decision and Control*, Los Angeles, pp. 6731-6736, 2014. - M.T.B. Waez, A. Wasowski, J. Dingel, and K. Rudie,
**Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report**, in*Proceedings of the 11th International Symposium on Formal Aspects of Component Software*, Bertinoro, Italy, 2014. - A. Auer, J. Dingel, and K. Rudie,
**Concurrency Control Generation for Dynamic Threads Using Discrete-Event Systems**,*Science of Computer Programming*, Volume 82, pp. 22-43, 2014. - B. Behinaein , K. Rudie, and W. Sangrar,
**Structural Analysis of Petri Nets for Modeling and Analyzing Signaling Pathways**, in*Proceedings of the Canadian Conference on Electrical and Computer Engineering (CCECE)*, Toronto, Canada, May 4-7, pp. 476-481, 2014. - S. Sikdar and K. Rudie,
**A Decentralised Electricity Market Model: An Electric Vehicle Charging Example**, in*Proceedings of the Canadian Conference on Electrical and Computer Engineering (CCECE)*, Toronto, Canada, May 4-7, pp. 522-526, 2014. - M. T. B. Waez, J. Dingel, and K. Rudie,
**A Survey of Timed Automata for the Development of Real-Time Systems**,*Computer Science Review*, Volume 9, pp. 1-26, 2013. - C. Winacott, B. Behinaein, and K. Rudie,
**Methods for the Estimation of the Size of Lookahead Tree State-Space**,*Discrete Event Dynamic Systems*, Volume 23, Issue 2, pp. 135-155, June 2013. - D. Sears and K. Rudie,
**Computing Sensor Activation Decisions from State Equivalence Classes in Discrete-Event Systems**, in*Proceedings of the IEEE Conference on Decision and Control*, pp. 6972-6977, 2013. - D. Sears and K. Rudie,
**Efficient Computation of Sensor Activation Decisions in Discrete-Event Systems**, in*Proceedings of the IEEE Conference on Decision and Control*, pp. 6966-6971, 2013. - S. Sikdar and K. Rudie,
**Microgrid Level Competitive Market Using Dynamic Matching**, in*Electrical Power and Energy Conference (EPEC)*, Halifax, August 21-23, pp. 1-6, 2013. - N. Chausse, H. Xu, J. Dingel and K. Rudie,
**Combining Model Checking and Discrete-Event Supervisor Synthesis**, in*Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVoCS)*, Volume 46, 2011 - L. Grigorov and K. Rudie,
**Dynamic Discrete-Event Systems with Instances for the Modelling of Emergency Response Protocols**,*Proceedings of the American Control Conference*, San Francisco, CA, June 29-July 1, pp. 4478-4483, 2011. - L. Grigorov, B. Butler, J.E.R. Cury and K. Rudie,
**Conceptual Design of Discrete-Event Systems Using Templates**,*Discrete Event Dynamic Systems*, Volume 21, Issue 2, pp. 257-303, June 2011. - L. Grigorov and K. Rudie,
**Techniques for the Parametrization of Discrete-Event System Templates**, In*International Workshop on Discrete Event Systems (WODES)*, Berlin, Germany, August 30-September 1, pp. 380-385, 2010. - S.-J. Whittaker, K.Rudie, J. McLellan and S. Haar,
**Augmenting Petri Nets to Model Health-Care Protocols**, In*International Workshop on Discrete Event Systems (WODES)*, Berlin, Germany, August 30-September 1, pp. 380-385, 2010. - M. Greenspan, K. Rudie, S. Simmons,
**Introducing Computer Programming with Lego Robotics**, in*Proceedings of the Canadian Engineering Education Association*, Kingston, June 7-9, 2010, Paper 3076 in Proceedings (no page numbers in electronic proceedings). - S.-J. Whittaker, K. Rudie, J. McLellan, and S. Haar,
**Choice-Point Nets: A Discrete-Event Modelling Technique for Analyzing Health Care Protocols**, in*Proceedings of the Allerton Conference on Communication, Control and Computing*, Monticello, Illinois, September 30-October 2, pp. 652-659, 2009. - A. Auer, J. Dingel and K. Rudie,
**Concurrency Control Generation for Dynamic Threads Using Discrete-Event Systems**, in*Proceedings of the 47th Annual Allerton Conference on Communication, Control, and Computing*, Monticello, IL, Sept. 30 – Oct. 2, pp. 927-934, 2009. - C. Winacott and K. Rudie,
**Limited Lookahead Supervisory Control of Probabilistic Discrete-Event Systems**, in*Proceedings of the 47th Annual Allerton Conference on Communication, Control, and Computing*, Monticello, IL, Sept. 30 – Oct. 2, pp. 660-667, 2009. - S.-J. Whittaker, K. Rudie, J. McLellan and S. Haar,
**Choice-Point Nets: A Discrete-Event Modelling Technique for Analyzing Health Care Protocols**, in*Proceedings of the 47th Annual Allerton Conference on Communication, Control, and Computing*, Monticello, IL, Sept. 30 – Oct. 2, pp. 652-659, 2009. - L. Grigorov,
**Observations on Solving Discrete-Event Control Problems: Patterns and Strategies**, Technical Report 2009-558, School of Computing, Queen’s University, Canada, 2009. - C. Dragert, J. Dingel and K. Rudie,
**Generation of Concurrency Control Code Using Discrete-Event Systems Theory**, in*Proceedings of the 16th International Symposium on the Foundations of Software Engineering*, Atlanta, GA, November 11-13, pp. 146-157, 2008. - S.-J. Whittaker and K. Rudie,
**Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems**,*Discrete Event Dynamic Systems*, Vol. 18, No. 3, pp. 285-321, 2008. - Y. Huang, K. Rudie, and F. Lin,
**Decentralized Control of Discrete-Event Systems When Supervisors Observer Particular Event Occurrences**,*IEEE Transactions on Automatic Control*, Vol. 53, Issue 1, pp. 384-388, 2008. - L. Grigorov, J.E.R. Cury and K. Rudie,
**Design of Discrete-Event Systems Using Templates**, in*Proceedings of the American Control Conference*, Seattle, WA, June 11-13, pp. 499-504, 2008. - T. Brunsch and K. Rudie,
**Discrete-Event Systems Model of an Outbreak Response**, in*Proceedings of the American Control Conference*, Seattle, WA, June 11-13, pp. 1709-1714,2008. - L. Grigorov, J.E.R. Cury, K. Rudie, and S. Klinge,
**Template Design and Automatic Generation of Controllers for Industrial Robots**, in*Proceedings of 23rd Annual ACM Symposium on Applied Computing (SAC)*, Fortaleza, Brazil, March 16-20, pp. 1612-1613, 2008. - S.-J. Whittaker, M. Zulkernine, and K. Rudie.
**Towards Incorporating Discrete-Event Systems in Secure Software Development**, in*Joint Proceedings of the International Conference on Availability, Reliability and Security( ARES) / International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS) (IEEE Computer Society)*, Barcelona, Spain, March 4-7, pp. 1188-1195, 2008. - S. Blouin, M. Guay, and K. Rudie,
**An Application of Discrete-Event Theory to Truck Dispatching**,*Central European Journal of Operations Research (Springer)*, Vol. 15, Issue 4, pp. 369-391, 2007. - F. Lin, K. Rudie and S. Lafortune,
**Minimal Communication for Essential Transitions in a Distributed Discrete-Event System**,*IEEE Transactions on Automatic Control*, Volume 52, Number 8, pp. 1495-1502, Aug. 2007. - L. Grigorov and K. Rudie,
**Problem Solving in Control of Discrete-Event Systems**, in*Proceedings of the European Control Conference*, Kos, Greece, pp. 5500-5507, July 2-5, 2007. - S.-J. Whittaker and K. Rudie,
**Plug and Play: Modular Supervisor Reduction in Discrete-Event Systems**, in*Proceedings of the European Control Conference*, Kos, Greece, pp. 4976-4983, July 2-5, 2007. - S. L. Ricker and K. Rudie,
**Knowledge is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems**,*IEEE Transactions on Automatic Control*, Volume 52, Number 3, pp. 428-441, 2007. - L. Grigorov and K. Rudie,
**Near-Optimal Online Control of Dynamic Discrete-Event Systems**,*Discrete Event Dynamic Systems*, Volume 16, pp. 419-449, 2006. - Y. Huang, K. Rudie and F. Lin,
**Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences**, in*Proceedings of the American Control Conference*, Minneapolis, MN, pp. 4147-4152, June 14-16, 2006. - K. Edlund, A. G. Michelsen and K. Rudie.
**Supervisory Control of Flowlines by Modelling the Legal Language as Inequalities**, in*Proceedings of the 8th International Workshop on Discrete Event Systems (WODES)*, Ann Arbor, MI, pp. 15-20, July 10-12, 2006. - L. Grigorov and K. Rudie,
**Issues in Optimal Control of Dynamic Discrete-Event Systems**, in*Proceedings of the 16th IFAC World Congress*, Prague, July 4-8, 2005. - I. Romanovski, M. Guay and K. Rudie,
**On the Supervisory Control for State Trajectory Specifications in Time-Varying Discrete-Event Systems**, in*Proceedings of the 16th IFAC World Congress*, Prague, July 4-8, 2005. - K. Rudie, S. Lafortune, F. Lin,
**Minimal Communication in a Distributed Discrete-Event System**,*IEEE Transactions on Automatic Control*, Volume 48, Number 6, pp. 957-975, 2003. - K. Rudie,
**How to be an Engineering Professor Yesterday**,*IEEE Control Systems Magazine*, Volume 23, Number 3, pp. 10-11, 2003. - M. Aghamirian, K. Rudie, A. Burns, and G. Frontini,
**Using Timed Discrete-Event Systems and Discrete-Event Simulation to Design Control Policies in a Manufacturing System**, in*Proceedings of the 17th International Conference on Production Research*, Blacksburg, VA, August 3-7, 2003. - S. Blouin, M. Guay and K. Rudie,
**Discrete Abstractions for Two-dimensional Nearly Integrable Continuous Systems**, in*IFAC Conference on Analysis and Design of Hybrid Systems*, June 16-18 2003, pp.383-388. - S.L. Ricker and K. Rudie,
**Knowledge is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems**, in*Proceedings of the American Control Conference (ACC)*, Denver, CO, June 4-6, pp. 2246-2251, 2003. - S. Blouin, M. Guay, and K. Rudie,
**Discrete Abstractions for Nearly Integrable Continuous Systems: The Two Dimensional Case**,*International Journal of Hybrid Systems*, Volume 2, Number 4, pp. 297-335, 2002. - E. Lemch, M. Guay, and K. Rudie,
**Modelling of Oil Production Operation in the Framework of Hybrid Systems**, in*Proceedings of the IEEE Conference on Decision and Control (CDC)*, Las Vegas, NV, December 10-13, pp. 1595-1600, 2002. - K. Rudie,
**The Current State of Decentralized Discrete-Event Control Systems**, in*Proceedings of the Mediterranean Conference on Control and Automation*, Lisbon, Portugal, July 9-12, 2002. - S. Blouin, M. Guay, and K. Rudie,
**An Application of Discrete-Event Theory to Truck Dispatching**, in*Proceedings of the American Control Conference (ACC)*, Arlington, VA, June 25-27, pp. 2315-2320, 2001. - S.L. Ricker and K. Rudie,
**Distributed Knowledge for Communication in Decentralized Discrete-Event Systems**, in*Proceedings of the IEEE Conference on Decision and Control (CDC)*, Sydney, Australia, December 12-15, pp. 9-15, 2000. - S.L. Ricker and K. Rudie,
**Know Means No: Incorporating Knowledge into Discrete-Event Control Systems**,*IEEE Transactions on Automatic Control*, Volume 45, Number 9, pp. 1656-1668, 2000. - G. Labinaz, M.M. Bayoumi, and K. Rudie,
**Viable Cascade Control and Application to a Batch Polymerization Process**,*IEEE Transactions on Control Systems Technology*, Volume 8, Number 3, pp. 396-407, 2000. - S.L. Ricker and K. Rudie,
**Incorporating Communication and Knowledge into Decentralized Discrete-Event Systems**, in*Proceedings of the IEEE Conference on Decision and Control (CDC)*, Phoenix, AZ, December 7-10, pp. 1326-1332, 1999. - K. Rudie, S. Lafortune, and F. Lin,
**Minimal Communication in a Distributed Discrete-Event Control System**, in*Proceedings of the American Control Conference (ACC)*, San Diego, CA, June 2-4, pp. 1965-1970, 1999. - G. Labinaz, M.M. Bayoumi, and K. Rudie,
**A Survey of Modeling and Control of Hybrid Systems**,*Annual Reviews in Control*, Volume 21, pp. 79-92, 1997. - S.L. Ricker, N. Sarkar, and K. Rudie,
**A Discrete-Event Systems Approach to Modeling Dextrous Manipulation**,*Robotica*, Volume 14, pp. 515-525, 1996. - G. Labinaz, M.M. Bayoumi, and K. Rudie,
**Modeling and Control of Hybrid Systems: A Survey**, in*Proceedings of the IFAC World Congress*, Volume J, July 1-5, pp. 293-304, 1996. - G. Labinaz, K. Rudie, L. Ricker, N. Sarkar, and M.M. Bayoumi,
**A Hybrid System Investigation of Fluid-Filled Tanks**, Technical Report No. 96-01, Department of Electrical and Computer Engineering, Queen’s University, Kingston, ON, 1996. Also presented at*Mathematical Theory of Networks and Systems (MTNS)*, St. Louis, MO, June 24-28, 1996. - K. Rudie and J.C. Willems,
**The Computational Complexity of Decentralized Discrete-Event Control Problems**,*IEEE Transactions on Automatic Control*, Volume 40, Number 7, pp. 1313-1319, 1995. - K. Rudie, N. Shimkin, and S.D. O’Young,
**Timed Discrete-Event Systems: A Manufacturing Application**, in*Proceedings of the Conference on Information Sciences and Systems (CISS)*, Volume I, Princeton, NJ, March 16-18, pp. 374-381, 1994. - K. Rudie and W.M. Wonham,
**Think Globally, Act Locally: Decentralized Supervisory Control**,*IEEE Transactions on Automatic Control*, Volume 37, Number 11, pp. 1692-1708, 1992. Reprinted in SPIE Milestone Series, Volume MS 124,*Selected Papers on Sensor and Data Fusion*, Edited by F. Sadjadi, pp. 206-222, 1996. - K. Rudie and W.M. Wonham,
**Protocol Verification Using Discrete-Event Systems**, in*Proceedings of the IEEE Conference on Decision and Control (CDC)*, Tucson, AZ, December 16-18, pp. 3770-3777, 1992. - K. Rudie and W.M. Wonham,
**The Infimal Prefix-Closed and Observable Superlanguage of a Given Language**,*Systems & Control Letters*, Volume 15, pp. 361-371, 1990. - K. Rudie and W.M. Wonham,
**Supervisory Control of Communicating Processes**, in*Protocol Specification, Testing, and Verification, X*, L. Logrippo, R. L. Probert and H. Ural (eds.), Elsevier Science Pub. (North-Holland), pp. 243-257, 1990. Presented at*IFIP Tenth International Symposium on Protocol Specification, Testing, and Verification*, Ottawa, ON, 1989.