The following pages link to Karen Rudie (Q394964):
Displaying 27 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Minimal sensor activation and minimal communication in discrete-event systems (Q503031) (← links)
- Conceptual design of discrete-event systems using templates (Q539490) (← links)
- Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems (Q732247) (← links)
- Near-optimal online control of dynamic discrete-event systems (Q858148) (← links)
- An application of discrete-event theory to truck dispatching (Q940821) (← links)
- Computing observers from observation policies in discrete-event systems (Q1628789) (← links)
- Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)
- The infimal prefix-closed and observable superlanguage of a given language (Q1814432) (← links)
- Epistemic interpretations of decentralized discrete-event system problems (Q2081081) (← links)
- Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
- Discrete-event systems subject to unknown sensor attacks (Q2128094) (← links)
- A controller synthesis framework for automated service composition (Q2177764) (← links)
- Methods for the estimation of the size of lookahead tree state-space (Q2393146) (← links)
- Know means no: Incorporating knowledge into discrete-event control systems (Q2730222) (← links)
- An Augmented Petri Net Model for Health-Care Protocols (Q2982586) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- Think globally, act locally: decentralized supervisory control (Q4031515) (← links)
- (Q4845333) (← links)
- The computational complexity of decentralized discrete-event control problems (Q4850272) (← links)
- Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences (Q4974135) (← links)
- A Model for Industrial Real-Time Systems (Q5172641) (← links)
- Minimal communication in a distributed discrete-event system (Q5266818) (← links)
- Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems (Q5282058) (← links)
- Minimal Communication for Essential Transitions in a Distributed Discrete-Event System (Q5282213) (← links)
- Do what you know: coupling knowledge with action in discrete-event systems (Q6080679) (← links)
- A uniform approach to compare architectures in decentralized discrete-event systems (Q6566765) (← links)
