Karen Rudie

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 29

Top Topics

Supervisory Control

Top Venues

Discret. Event Dyn. Syst.

Annu. Rev. Control.

Publications

Shoma Matsui, Kai Cai, Karen Rudie
Distributed Secret Securing in Discrete-Event Systems. CoRR (2024)
Will Aitken, Mohamed Abdalla, Karen Rudie, Catherine Stinson
Collaboration or Corporate Capture? Quantifying NLP's Reliance on Industry Artifacts and Contributions. ACL (1) (2024)
K. Ritsuka, Karen Rudie
A uniform approach to compare architectures in decentralized discrete-event systems. Autom. 165 (2024)
K. Ritsuka, Karen Rudie
Do what you know: coupling knowledge with action in discrete-event systems. Discret. Event Dyn. Syst. 33 (3) (2023)
Will Aitken, Mohamed Abdalla, Karen Rudie, Catherine Stinson
Collaboration or Corporate Capture? Quantifying NLP's Reliance on Industry Artifacts and Contributions. CoRR (2023)
Richard Ean, Karen Rudie
Epistemic interpretations of decentralized discrete-event system problems. Discret. Event Dyn. Syst. 32 (3) (2022)
Richard Ean, Karen Rudie
A Universal Treatment of Architectures and Fusion Rules in Decentralized Discrete-Event Systems. CoRR (2022)
Nick Mertin, Richard Ean, Karen Rudie
A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems. CoRR (2022)
Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie
Using Subobservers to Synthesize Opacity-Enforcing Supervisors. Discret. Event Dyn. Syst. 32 (4) (2022)
Richard Hugh Moulton, Stephen H. Scott, Karen Rudie
Synthesizing Supervisors with a Minimum Control Base for Discrete-Event Systems. ACC (2022)
Richard Ean, Karen Rudie
A correspondence between control and observation problems in decentralized discrete-event systems. CoRR (2022)
Stavros Tripakis, Karen Rudie
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. IEEE Control. Syst. Lett. 6 (2022)
Michel R. C. Alves, Patrícia N. Pena, Karen Rudie
Discrete-event systems subject to unknown sensor attacks. Discret. Event Dyn. Syst. 32 (1) (2022)
Richard Hugh Moulton, Karen Rudie
Online control of discrete-event systems: A survey. Annu. Rev. Control. 54 (2022)
Bryony H. Schonewille, Richard Hugh Moulton, Karen Rudie
Enforcing Degree of Opacity with Supervisory Control. CDC (2022)
Richard Ean, Karen Rudie
Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems. CoRR (2021)
Stavros Tripakis, Karen Rudie
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. CoRR (2021)
Richard Ean, Karen Rudie
A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems. CDC (2021)
Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie
Using Subobservers to Synthesize Opacity-Enforcing Supervisors. CoRR (2021)
Richard Hugh Moulton, Anthony J. Marasco, Karen Rudie
Limited Lookahead Policies for the Control of Discrete-Event Systems: A Tutorial. CoRR (2020)
Francis Atampore, Juergen Dingel, Karen Rudie
A controller synthesis framework for automated service composition. Discret. Event Dyn. Syst. 29 (3) (2019)
Behnam Behinaein, Feng Lin, Karen Rudie
Optimal Information Release for Mixed Opacity in Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 16 (4) (2019)
W. M. Wonham, Kai Cai, Karen Rudie
Supervisory control of discrete-event systems: A brief history. Annu. Rev. Control. 45 (2018)
Behnam Behinaein, Karen Rudie, Waheed Sangrar
Petri Net Siphon Analysis and Graph Theoretic Measures for Identifying Combination Therapies in Cancer. IEEE ACM Trans. Comput. Biol. Bioinform. 15 (1) (2018)
David Sears, Karen Rudie
Computing observers from observation policies in discrete-event systems. Discret. Event Dyn. Syst. 28 (4) (2018)
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
Controller synthesis for dynamic hierarchical real-time plants using timed automata. Discret. Event Dyn. Syst. 27 (2) (2017)
Swapan Sikdar, Sidney Givigi, Karen Rudie
A Resource Allocation Mechanism Using Matching and Bargaining. IEEE Trans. Autom. Control. 62 (11) (2017)
Francis Atampore, Juergen Dingel, Karen Rudie
Automated service composition via supervisory control theory. WODES (2016)
David Sears, Karen Rudie
Minimal sensor activation and minimal communication in discrete-event systems. Discret. Event Dyn. Syst. 26 (2) (2016)
Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie
A Model for Industrial Real-Time Systems. VMCAI (2015)
Sarah-Jane Whittaker, Karen Rudie, James McLellan
An Augmented Petri Net Model for Health-Care Protocols. IEEE Trans. Autom. Control. 60 (9) (2015)
Anthony Auer, Jürgen Dingel, Karen Rudie
Concurrency control generation for dynamic threads using discrete-event systems. Sci. Comput. Program. 82 (2014)
Behnam Behinaein, Karen Rudie, Waheed Sangrar
Structural analysis of Petri nets for modeling and analyzing signaling pathways. CCECE (2014)
Md Tawhid Bin Waez, Andrzej Wasowski, Jürgen Dingel, Karen Rudie
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report. FACS (2014)
David Sears, Karen Rudie
On computing indistinguishable states of nondeterministic finite automata with partially observable transitions. CDC (2014)
Swapan Sikdar, Karen Rudie
A decentralised electricity market model: An electric vehicle charging example. CCECE (2014)
Creag Winacott, Behnam Behinaein, Karen Rudie
Methods for the estimation of the size of lookahead tree state-space. Discret. Event Dyn. Syst. 23 (2) (2013)
Md Tawhid Bin Waez, Jürgen Dingel, Karen Rudie
A survey of timed automata for the development of real-time systems. Comput. Sci. Rev. 9 (2013)
David Sears, Karen Rudie
Efficient computation of sensor activation decisions in discrete-event systems. CDC (2013)
David Sears, Karen Rudie
Computing sensor activation decisions from state equivalence classes in discrete-event systems. CDC (2013)
Lenko Grigorov, Brian E. Butler, José E. R. Cury, Karen Rudie
Conceptual Design of Discrete-Event Systems Using Templates. Discret. Event Dyn. Syst. 21 (2) (2011)
Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie
Combining Model Checking and Discrete-Event Supervisor Synthesis. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Lenko Grigorov, Karen Rudie
Dynamic discrete-event systems with instances for the modelling of emergency response protocols. ACC (2011)
Karen Rudie
A Summary of Some Discrete-Event System Control Problems. CIAA (2010)
Lenko Grigorov, Karen Rudie
Techniques for the parametrization of discrete-event system templates. WODES (2010)
Sarah-Jane Whittaker, Karen Rudie, James McLellan, Stefan Haar
Augmenting Petri nets to model health-care protocols. WODES (2010)
Sarah-Jane Whittaker, Karen Rudie, James McLellan, Stefan Haar
Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. Allerton (2009)
Anthony Auer, Juergen Dingel, Karen Rudie
Concurrency control generation for dynamic threads using Discrete-Event Systems. Allerton (2009)
Jürgen Dingel, Karen Rudie, Christopher Dragert
Bridging the gap: Discrete-Event Systems for software engineering (short position paper). C3S2E (2009)
Creag Winacott, Karen Rudie
Limited lookahead supervisory control of probabilistic discrete-event systems. Allerton (2009)
Christopher Dragert, Jürgen Dingel, Karen Rudie
Generation of concurrency control code using discrete-event systems theory. SIGSOFT FSE (2008)
Lenko Grigorov, Karen Rudie, José E. R. Cury, Steffi Klinge
Template design and automatic generation of controllers for industrial robots. SAC (2008)
Sarah-Jane Whittaker, Mohammad Zulkernine, Karen Rudie
Towards Incorporating Discrete-Event Systems in Secure Software Development. ARES (2008)
Sarah-Jane Whittaker, Karen Rudie
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems. Discret. Event Dyn. Syst. 18 (3) (2008)
Lenko Grigorov, José Eduardo Ribeiro Cury, Karen Rudie
Design of Discrete-Event Systems Using Templates. ACC (2008)
Ying Huang, Karen Rudie, Feng Lin
Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences. IEEE Trans. Autom. Control. 53 (1) (2008)
Thomas Brunsch, Karen Rudie
Discrete-Event Systems Model of an Outbreak Response. ACC (2008)
Stéphane Blouin, Martin Guay, Karen Rudie
An application of discrete-event theory to truck dispatching. Central Eur. J. Oper. Res. 15 (4) (2007)
S. Laurie Ricker, Karen Rudie
Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems. IEEE Trans. Autom. Control. 52 (3) (2007)
Feng Lin, Karen Rudie, Stéphane Lafortune
Minimal Communication for Essential Transitions in a Distributed Discrete-Event System. IEEE Trans. Autom. Control. 52 (8) (2007)
Lenko Grigorov, Karen Rudie
Near-Optimal Online Control of Dynamic Discrete-Event Systems. Discret. Event Dyn. Syst. 16 (4) (2006)
Ying Huang, Karen Rudie, Feng Lin
Decentralized control of discrete-event systems when supervisors observe particular event occurrences. ACC (2006)
S. Laurie Ricker, Karen Rudie
Knowledge is a terrible thing to waste: using inference in discrete-event control problems. ACC (2003)
Stéphane Blouin, Martin Guay, Karen Rudie
Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems. ADHS (2003)
Karen Rudie, Stéphane Lafortune, Feng Lin
Minimal communication in a distributed discrete-event system. IEEE Trans. Autom. Control. 48 (6) (2003)
Ekaterina S. Lemch, Martin Guay, Karen Rudie
Modelling of oil production operation in the framework of hybrid systems. CDC (2002)
Stéphane Blouin, Martin Guay, Karen Rudie
An application of discrete-event theory to truck dispatching. ACC (2001)
Gino Labinaz, Mohamed M. Bayoumi, Karen Rudie
Viable cascade control and application to a batch polymerization process. IEEE Trans. Control. Syst. Technol. 8 (3) (2000)
S. Laurie Ricker, Karen Rudie
Know means no: Incorporating knowledge into discrete-event control systems. IEEE Trans. Autom. Control. 45 (9) (2000)
S. Laurie Ricker, Karen Rudie
Distributed knowledge for communication in decentralized discrete-event systems. CDC (2000)
S. Laurie Ricker, Nilanjan Sarkar, Karen Rudie
A discrete-event systems approach to modeling dextrous manipulation. Robotica 14 (5) (1996)
Karen Rudie, Jan C. Willems
The computational complexity of decentralized discrete-event control problems. IEEE Trans. Autom. Control. 40 (7) (1995)
Karen Rudie, Walter Murray Wonham
Supervisory control of communicating processes. PSTV (1990)