Sciweavers

27 search results - page 3 / 6
» Mutually nonblocking supervisory control of discrete event s...
Sort
View
CDC
2008
IEEE
180views Control Systems» more  CDC 2008»
13 years 11 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
FMCO
2005
Springer
116views Formal Methods» more  FMCO 2005»
13 years 10 months ago
Control of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
Jan Komenda, Jan H. van Schuppen
ISPDC
2005
IEEE
13 years 10 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
ICEC
1994
107views more  ICEC 1994»
13 years 6 months ago
Genetic Algorithms and Discrete Event Systems: An Application
: In this paper we propose an approach for discrete event systems control optimization, based on the theory developed by Ramadge and Wonham and on the Limited Lookahead Policy stra...
Ricardo R. Gudwin, Fernando A. C. Gomide
ATAL
2004
Springer
13 years 10 months ago
Multiagent Planning as Control Synthesis
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
Kiam Tian Seow, Chuan Ma, Makoto Yokoo