Probabilistic verification of diagnosability for a certain class of timed stochastic systems

Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03) Continuous-time Markov processes on discrete state spaces (60J27)

Cites Work

Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
Diagnosis of intermittent faults
Detectability in stochastic discrete event systems
A theory of timed automata
A necessary and sufficient condition for diagnosability of stochastic discrete event systems
Verification of detectability in probabilistic finite automata
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
A tale of two diagnoses in probabilistic systems
Accurate Approximate Diagnosability of Stochastic Systems
Diagnosability Analysis of Discrete Event Systems with Autonomous Components
Introduction to Discrete Event Systems
Markov Chains
A polynomial algorithm for testing diagnosability of discrete-event systems
On the total variation distance of labelled Markov chains
Diagnosability of discrete-event systems
Exposure and Revelation Times as a Measure of Opacity in Timed Stochastic Discrete Event Systems
Estimation and Inference in Discrete Event Systems
Polynomial-time verification of diagnosability of partially observed discrete-event systems
Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
Diagnosability of stochastic discrete-event systems
Markov Chains
Fault Diagnosis for Timed Automata
Foundations of Software Science and Computational Structures

This page was built for publication: Probabilistic verification of diagnosability for a certain class of timed stochastic systems