Distributed monitoring of concurrent and asynchronous systems
From MaRDI portal
Publication:1773098
DOI10.1007/s10626-005-5238-5zbMath1077.68059MaRDI QIDQ1773098
Stefan Haar, Albert Benveniste, Claude Jard, Eric Fabre
Publication date: 25 April 2005
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00638219/file/FBJH-deds05.pdf
fault diagnosis; asynchronous; event structures; distributed; concurrent; unfoldings; fault management
93C65: Discrete event control/observation systems
93B07: Observability
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Computation of minimal event bases that ensure diagnosability, On-line monitoring of large Petri net models under partial observation, Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays, Hierarchical fault diagnosis for discrete-event systems under global consistency, Diagnosis of discrete event systems using decentralized architectures, Diagnosis of behaviors of interest in partially-observed discrete-event systems, Distributed monitoring of concurrent and asynchronous systems, Unfolding-based diagnosis of systems with an evolving topology, Trellis processes: a compact representation for runs of concurrent systems, Partial order techniques for distributed discrete event systems: why you cannot avoid using them, True-concurrency probabilistic models: Markov nets and a law of large numbers, Unfolding-Based Diagnosis of Systems with an Evolving Topology
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Petri nets with individual tokens
- Petri nets, event structures and domains. I
- Branching processes of Petri nets
- Diagnosis of large active systems
- Distributed monitoring of concurrent and asynchronous systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
- Diagnosability of discrete-event systems
- Free Choice Petri Nets
- CONCUR 2003 - Concurrency Theory