Diagnosability Analysis of Discrete Event Systems with Autonomous Components
From MaRDI portal
Publication:2999115
DOI10.3233/978-1-60750-606-5-105zbMath1211.90063OpenAlexW1557232868MaRDI QIDQ2999115
Publication date: 11 May 2011
Full work available at URL: https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#YeD10
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Related Items (6)
Verification complexity of a class of observational properties for modular discrete events systems ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Diagnosis and Automata ⋮ Self-regularized causal structure discovery for trajectory-based networks
This page was built for publication: Diagnosability Analysis of Discrete Event Systems with Autonomous Components
