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)
M.A.Sc. Computer Engineering student analyzing the pervasive coalescence between academia and industry in AI, specifically natural language processing (NLP).
Studying trends of industry influence and the impact its growth has on the integrity and feasibility of public NLP research.
Cameron 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
Shoma Matsui
s.matsui@queensu.ca
Ph.D. student in the Department of Electrical and Computer Engineering at Queen’s University.
Received M.Sc. in Engineering from the Department of Electrical and Computer Engineering at University of Michigan, Ann Arbor, USA (2020).
Received B.Eng. in Electrical and Information Engineering from Osaka City University, Japan (2018).
Honours: Shigeta Education Foundation Japanese Student Scholarship (2019-2021).
Research Interests: Application of discrete event systems and supervisory control theory in security problems of control systems.
Nick Mertin
17nfam(a)queensu.ca
Undergraduate student, B.A.Sc. in Computer Engineering, Department of Electrical and Computer Engineering (Class of 2022)
NSERC Undergraduate Student Research Award for 2021 Summer
Work Experience: Software Developer Intern at Google; Tutor at EngLinks; Independent software development contractor
Research Interests: Application of discrete event systems in synthesis and verification real hardware and software behaviour
Bryony Schonewille
(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
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
