Accurate approximate diagnosability of stochastic systems

DOI10.1007/978-3-319-30000-9_42MaRDI QIDQ2798748zbMATH OpenOpenAlexFDO

Authors Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Publication date 13 April 2016

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

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

zbMATH Keywords

automata for system analysisprogram verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Discrete event control/observation systems (93C65)

Recommendations

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

Cited in

(11)

• Verification of detectability in probabilistic finite automata
• Diagnosability of fair transition systems
• Diagnosis and degradation control for probabilistic systems
• Selective monitoring
• A tale of two diagnoses in probabilistic systems
• scientific article; zbMATH DE number 6707784 (Why is no real title available?)
• Diagnosis in infinite-state probabilistic systems
• Selective monitoring
• On approximate diagnosability of metric systems
• Probabilistic verification of diagnosability for a certain class of timed stochastic systems
• Accurate approximate diagnosis of (controllable) stochastic systems

This page was built for publication: Accurate approximate diagnosability of stochastic systems

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