Karen Rudie

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems	2017-07-27	Paper
Minimal Communication for Essential Transitions in a Distributed Discrete-Event System	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Karen Rudie