Professor, Department of Electrical and Computer Engineering (Queen’s University); Member, Ingenuity Labs Research Institute (Queen’s University); Cross-Appointed to the School of Computing (Queen’s University)
Received Ph.D. in 1992 from the University of Toronto in the Systems Control Group, Department of Electrical Engineering, under the supervision of Prof. W.M. Wonham
Department Editor for Journal of Discrete Event Dynamic Systems: Theory and Applications (since 2019)
Served as Associate Editor for IEEE Transactions on Control Systems Technology (2015-2020), Journal of Discrete Event Dynamic Systems: Theory and Applications (2000-2018), IEEE Transactions on Automatic Control (1996-1999) and IEEE Control Systems Magazine (2003)
Served on the IEEE Board of Governors (2001-2003)
Teaching recognition and awards include three Golden Apple Awards (2021, 2002, 1998) from the Faculty of Applied Science, thirteen awards from the Department of Electrical and Computer Engineering (2019, two in 2018, two in 2017, two in 2016, 2015, 2014, 2013, 2012, 2001, 1998) and inclusion for five years in the Maclean’s Guide to Canadian Universities in their list of “Popular Profs” at Queen’s University (2003-2007)
Voice of Change Award in recognition of “inspiring effort to promote and inspire unity, inclusivity, and equal opportunity in Electrical & Computer Engineering” voted on by students in the Department of Electrical and Computer Engineering (2018)
IEEE Control Systems Society Distinguished Lecturer (2004-2006)
IEEE Fellow (since 2018)
Current QDES Members
Aspen Bishop
17ctb3@queensu.ca
Currently holding an Undergraduate Student Research Award (USRA) from the Natural Sciences and Engineering Research Council (NSERC)
B.A.Sc. candidate in the Department of Electrical and Computer Engineering at Queen’s University
Future 4+1 M.A.Sc. candidate in the Department of Electrical and Computer Engineering at Queen’s University
Liam Burns
18lpb@queensu.ca
M.A.Sc. Canidate in the department of Electrical and Computer Engineering, Co-supervised by Professor Melissa Greeff
B.Eng. in Computer Systems Engineering from Carleton University
Research Interests: Real-time applications of discrete event systems.
M.A.Sc. student in the Department of Electrical and Computer Engineering at Queen’s University
B.A.Sc. in Computer Engineering from Queen’s University
Research Interests: Fault diagnosis and recovery in safety-critical systems.
Bryony Laporte
(she/her)
14bhs1@queensu.ca
Ph.D. student in the Department of Electrical and Computer Engineering at Queen’s University
M.A.Sc. in the Department of Electrical and Computer Engineering from Queen’s University in 2021
Received B.A.Sc. from the Department of Applied Mathematics, specializing in Computers and Communications at Queen’s University in 2019
Research Interests: Security for Discrete-Event Systems using opacity and confidentiality
Past QDES Members
Shoma Matsui, Heterogeneous Approaches to Secure Discrete-Event Systems, Ph.D., Electrical and Computer Engineering, Queen’s University. Thesis available here.
Nick Mertin, Abstract Formal Specification and Verification of Computational Digital Logic Systems, M.A.Sc., Electrical and Computer Engineering, Queen’s University. Thesis available here.
Will Aitken, Parameter-Efficient Tuning as a Response to Corporate Capture in Natural Language Processing, M.A.Sc., Electrical and Computer Engineering, Queen’s University. Thesis available here.
K. Ritsuka, Decentralized Problems of Discrete-Event Systems: Epistemic Reasoning and Graph Representation, Ph.D., Electrical and Computer Engineering, Queen’s University, 2019-2023. Thesis available here.
Michel Rodrigo das Chagas Alves, Control of Discrete-Event Systems Subject to Cyber Attacks, Ph.D., Electrical Engineering, Universidade Federal de Minas Gerais, Brazil, 2020-2022. (Thesis in pdf)
Richard H. Moulton, Modeling Intelligent Actions in Human Motor Control, Ph.D., Electrical and Computer Engineering, Queen’s University, 2018-2022. Thesis available here.
Natalie Ranta, Enforcing Non-Opacity in Discrete-Event Systems, M.Eng., Electrical and Computer Engineering, Queen’s University, 2020-2022.
Jeremy Kulchyk, Security by Design: Reducing Information Exchange in Multi-Agent Search Tasks, M.A.Sc., Electrical and Computer Engineering, Queen’s University, 2019-2021. Thesis available here.
Wang Fei, Research visitor to QDES lab in 2018-19.
Zahra Abedi Khouzani, Optimal Payoff to Ensure Opacity in Discrete-Event Systems, M.A.Sc. Electrical and Computer Engineering, Queen’s University 2017-19. Thesis available here.
Victoria Tolls, An Event-Based Approach to Modeling Complex Data in Critical Care, M.Sc., School of Computing, Queen’s University, 2016-2018. Thesis available here.
Usman Raza, Application of Data Mining Techniques to Predict Clinical Cardiac Events, M.A.Sc. student, Electrical and Computer Engineering, Queen’s University, 2013-2018 (withdrew from program).
David Sears, Dynamic Observation in Discrete-Event Systems, Ph.D., School of Computing, Queen’s University, 2011-2017. Thesis available here.
Francis Atampore, Towards Provably Correct Services: Automated Service Composition Via Supervisory Control Synthesis, Ph.D., School of Computing, Queen’s University, 2012-2017. Thesis available here.
Behnam Behinaein Hamgini, Petri Net Simphon Analysis and Network Centrality Measures for Identifying Combination Therapies in Signaling Pathways, Ph.D., Department of Electrical and Computer Engineering, Queen’s University, 2009-2016. Thesis available here.
Swapan Sikdar, Many-to-Many Allocations in Systems of Self-Insterested Agents: Some Dominant Strategy Solutions, Ph.D., Department of Electrical and Computer Engineering, Queen’s University, 2010-2016. Thesis available here.
Md Tawhid Bin Waez, A Model for Hierarchical Open Real-Time Systems, Ph.D., School of Computing, Queen’s University, 2009-2015. Thesis available here.
Creag Winacott, Limited Lookahead Control of Discrete-Event Systems: Cost, Probability and State Space, M.Sc., School of Computing, Queen’s University, 2008-2011. Thesis available here.
Sarah-Jane Whittaker, Augmenting Petri Nets to Model Health-Care Protocols, Ph.D., School of Computing, Queen’s University, 2005-2011. Thesis available here.
Utsav Mital, member of QDES lab during the summer of 2010.
Valerie Sugarman, member of QDES lab during the summer of 2010.
Anthony Auer, Using Discrete-Event Systems for the Automatic Generation of Concurrency Control for Dynamic Threads, M.Sc., School of Computing, Queen’s University, 2008-2010. Thesis available here.
Lenko Grigorov, Conceptual Design of Discrete-Event Systems Using Templates, Ph.D., School of Computing, Queen’s University, 2004-2009. Thesis available here.
Christopher Dragert, Generation of Concurrency Controls Using Discrete-Event Systems , M.Sc., School of Computing, Queen’s University, 2006-2008. Thesis available here.
Christian Silvano, member of QDES lab during the summer and fall of 2007.
Thomas Brunsch, Discrete-Event Systems Model of and Outbreak Response, visiting Master’s student spring and summer 2007.
Michael Holtstrom (formerly Michael Wood), Application, Implementation and Integration of Discrete-Event Systems Control Theory, M.Sc., Electrical and Computer Engineering, Queen’s University, 2003-2005. (Thesis in pdf)
Sarah-Jane Whittaker, Does Size Matter? The Effects of Supervisor Reduction on Minimal Communication Between Distributed Discrete-Event Agents, M.Sc., School of Computing, Queen’s University, 2003-2005. (Thesis in pdf)
Ying Huang, Transition-Based Coobservability in Distributed Discrete-Event Systems, M.Sc., Electrical and Computer Engineering, Queen’s University, 2002-2005. (Thesis in pdf)
Kristian Edlund, Modelling and Implementation of Supervisory Control of Discrete-Event Systems, visiting Master’s student September – December 2005.
Axel G. Michelsen, Modelling and Implementation of Supervisory Control of Discrete-Event Systems, visiting Master’s student September – December 2005.
Lenko Grigorov, Control of Dynamic Discrete-Event Systems, M.Sc., School of Computing, Queen’s University, 2002-2004. (Thesis in pdf)
Stephane Blouin, Finite-state Machine Abstractions of Continuous Systems, Ph.D., Chemical Engineering, Queen’s University, 1999-2003. (Thesis in pdf)
Philippe Nguyen, API and GUI for Software for Discrete-event Systems summer project, 2003.
Arezou Mohammadi, Sequences that Lead to Failure in Decentralized Supervisory Control, M.Sc., Electrical and Computer Engineering, Queen’s University, Kingston, Canada, 2001-2003. (Thesis in pdf)
Iakov Romanovski, Postdoctoral researcher in QDES lab, 2003. Hybrid Modeling for Real-Time Control of Flexible Manufacturing Systems, Co-supervised by Prof. Martin Guay and Prof. Jim McLellan (Chemical Engineering).
Hu Tun, Communication States in Decentralized Discrete-Event Systems, M.Sc., Electrical and Computer Engineering, Queen’s University, 1999-2002.
Ekaterina Lemch, Postdoctoral researcher in DES lab, 2001-2002. Intelligent Optimization of Industrial Operations (IO2), Co-supervised by Prof. Martin Guay (Chemical Engineering).
Gino Labinaz, Member of QDES lab, 1995-2000.
Shaowu Luo, A Systematic Method to Analyze Cryptographic Protocols using Discrete-Event Systems, M.Sc., Electrical and Computer Engineering, Queen’s University, 1997-1999. (Thesis in pdf )
S. Laurie Ricker, Knowledge and communication in decentralized discrete-event control, Ph.D., Computing and Information Science, Queen’s University, 1995-1999. (Thesis in pdf)
Adrian Payne, Matrix-Based Algorithms and an Analysis of System Structure for Partially-Observable Discrete-Event Systems, M.Sc., Electrical and Computer Engineering, Queen’s University, 1995-1997. (Thesis in pdf)
Kari Pihkala, Software for Control of Discrete-Event Systems summer project, 1997.
David Allen, member of QDES lab during summers of 1994 and 1995.
Queen's Discrete-Event Systems Lab
