Distributed state reconstruction for discrete event systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 3, Issue , 2000, Pages 2252-2257

  Fabre, Eric ^a   Benveniste, Albert ^a   Jard, Claude ^a   Ricker, Laurie ^a   Smith, Mark ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; SEMANTICS; STATE ESTIMATION; STOCHASTIC CONTROL SYSTEMS;

ASYNCHRONOUS AGENTS; CONCURRENT SYSTEMS; DISCRETE EVENT DYNAMIC SYSTEM; DISTRIBUTED INFERENCE ALGORITHM;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0034439527     PISSN: 01912216     EISSN: None     Source Type: Journal    
DOI: 10.1109/CDC.2000.914132     Document Type: Article

References (15)

1. Algorithmes distribués et protocoles
2. Detection of stable properties in distributed applications
3. An unfolding algorithm for synchronous products of transition systems
4. Modular construction and partial order semantics of Petri nets
5. Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
6. A Petri net approach to fault detection and diagnosis in distributed systems. Part I: Application to telecommunication networks, motivations and modeling
7. A Petri net approach to fault detection and diagnosis in distributed systems. Part II: Extending Viterbi algorithm and HMM techniques to Petri nets
8. A calculus of stochastic systems: Specification, simulation, and hidden state estimation
9. A coordinated decentralized protocol for failure diagnosis of discrete event systems
10. Coordinated decentralized protocols for failure diagnosis of discrete event systems
11. Diagnosis of active systems
12. Diagnosis of large active systems
13. Petri nets for modeling of dynamic systems - a survey
14. A tutorial on hidden markov models and selected applications in speech recognition