Accurate approximate diagnosis of (controllable) stochastic systems
From MaRDI portal
Publication:832093
DOI10.1007/978-3-030-85172-9_22zbMath1491.68027OpenAlexW3194116258MaRDI QIDQ832093
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_22
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Reliability, testing and fault tolerance of networks and computer systems (68M15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Optimal constructions for active diagnosis
- Probabilistic opacity for Markov decision processes
- A tale of two diagnoses in probabilistic systems
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Accurate Approximate Diagnosability of Stochastic Systems
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Randomness for Free
- On Relating Time and Space to Size and Depth
- Active diagnosis of discrete-event systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- On the total variation distance of labelled Markov chains
- Fast parallel matrix and GCD computations
- Diagnosability of discrete-event systems
- Diagnosability of stochastic discrete-event systems
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Active Diagnosis for Probabilistic Systems
- Quantifying opacity
This page was built for publication: Accurate approximate diagnosis of (controllable) stochastic systems
