Active Diagnosis for Probabilistic Systems

DOI10.1007/978-3-642-54830-7_2MaRDI QIDQ5410662zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Active diagnosis of discrete-event systems
• Probabilistic diagnosability of hybrid systems
• Diagnosis in infinite-state probabilistic systems
• Diagnosis and degradation control for probabilistic systems
• Active fault diagnosis for linear stochastic systems subject to chance constraints
• scientific article; zbMATH DE number 6707784
• scientific article; zbMATH DE number 1976855
• Reactive diagnosis of active systems
• A tale of two diagnoses in probabilistic systems

Cited in

(16)

• 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
• Diagnosability enforcement in labeled Petri nets using supervisory control
• What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives
• Accurate approximate diagnosability of stochastic systems
• Optimal constructions for active diagnosis
• scientific article; zbMATH DE number 6707784 (Why is no real title available?)
• Optimal constructions for active diagnosis
• scientific article; zbMATH DE number 1976855 (Why is no real title available?)
• Introduction to Diagnosis of Active Systems
• Diagnosis in infinite-state probabilistic systems
• Analysis and control of timed event graphs in (max,+) algebra for the active localization of time failures
• Active prediction for discrete event systems
• Accurate approximate diagnosis of (controllable) stochastic systems
• Runtime monitors for Markov decision processes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5410662)