A tale of two diagnoses in probabilistic systems

DOI10.1016/J.IC.2019.104441MaRDI QIDQ2280320zbMATHOpenAlexWikidataFDO

Authors Nathalie Bertrand, Engel Lefaucheux, Serge Haddad

Publication date 18 December 2019

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-02430814/file/main.pdf

zbMATH Keywords

Markov chainsprobabilistic transition systemspartial observationfault diagnosis

Mathematics Subject Classification ID

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) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Accurate approximate diagnosability of stochastic systems
• Accurate approximate diagnosis of (controllable) stochastic systems
• scientific article; zbMATH DE number 6707784
• Diagnosis in infinite-state probabilistic systems
• Active Diagnosis for Probabilistic Systems

Cites work

• scientific article; zbMATH DE number 6707784 (Why is no real title available?)
• scientific article; zbMATH DE number 3371972 (Why is no real title available?)
• A polynomial algorithm for testing diagnosability of discrete-event 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
• Diagnosability of discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Diagnosis in infinite-state probabilistic systems
• Distinguishing hidden Markov chains
• Fault diagnosis with static and dynamic observers
• On the total variation distance of labelled Markov chains
• Optimal constructions for active diagnosis
• The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languages

Cited in

(14)

• Accurate approximate diagnosis of (controllable) stochastic systems
• Runtime monitors for Markov decision processes
• Active Diagnosis for Probabilistic Systems
• On approximate diagnosability of metric systems
• Special issue: selected papers of the 10th international conference on language and automata theory and applications, LATA 2016
• Diagnosis in infinite-state probabilistic systems
• Searching for ribbon-shaped paths in fair transition systems
• Probabilistic verification of diagnosability for a certain class of timed stochastic systems
• scientific article; zbMATH DE number 6707784 (Why is no real title available?)
• State observation and diagnosis of discrete-event systems described by stochastic automata
• Diagnosability of fair transition systems
• Accurate approximate diagnosability of stochastic systems
• Diagnosability of fault patterns with labeled stochastic Petri nets
• Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective

This page was built for publication: A tale of two diagnoses in probabilistic systems

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