Diagnosis from scenarios
From MaRDI portal
Publication:481349
DOI10.1007/s10626-013-0158-2zbMath1302.93147OpenAlexW2131190527MaRDI QIDQ481349
Hervé Marchand, Thomas Gazagnaire, Loïc Hélouët, Blaise Genest
Publication date: 12 December 2014
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00879441/file/JDEDS-Unusual.pdf
Discrete event control/observation systems (93C65) Observability (93B07) Applications of graph theory to circuits and networks (94C15)
Related Items (3)
Diagnosis from scenarios ⋮ Event Correlation with Boxed Pomsets ⋮ Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Diagnosis from scenarios
- Causal message sequence charts
- Diagnosability of discrete event systems with modular structure
- Algebra of communicating processes with abstraction
- Diagnosability of discrete event systems and its applications
- Diagnosis of large active systems
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata
- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
- Asymptotic Enumeration of Partial Orders on a Finite Set
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Formal Modeling and Analysis of Timed Systems
This page was built for publication: Diagnosis from scenarios
