Accurate approximate diagnosis of (controllable) stochastic systems
From MaRDI portal
(Redirected from Publication:832093)
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Recommendations
Cites work
- scientific article; zbMATH DE number 6707784 (Why is no real title available?)
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- A polynomial algorithm for testing diagnosability of discrete-event systems
- A tale of two diagnoses in probabilistic systems
- Accurate approximate diagnosability of stochastic systems
- Active Diagnosis for Probabilistic Systems
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- Active diagnosis of discrete-event systems
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Diagnosability of discrete-event systems
- Diagnosability of stochastic discrete-event systems
- Fast parallel matrix and GCD computations
- Fault diagnosis with static and dynamic observers
- On Relating Time and Space to Size and Depth
- On the power of imperfect information
- On the total variation distance of labelled Markov chains
- Optimal constructions for active diagnosis
- Probabilistic disclosure: maximisation vs. minimisation
- Probabilistic opacity for Markov decision processes
- Quantifying opacity
- Randomness for free
Cited in
(6)- Diagnosis and degradation control for probabilistic systems
- On approximate diagnosability of metric systems
- Accurate approximate diagnosability of stochastic systems
- scientific article; zbMATH DE number 90111 (Why is no real title available?)
- A tale of two diagnoses in probabilistic systems
- Diagnosis in infinite-state probabilistic systems
This page was built for publication: Accurate approximate diagnosis of (controllable) stochastic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832093)