Diagnosis from scenarios
From MaRDI portal
Publication:481349
DOI10.1007/s10626-013-0158-2zbMath1302.93147MaRDI 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
93C65: Discrete event control/observation systems
93B07: Observability
94C15: Applications of graph theory to circuits and networks
Related Items
Diagnosis from scenarios, Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems, Event Correlation with Boxed Pomsets
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item