Distributed monitoring of concurrent and asynchronous systems
From MaRDI portal
Publication:1773098
DOI10.1007/s10626-005-5238-5zbMath1077.68059OpenAlexW1968681587MaRDI QIDQ1773098
Stefan Haar, Eric Fabre, Albert Benveniste, Claude Jard
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
Discrete event control/observation systems (93C65) Observability (93B07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (18)
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 ⋮ What topology tells us about diagnosability in partial order semantics ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ Diagnosis of discrete event systems using decentralized architectures ⋮ Computing the reveals relation in occurrence nets ⋮ Unfolding-based diagnosis of systems with an evolving topology ⋮ 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 ⋮ Diagnosis of behaviors of interest in partially-observed discrete-event systems ⋮ True-concurrency probabilistic models: Markov nets and a law of large numbers ⋮ Symbolic unfolding of parametric stopwatch Petri nets ⋮ Flow Unfolding of Multi-clock Nets ⋮ Computation of minimal event bases that ensure diagnosability ⋮ Distributed monitoring of concurrent and asynchronous systems ⋮ On-line monitoring of large Petri net models under partial observation ⋮ Diagnosis and Automata
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
This page was built for publication: Distributed monitoring of concurrent and asynchronous systems
