A tale of two diagnoses in probabilistic systems

DOI10.1016/J.IC.2019.104441zbMATH Open1435.68212OpenAlexW2969595064WikidataQ127334661 ScholiaQ127334661MaRDI QIDQ2280320FDOQ2280320

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

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

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)

Cites Work

• Title not available (Why is that?)
• Active Diagnosis for Probabilistic Systems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Title not available (Why is that?)
• Fault diagnosis with static and dynamic observers
• Active diagnosis of discrete-event systems
• Diagnosability of discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Active acquisition of information for diagnosis and supervisory control of discrete event systems
• On the total variation distance of labelled Markov chains
• Accurate Approximate Diagnosability of Stochastic Systems
• Title not available (Why is that?)
• Distinguishing Hidden Markov Chains
• The computational complexity of universality problems for prefixes, suffixes, factors, and subwords of regular languages
• Diagnosis in Infinite-State Probabilistic Systems

Cited In (9)

• Special issue: selected papers of the 10th international conference on language and automata theory and applications, LATA 2016
• Accurate approximate diagnosis of (controllable) stochastic systems
• Runtime monitors for Markov decision processes
• State observation and diagnosis of discrete-event systems described by stochastic automata
• Active Diagnosis for Probabilistic Systems
• Probabilistic verification of diagnosability for a certain class of timed stochastic systems
• Diagnosability of fault patterns with labeled stochastic Petri nets
• Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective
• Title not available (Why is that?)

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)