Diagnosis from scenarios

DOI10.1007/s10626-013-0158-2zbMath1302.93147MaRDI QIDQ481349

Hervé Marchand, Blaise Genest, Loïc Hélouët, 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

zbMATH Keywords

security; diagnosis; scenarios; anomaly detection; discrete events systems

Mathematics Subject Classification ID

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

• Sofat

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