Diagnosis from scenarios

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

zbMATH Keywords

securitydiagnosisscenariosanomaly detectiondiscrete events systems

Mathematics Subject Classification ID

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

• 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

This page was built for publication: Diagnosis from scenarios