Karen Rudie

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