default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKaren Rudie
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j32]K. Ritsuka
, Karen Rudie:
A uniform approach to compare architectures in decentralized discrete-event systems. Autom. 165: 111683 (2024)- [c37]Will Aitken, Mohamed Abdalla, Karen Rudie, Catherine Stinson:
Collaboration or Corporate Capture? Quantifying NLP's Reliance on Industry Artifacts and Contributions. ACL (1) 2024: 3433-3448 - [c36]Shoma Matsui, Kai Cai, Karen Rudie:
Distributed Secret Securing in Discrete-Event Systems. ACC 2024: 3202-3207 - [c35]Bryony H. Schonewille, Karen Rudie:
Existence Conditions for Confidentiality in Discrete-Event Systems*. ACC 2024: 5412-5418 - [c34]Richard Hugh Moulton, Karen Rudie:
Limited-Capacity Supervisors for Discrete-Event Systems. ACC 2024: 5425-5432 - [c33]Nick Mertin, Karen Rudie:
Generalizing Discrete-Event System Control Problems to Optimal Control. ACC 2024: 5433-5440 - [c32]Cameron Bishop, Xiaodan Zhu, Karen Rudie:
Large Language Model Translation of Indigenous Languages. CCECE 2024: 91-92 - [i9]Shoma Matsui, Kai Cai, Karen Rudie:
Distributed Secret Securing in Discrete-Event Systems. CoRR abs/2402.08878 (2024) - 2023
- [j31]K. Ritsuka, Karen Rudie:
Do what you know: coupling knowledge with action in discrete-event systems. Discret. Event Dyn. Syst. 33(3): 257-277 (2023) - [i8]Will Aitken, Mohamed Abdalla, Karen Rudie, Catherine Stinson:
Collaboration or Corporate Capture? Quantifying NLP's Reliance on Industry Artifacts and Contributions. CoRR abs/2312.03912 (2023) - 2022
- [j30]Richard Hugh Moulton, Karen Rudie:
Online control of discrete-event systems: A survey. Annu. Rev. Control. 54: 24-48 (2022) - [j29]Stavros Tripakis, Karen Rudie:
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. IEEE Control. Syst. Lett. 6: 1652-1657 (2022) - [j28]Michel R. C. Alves, Patrícia N. Pena, Karen Rudie:
Discrete-event systems subject to unknown sensor attacks. Discret. Event Dyn. Syst. 32(1): 143-158 (2022) - [j27]K. Ritsuka, Karen Rudie:
Epistemic interpretations of decentralized discrete-event system problems. Discret. Event Dyn. Syst. 32(3): 359-398 (2022) - [j26]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): 611-640 (2022) - [c31]Richard Hugh Moulton, Stephen H. Scott, Karen Rudie:
Synthesizing Supervisors with a Minimum Control Base for Discrete-Event Systems. ACC 2022: 4502-4507 - [c30]Bryony H. Schonewille, Richard Hugh Moulton, Karen Rudie:
Enforcing Degree of Opacity with Supervisory Control. CDC 2022: 5450-5457 - [i7]Nick Mertin, K. Ritsuka, Karen Rudie:
A Framework for the High-Level Specification and Verification of Synchronous Digital Logic Systems. CoRR abs/2201.10632 (2022) - [i6]K. Ritsuka, Karen Rudie:
Equivalence of Decentralized Observation, Diagnosis, and Control Problems in Discrete-event Systems. CoRR abs/2204.10792 (2022) - [i5]K. Ritsuka, Karen Rudie:
A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems. CoRR abs/2210.16511 (2022) - 2021
- [c29]K. Ritsuka, Karen Rudie:
A Visualization of Inference-Based Supervisory Control in Discrete-Event Systems. CDC 2021: 1062-1068 - [i4]K. Ritsuka, Karen Rudie:
Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems. CoRR abs/2108.02000 (2021) - [i3]Stavros Tripakis, Karen Rudie:
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. CoRR abs/2108.04523 (2021) - [i2]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 abs/2110.04334 (2021) - 2020
- [i1]Richard Hugh Moulton, Anthony J. Marasco, Karen Rudie:
Limited Lookahead Policies for the Control of Discrete-Event Systems: A Tutorial. CoRR abs/2006.06514 (2020)
2010 – 2019
- 2019
- [j25]Francis Atampore, Juergen Dingel, Karen Rudie:
A controller synthesis framework for automated service composition. Discret. Event Dyn. Syst. 29(3): 297-365 (2019) - [j24]Behnam Behinaein, Feng Lin, Karen Rudie:
Optimal Information Release for Mixed Opacity in Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 16(4): 1960-1970 (2019) - 2018
- [j23]W. M. Wonham, Kai Cai, Karen Rudie:
Supervisory control of discrete-event systems: A brief history. Annu. Rev. Control. 45: 250-256 (2018) - [j22]David Sears, Karen Rudie:
Computing observers from observation policies in discrete-event systems. Discret. Event Dyn. Syst. 28(4): 509-537 (2018) - [j21]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): 231-243 (2018) - 2017
- [j20]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): 407-441 (2017) - [j19]Swapan Sikdar, Sidney Givigi, Karen Rudie:
A Resource Allocation Mechanism Using Matching and Bargaining. IEEE Trans. Autom. Control. 62(11): 5909-5914 (2017) - 2016
- [j18]David Sears, Karen Rudie:
Minimal sensor activation and minimal communication in discrete-event systems. Discret. Event Dyn. Syst. 26(2): 295-349 (2016) - [c28]Francis Atampore, Juergen Dingel, Karen Rudie:
Automated service composition via supervisory control theory. WODES 2016: 28-35 - 2015
- [j17]Sarah-Jane Whittaker, Karen Rudie, P. James McLellan:
An Augmented Petri Net Model for Health-Care Protocols. IEEE Trans. Autom. Control. 60(9): 2362-2377 (2015) - [c27]Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel, Karen Rudie:
A Model for Industrial Real-Time Systems. VMCAI 2015: 153-171 - 2014
- [j16]Anthony Auer, Jürgen Dingel, Karen Rudie:
Concurrency control generation for dynamic threads using discrete-event systems. Sci. Comput. Program. 82: 22-43 (2014) - [c26]Behnam Behinaein, Karen Rudie, Waheed Sangrar:
Structural analysis of Petri nets for modeling and analyzing signaling pathways. CCECE 2014: 1-5 - [c25]Swapan Sikdar, Karen Rudie:
A decentralised electricity market model: An electric vehicle charging example. CCECE 2014: 1-6 - [c24]David Sears, Karen Rudie:
On computing indistinguishable states of nondeterministic finite automata with partially observable transitions. CDC 2014: 6731-6736 - [c23]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: 162-180 - 2013
- [j15]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: 1-26 (2013) - [j14]Creag Winacott, Behnam Behinaein, Karen Rudie:
Methods for the estimation of the size of lookahead tree state-space. Discret. Event Dyn. Syst. 23(2): 135-155 (2013) - [c22]David Sears, Karen Rudie:
Efficient computation of sensor activation decisions in discrete-event systems. CDC 2013: 6966-6971 - [c21]David Sears, Karen Rudie:
Computing sensor activation decisions from state equivalence classes in discrete-event systems. CDC 2013: 6972-6977 - 2011
- [j13]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): 257-303 (2011) - [j12]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) - [c20]Lenko Grigorov, Karen Rudie:
Dynamic discrete-event systems with instances for the modelling of emergency response protocols. ACC 2011: 4478-4483 - 2010
- [c19]Karen Rudie:
A Summary of Some Discrete-Event System Control Problems. CIAA 2010: 4-16 - [c18]Sarah-Jane Whittaker, Karen Rudie, P. James McLellan, Stefan Haar:
Augmenting Petri nets to model health-care protocols. WODES 2010: 331-336 - [c17]Lenko Grigorov, Karen Rudie:
Techniques for the parametrization of discrete-event system templates. WODES 2010: 370-375
2000 – 2009
- 2009
- [c16]Sarah-Jane Whittaker, Karen Rudie, P. James McLellan, Stefan Haar:
Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. Allerton 2009: 652-659 - [c15]Creag Winacott, Karen Rudie:
Limited lookahead supervisory control of probabilistic discrete-event systems. Allerton 2009: 660-667 - [c14]Anthony Auer, Juergen Dingel, Karen Rudie:
Concurrency control generation for dynamic threads using Discrete-Event Systems. Allerton 2009: 927-934 - [c13]Jürgen Dingel, Karen Rudie, Christopher Dragert:
Bridging the gap: Discrete-Event Systems for software engineering (short position paper). C3S2E 2009: 67-71 - 2008
- [j11]Sarah-Jane Whittaker, Karen Rudie:
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems. Discret. Event Dyn. Syst. 18(3): 285-321 (2008) - [j10]Ying Huang, Karen Rudie, Feng Lin:
Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences. IEEE Trans. Autom. Control. 53(1): 384-388 (2008) - [c12]Sarah-Jane Whittaker, Mohammad Zulkernine, Karen Rudie:
Towards Incorporating Discrete-Event Systems in Secure Software Development. ARES 2008: 1188-1195 - [c11]Lenko Grigorov, José Eduardo Ribeiro Cury, Karen Rudie:
Design of Discrete-Event Systems Using Templates. ACC 2008: 499-504 - [c10]Thomas Brunsch, Karen Rudie:
Discrete-Event Systems Model of an Outbreak Response. ACC 2008: 1709-1714 - [c9]Lenko Grigorov, Karen Rudie, José E. R. Cury, Steffi Klinge:
Template design and automatic generation of controllers for industrial robots. SAC 2008: 1612-1613 - [c8]Christopher Dragert, Jürgen Dingel, Karen Rudie:
Generation of concurrency control code using discrete-event systems theory. SIGSOFT FSE 2008: 146-157 - 2007
- [j9]Stéphane Blouin, Martin Guay, Karen Rudie:
An application of discrete-event theory to truck dispatching. Central Eur. J. Oper. Res. 15(4): 369-391 (2007) - [j8]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): 428-441 (2007) - [j7]Feng Lin, Karen Rudie, Stéphane Lafortune:
Minimal Communication for Essential Transitions in a Distributed Discrete-Event System. IEEE Trans. Autom. Control. 52(8): 1495-1502 (2007) - 2006
- [j6]Lenko Grigorov, Karen Rudie:
Near-Optimal Online Control of Dynamic Discrete-Event Systems. Discret. Event Dyn. Syst. 16(4): 419-449 (2006) - [c7]Ying Huang, Karen Rudie, Feng Lin:
Decentralized control of discrete-event systems when supervisors observe particular event occurrences. ACC 2006: 1-6 - 2003
- [j5]Karen Rudie, Stéphane Lafortune, Feng Lin:
Minimal communication in a distributed discrete-event system. IEEE Trans. Autom. Control. 48(6): 957-975 (2003) - [c6]Stéphane Blouin, Martin Guay, Karen Rudie:
Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems. ADHS 2003: 343-348 - [c5]S. Laurie Ricker, Karen Rudie:
Knowledge is a terrible thing to waste: using inference in discrete-event control problems. ACC 2003: 2246-2251 - 2002
- [c4]Ekaterina S. Lemch, Martin Guay, Karen Rudie:
Modelling of oil production operation in the framework of hybrid systems. CDC 2002: 1595-1600 - 2001
- [c3]Stéphane Blouin, Martin Guay, Karen Rudie:
An application of discrete-event theory to truck dispatching. ACC 2001: 2315-2320 - 2000
- [j4]S. Laurie Ricker, Karen Rudie:
Know means no: Incorporating knowledge into discrete-event control systems. IEEE Trans. Autom. Control. 45(9): 1656-1668 (2000) - [j3]Gino Labinaz, Mohamed M. Bayoumi, Karen Rudie:
Viable cascade control and application to a batch polymerization process. IEEE Trans. Control. Syst. Technol. 8(3): 396-407 (2000) - [c2]S. Laurie Ricker, Karen Rudie:
Distributed knowledge for communication in decentralized discrete-event systems. CDC 2000: 9-15
1990 – 1999
- 1996
- [j2]S. Laurie Ricker, Nilanjan Sarkar, Karen Rudie:
A discrete-event systems approach to modeling dextrous manipulation. Robotica 14(5): 515-525 (1996) - 1995
- [j1]Karen Rudie, Jan C. Willems:
The computational complexity of decentralized discrete-event control problems. IEEE Trans. Autom. Control. 40(7): 1313-1319 (1995) - 1990
- [c1]Karen Rudie, Walter Murray Wonham:
Supervisory control of communicating processes. PSTV 1990: 243-257
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
