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
Flow Unfolding of Multi-clock Nets, Diagnosis and Automata, What topology tells us about diagnosability in partial order semantics, Computing the reveals relation in occurrence nets, 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, Symbolic unfolding of parametric stopwatch Petri nets, 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