Publications

Karen Rudie’s publications can be found on Google Scholar. A non-comprehensive list of publications can be found below.

Published Journal, Magazine and Conference Articles and Conference Posters

  • 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 Conference, 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.