Accurate Approximate Diagnosability of Stochastic Systems

DOI10.1007/978-3-319-30000-9_42zbMath1443.68082OpenAlexW2287018958MaRDI QIDQ2798748

Engel Lefaucheux, Nathalie Bertrand, Serge Haddad

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

program verificationautomata for system analysis

Mathematics Subject Classification ID

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

Related Items (7)

Accurate approximate diagnosis of (controllable) stochastic systems ⋮ Diagnosability of fair transition systems ⋮ Verification of detectability in probabilistic finite automata ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Unnamed Item ⋮ Selective monitoring ⋮ A tale of two diagnoses in probabilistic systems

This page was built for publication: Accurate Approximate Diagnosability of Stochastic Systems