Supervisory control of communicating processes. - Karen Rudie; Walter Murray Wonham (PSTV, 1990)

The computational complexity of decentralized discrete-event control problems. - Karen Rudie; Jan C. Willems (IEEE Trans. Autom. Control., 1995)

A discrete-event systems approach to modeling dextrous manipulation. - S. Laurie Ricker; Nilanjan Sarkar; Karen Rudie (Robotica, 1996)

Distributed knowledge for communication in decentralized discrete-event systems. - S. Laurie Ricker; Karen Rudie (CDC, 2000)

Know means no: Incorporating knowledge into discrete-event control systems. - S. Laurie Ricker; Karen Rudie (IEEE Trans. Autom. Control., 2000)

Viable cascade control and application to a batch polymerization process. - Gino Labinaz; Mohamed M. Bayoumi; Karen Rudie (IEEE Trans. Control. Syst. Technol., 2000)

Modelling of oil production operation in the framework of hybrid systems. - Ekaterina S. Lemch; Martin Guay; Karen Rudie (CDC, 2002)

Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems. - Stéphane Blouin; Martin Guay; Karen Rudie (ADHS, 2003)

Minimal communication in a distributed discrete-event system. - Karen Rudie; Stéphane Lafortune; Feng Lin 001 (IEEE Trans. Autom. Control., 2003)

Near-Optimal Online Control of Dynamic Discrete-Event Systems. - Lenko Grigorov; Karen Rudie (Discret. Event Dyn. Syst., 2006)

An application of discrete-event theory to truck dispatching. - Stéphane Blouin; Martin Guay; Karen Rudie (Central Eur. J. Oper. Res., 2007)

Minimal Communication for Essential Transitions in a Distributed Discrete-Event System. - Feng Lin 001; Karen Rudie; Stéphane Lafortune (IEEE Trans. Autom. Control., 2007)

Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems. - S. Laurie Ricker; Karen Rudie (IEEE Trans. Autom. Control., 2007)

Towards Incorporating Discrete-Event Systems in Secure Software Development. - Sarah-Jane Whittaker; Mohammad Zulkernine; Karen Rudie (ARES, 2008)

Discrete-Event Systems Model of an Outbreak Response. - Thomas Brunsch; Karen Rudie (ACC, 2008)

Design of Discrete-Event Systems Using Templates. - Lenko Grigorov; José Eduardo Ribeiro Cury; Karen Rudie (ACC, 2008)

Template design and automatic generation of controllers for industrial robots. - Lenko Grigorov; Karen Rudie; José E. R. Cury; Steffi Klinge (SAC, 2008)

Generation of concurrency control code using discrete-event systems theory. - Christopher Dragert; Jürgen Dingel; Karen Rudie (SIGSOFT FSE, 2008)

Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems. - Sarah-Jane Whittaker; Karen Rudie (Discret. Event Dyn. Syst., 2008)

Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences. - Ying Huang; Karen Rudie; Feng Lin 001 (IEEE Trans. Autom. Control., 2008)

Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. - Sarah-Jane Whittaker; Karen Rudie; P. James McLellan; Stefan Haar (Allerton, 2009)

Limited lookahead supervisory control of probabilistic discrete-event systems. - Creag Winacott; Karen Rudie (Allerton, 2009)

Bridging the gap: Discrete-Event Systems for software engineering (short position paper). - Jürgen Dingel; Karen Rudie; Christopher Dragert (C3S2E, 2009)

A Summary of Some Discrete-Event System Control Problems. - Karen Rudie (CIAA, 2010)

Techniques for the parametrization of discrete-event system templates. - Lenko Grigorov; Karen Rudie (WODES, 2010)

Augmenting Petri nets to model health-care protocols. - Sarah-Jane Whittaker; Karen Rudie; P. James McLellan; Stefan Haar (WODES, 2010)

Dynamic discrete-event systems with instances for the modelling of emergency response protocols. - Lenko Grigorov; Karen Rudie (ACC, 2011)

Conceptual Design of Discrete-Event Systems Using Templates. - Lenko Grigorov; Brian E. Butler; José E. R. Cury; Karen Rudie (Discret. Event Dyn. Syst., 2011)

Combining Model Checking and Discrete-Event Supervisor Synthesis. - Nicolas Chausse; Helen Xu; Jürgen Dingel; Karen Rudie (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Efficient computation of sensor activation decisions in discrete-event systems. - David Sears 001; Karen Rudie (CDC, 2013)

Computing sensor activation decisions from state equivalence classes in discrete-event systems. - David Sears 001; Karen Rudie (CDC, 2013)

A survey of timed automata for the development of real-time systems. - Md Tawhid Bin Waez; Jürgen Dingel; Karen Rudie (Comput. Sci. Rev., 2013)

Methods for the estimation of the size of lookahead tree state-space. - Creag Winacott; Behnam Behinaein; Karen Rudie (Discret. Event Dyn. Syst., 2013)

Structural analysis of Petri nets for modeling and analyzing signaling pathways. - Behnam Behinaein; Karen Rudie; Waheed Sangrar (CCECE, 2014)

A decentralised electricity market model: An electric vehicle charging example. - Swapan Sikdar; Karen Rudie (CCECE, 2014)

On computing indistinguishable states of nondeterministic finite automata with partially observable transitions. - David Sears 001; Karen Rudie (CDC, 2014)

Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. - Md Tawhid Bin Waez; Andrzej Wasowski; Jürgen Dingel; Karen Rudie (FACS, 2014)

Concurrency control generation for dynamic threads using discrete-event systems. - Anthony Auer; Jürgen Dingel; Karen Rudie (Sci. Comput. Program., 2014)

A Model for Industrial Real-Time Systems. - Md Tawhid Bin Waez; Andrzej Wasowski; Juergen Dingel; Karen Rudie (VMCAI, 2015)

An Augmented Petri Net Model for Health-Care Protocols. - Sarah-Jane Whittaker; Karen Rudie; P. James McLellan (IEEE Trans. Autom. Control., 2015)

Automated service composition via supervisory control theory. - Francis Atampore; Juergen Dingel; Karen Rudie (WODES, 2016)

Minimal sensor activation and minimal communication in discrete-event systems. - David Sears 001; Karen Rudie (Discret. Event Dyn. Syst., 2016)

Controller synthesis for dynamic hierarchical real-time plants using timed automata. - Md Tawhid Bin Waez; Andrzej Wasowski; Juergen Dingel; Karen Rudie (Discret. Event Dyn. Syst., 2017)

A Resource Allocation Mechanism Using Matching and Bargaining. - Swapan Sikdar; Sidney Givigi; Karen Rudie (IEEE Trans. Autom. Control., 2017)

Supervisory control of discrete-event systems: A brief history. - W. M. Wonham; Kai Cai; Karen Rudie (Annu. Rev. Control., 2018)

Computing observers from observation policies in discrete-event systems. - David Sears 001; Karen Rudie (Discret. Event Dyn. Syst., 2018)

Petri Net Siphon Analysis and Graph Theoretic Measures for Identifying Combination Therapies in Cancer. - Behnam Behinaein; Karen Rudie; Waheed Sangrar (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

A controller synthesis framework for automated service composition. - Francis Atampore; Juergen Dingel; Karen Rudie (Discret. Event Dyn. Syst., 2019)

Optimal Information Release for Mixed Opacity in Discrete-Event Systems. - Behnam Behinaein; Feng Lin 001; Karen Rudie (IEEE Trans Autom. Sci. Eng., 2019)

Limited Lookahead Policies for the Control of Discrete-Event Systems: A Tutorial. - Richard Hugh Moulton; Anthony J. Marasco; Karen Rudie (CoRR, 2020)

A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems. - K. Ritsuka; Karen Rudie (CDC, 2021)

Synthesizing Supervisors with a Minimum Control Base for Discrete-Event Systems. - Richard Hugh Moulton; Stephen H. Scott; Karen Rudie (ACC, 2022)

Enforcing Degree of Opacity with Supervisory Control. - Bryony H. Schonewille; Richard Hugh Moulton; Karen Rudie (CDC, 2022)

Online control of discrete-event systems: A survey. - Richard Hugh Moulton; Karen Rudie (Annu. Rev. Control., 2022)

A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems. - Nick Mertin; K. Ritsuka; Karen Rudie (CoRR, 2022)

Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems. - K. Ritsuka; Karen Rudie (CoRR, 2022)

Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. - Stavros Tripakis; Karen Rudie (IEEE Control. Syst. Lett., 2022)

Discrete-event systems subject to unknown sensor attacks. - Michel R. C. Alves; Patrícia N. Pena; Karen Rudie (Discret. Event Dyn. Syst., 2022)

Epistemic interpretations of decentralized discrete-event system problems. - K. Ritsuka; Karen Rudie (Discret. Event Dyn. Syst., 2022)

Using Subobservers to Synthesize Opacity-Enforcing Supervisors. - Richard Hugh Moulton; Behnam Behinaein Hamgini; Zahra Abedi Khouzani; Rômulo Meira-Góes; Fei Wang 114; Karen Rudie (Discret. Event Dyn. Syst., 2022)

Do what you know: coupling knowledge with action in discrete-event systems. - K. Ritsuka; Karen Rudie (Discret. Event Dyn. Syst., 2023)

Collaboration or Corporate Capture? Quantifying NLP's Reliance on Industry Artifacts and Contributions. - Will Aitken; Mohamed Abdalla 001; Karen Rudie; Catherine Stinson (ACL (1), 2024)

Distributed Secret Securing in Discrete-Event Systems. - Shoma Matsui; Kai Cai; Karen Rudie (ACC, 2024)

Generalizing Discrete-Event System Control Problems to Optimal Control. - Nick Mertin; Karen Rudie (ACC, 2024)

Limited-Capacity Supervisors for Discrete-Event Systems. - Richard Hugh Moulton; Karen Rudie (ACC, 2024)

Existence Conditions for Confidentiality in Discrete-Event Systems*. - Bryony H. Schonewille; Karen Rudie (ACC, 2024)

Large Language Model Translation of Indigenous Languages. - Cameron Bishop; Xiaodan Zhu; Karen Rudie (CCECE, 2024)

A uniform approach to compare architectures in decentralized discrete-event systems. - K. Ritsuka; Karen Rudie (Autom., 2024)

A Two-Pronged Approach to Security of Discrete-Event Systems. - Shoma Matsui; Karen Rudie; Kai Cai (J. Syst. Sci. Complex., 2025)