Karen Rudie

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
A uniform approach to compare architectures in decentralized discrete-event systems	2024-07-03	Paper
Do what you know: coupling knowledge with action in discrete-event systems	2023-10-04	Paper
Using subobservers to synthesize opacity-enforcing supervisors	2022-12-14	Paper
Epistemic interpretations of decentralized discrete-event system problems	2022-10-12	Paper
Discrete-event systems subject to unknown sensor attacks	2022-04-21	Paper
A controller synthesis framework for automated service composition	2020-05-06	Paper
Computing observers from observation policies in discrete-event systems	2018-12-10	Paper
Controller synthesis for dynamic hierarchical real-time plants using timed automata	2018-01-31	Paper
Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences	2017-08-08	Paper
Minimal Communication for Essential Transitions in a Distributed Discrete-Event System	2017-07-27	Paper
Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems	2017-07-27	Paper
Minimal communication in a distributed discrete-event system	2017-06-20	Paper
An Augmented Petri Net Model for Health-Care Protocols	2017-05-16	Paper
Minimal sensor activation and minimal communication in discrete-event systems	2017-01-11	Paper
A Model for Industrial Real-Time Systems	2015-02-04	Paper
A survey of timed automata for the development of real-time systems	2014-01-28	Paper
Methods for the estimation of the size of lookahead tree state-space	2013-08-07	Paper
Conceptual design of discrete-event systems using templates	2011-05-30	Paper
A Summary of Some Discrete-Event System Control Problems	2011-02-11	Paper
Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems	2009-10-09	Paper
An application of discrete-event theory to truck dispatching	2008-09-03	Paper
Near-optimal online control of dynamic discrete-event systems	2007-01-08	Paper
Know means no: Incorporating knowledge into discrete-event control systems	2001-08-05	Paper
The computational complexity of decentralized discrete-event control problems	1995-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4845333	1995-09-11	Paper
Think globally, act locally: decentralized supervisory control	1993-04-01	Paper
The infimal prefix-closed and observable superlanguage of a given language	1992-06-25	Paper

Research outcomes over time

This page was built for person: Karen Rudie