Accurate approximate diagnosis of (controllable) stochastic systems
DOI10.1007/978-3-030-85172-9_22zbMATH Open1491.68027OpenAlexW3194116258MaRDI QIDQ832093FDOQ832093
Authors: Engel Lefaucheux
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_22
Recommendations
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)
Cites Work
- Randomness for free
- Active Diagnosis for Probabilistic Systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Probabilistic opacity for Markov decision processes
- Optimal constructions for active diagnosis
- On the power of imperfect information
- Fault diagnosis with static and dynamic observers
- Active diagnosis of discrete-event systems
- Diagnosability of discrete-event systems
- Diagnosability of stochastic discrete-event systems
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Fast parallel matrix and GCD computations
- On Relating Time and Space to Size and Depth
- Current-State Opacity Formulations in Probabilistic Finite Automata
- Quantifying opacity
- Active acquisition of information for diagnosis and supervisory control of discrete event systems
- On the total variation distance of labelled Markov chains
- A tale of two diagnoses in probabilistic systems
- Accurate approximate diagnosability of stochastic systems
- Title not available (Why is that?)
- Probabilistic disclosure: maximisation vs. minimisation
Cited In (6)
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)