Active Diagnosis for Probabilistic Systems

DOI10.1007/978-3-642-54830-7_2zbMath1405.68223OpenAlexW33014818MaRDI QIDQ5410662

Stefan Haar, Eric Fabre, Loïc Hélouët, Nathalie Bertrand, Serge Haddad

Publication date: 16 April 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_2

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (8)

What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives ⋮ Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Runtime monitors for Markov decision processes ⋮ Optimal constructions for active diagnosis ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ A necessary and sufficient condition for diagnosability of stochastic discrete event systems ⋮ Diagnosis and degradation control for probabilistic systems ⋮ A tale of two diagnoses in probabilistic systems

This page was built for publication: Active Diagnosis for Probabilistic Systems