Partial order techniques for distributed discrete event systems: why you cannot avoid using them
From MaRDI portal
Publication:2465674
DOI10.1007/s10626-007-0016-1zbMath1128.93036OpenAlexW3158304594MaRDI QIDQ2465674
Publication date: 7 January 2008
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-007-0016-1
Discrete event systemsDistributed systemsDiagnosisUnfoldingsPartial ordersAlarm correlationFault management
Controllability (93B05) Communication networks in operations research (90B18) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Observability (93B07)
Related Items (4)
What topology tells us about diagnosability in partial order semantics ⋮ Decentralized observability of discrete event systems with synchronizations ⋮ Computing the reveals relation in occurrence nets ⋮ Diagnosis and Automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fusion, propagation, and structuring in belief networks
- Hierarchical fault diagnosis for discrete-event systems under global consistency
- Petri nets, algebras, morphisms, and compositionality
- Petri nets, event structures and domains. I
- On the effect of communication delays in failure diagnosis of decentralized discrete event systems
- Diagnosis of discrete-event systems from uncertain temporal observations
- Diagnosis of large active systems
- A general architecture for decentralized supervisory control of discrete-event systems
- Distributed monitoring of concurrent and asynchronous systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Undecidable problems of decentralized observation and control on regular languages
- Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
- True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
- Diagnosability of discrete-event systems
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Foundations of Software Science and Computational Structures
- Formal Modeling and Analysis of Timed Systems
- Foundations of Software Science and Computation Structures
This page was built for publication: Partial order techniques for distributed discrete event systems: why you cannot avoid using them
