A tale of two diagnoses in probabilistic systems

DOI10.1016/J.IC.2019.104441MaRDI QIDQ2280320zbMATH OpenOpenAlexWikidataFDO

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)