Diagnosis from scenarios
From MaRDI portal
Publication:481349
DOI10.1007/S10626-013-0158-2zbMATH Open1302.93147OpenAlexW2131190527MaRDI QIDQ481349FDOQ481349
Authors: Loïc Hélouët, H. Marchand, Blaise Genest, Thomas Gazagnaire 
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
Recommendations
Observability (93B07) Discrete event control/observation systems (93C65) Applications of graph theory to circuits and networks (94C15)
Cites Work
- Asymptotic Enumeration of Partial Orders on a Finite Set
- Algebra of communicating processes with abstraction
- Formal Modeling and Analysis of Timed Systems
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Distributed diagnosis of discrete-event systems using Petri nets
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata
- Title not available (Why is that?)
- Diagnosability of discrete event systems and its applications
- Diagnosis of large active systems
- Title not available (Why is that?)
- Diagnosis from scenarios
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Causal message sequence charts
- Diagnosability of discrete event systems with modular structure
Cited In (7)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Logic-based diagnosis for distributed systems
- Title not available (Why is that?)
- Tableaux for diagnosis applications
- Diagnosis from scenarios
- A diagnoser algorithm for anomaly detection in DEDS under partial and unreliable observations: characterization and inclusion in sensor configuration optimization
- Event Correlation with Boxed Pomsets
Uses Software
This page was built for publication: Diagnosis from scenarios
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q481349)
