| Publication | Date of Publication | Type |
|---|
A uniform approach to compare architectures in decentralized discrete-event systems
Automatica | 2024-07-03 | Paper |
Do what you know: coupling knowledge with action in discrete-event systems
Discrete Event Dynamic Systems | 2023-10-04 | Paper |
Using subobservers to synthesize opacity-enforcing supervisors
Discrete Event Dynamic Systems | 2022-12-14 | Paper |
Epistemic interpretations of decentralized discrete-event system problems
Discrete Event Dynamic Systems | 2022-10-12 | Paper |
Discrete-event systems subject to unknown sensor attacks
Discrete Event Dynamic Systems | 2022-04-21 | Paper |
A controller synthesis framework for automated service composition
Discrete Event Dynamic Systems | 2020-05-06 | Paper |
Computing observers from observation policies in discrete-event systems
Discrete Event Dynamic Systems | 2018-12-10 | Paper |
Controller synthesis for dynamic hierarchical real-time plants using timed automata
Discrete Event Dynamic Systems | 2018-01-31 | Paper |
Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Minimal Communication for Essential Transitions in a Distributed Discrete-Event System
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Minimal communication in a distributed discrete-event system
IEEE Transactions on Automatic Control | 2017-06-20 | Paper |
An Augmented Petri Net Model for Health-Care Protocols
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Minimal sensor activation and minimal communication in discrete-event systems
Discrete Event Dynamic Systems | 2017-01-11 | Paper |
A model for industrial real-time systems
Lecture Notes in Computer Science | 2015-02-04 | Paper |
A survey of timed automata for the development of real-time systems
Computer Science Review | 2014-01-28 | Paper |
Methods for the estimation of the size of lookahead tree state-space
Discrete Event Dynamic Systems | 2013-08-07 | Paper |
Conceptual design of discrete-event systems using templates
Discrete Event Dynamic Systems | 2011-05-30 | Paper |
A summary of some discrete-event system control problems
Implementation and Application of Automata | 2011-02-11 | Paper |
Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems
Discrete Event Dynamic Systems | 2009-10-09 | Paper |
An application of discrete-event theory to truck dispatching
CEJOR. Central European Journal of Operations Research | 2008-09-03 | Paper |
Near-optimal online control of dynamic discrete-event systems
Discrete Event Dynamic Systems | 2007-01-08 | Paper |
Know means no: Incorporating knowledge into discrete-event control systems
IEEE Transactions on Automatic Control | 2001-08-05 | Paper |
The computational complexity of decentralized discrete-event control problems
IEEE Transactions on Automatic Control | 1995-10-09 | Paper |
| scientific article; zbMATH DE number 795183 (Why is no real title available?) | 1995-09-11 | Paper |
Think globally, act locally: decentralized supervisory control
IEEE Transactions on Automatic Control | 1993-04-01 | Paper |
The infimal prefix-closed and observable superlanguage of a given language
Systems & Control Letters | 1992-06-25 | Paper |
