Sciweavers

172 search results - page 7 / 35
» Controllers for Discrete Event Systems via Morphisms
Sort
View
CDC
2008
IEEE
180views Control Systems» more  CDC 2008»
15 years 4 months ago
Opacity-enforcing supervisory strategies for secure discrete event systems
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
Anooshiravan Saboori, Christoforos N. Hadjicostis
ISPDC
2005
IEEE
15 years 3 months ago
Coordination of Components in a Distributed Discrete-Event System
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...
Ahmed Khoumsi
SCL
2010
110views more  SCL 2010»
14 years 7 months ago
Abstraction-based failure diagnosis for discrete event systems
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 ...
Klaus Schmidt
WSC
2004
14 years 11 months ago
Hierarchical Production Planning Using a Hybrid System Dynamic - Discrete Event Simulation Architecture
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...
DEDS
2002
119views more  DEDS 2002»
14 years 9 months ago
Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks
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...
Laurence Rozé, Marie-Odile Cordier