Estimating the latent time of fault detection in finite automaton tested in real time

DOI10.1134/S000511790810010XMaRDI QIDQ1003066zbMATH OpenFDO

Authors J. Martínez

Publication date 26 February 2009

Published in Automation and Remote Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S000511790810010X

zbMATH Keywords

automaton characteristicsfault detection in finite automataMarkov chain

Mathematics Subject Classification ID

Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Control/observation systems involving computers (process control, etc.) (93C83) Estimation and detection in stochastic control theory (93E10)

Recommendations

• Foundations of Software Science and Computational Structures
• Fault diagnosis for timed automata
• scientific article; zbMATH DE number 3499657
• Testing real-time systems using determinization techniques for automata over timed domains
• Fault localization of timed automata using maximum satisfiability
• A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data
• The power of reachability testing for timed automata
• Testing from a stochastic timed system with a fault model

Cites work

• Excessive functions of continuous time Markov chains
• scientific article; zbMATH DE number 3349081 (Why is no real title available?)
• The Error Latency of a Fault in a Sequential Digital Circuit

This page was built for publication: Estimating the latent time of fault detection in finite automaton tested in real time

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