— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
We propose a method for coordinating local components that observe a distributed discrete-event system R and execute actions depending on the current state of R. Coordination is a...
ion-based failure diagnosis for discrete event systems Klaus Schmidt∗ Chair of Automatic Control, University of Erlangen-Nuremberg, Cauerstrasse 7, 91058 Erlangen, Germany a r t ...
Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
Jayendran Venkateswaran, Young-Jun Son, Albert Jon...
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...