Verification of detectability in probabilistic finite automata

DOI10.1016/j.automatica.2017.08.027zbMath1375.93118OpenAlexW2756653445MaRDI QIDQ1678629

Christoforos Keroglou, Christoforos N. Hadjicostis

Publication date: 17 November 2017

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2017.08.027

zbMATH Keywords

state estimationMarkov modelsfinite automatadiscrete event systems

Mathematics Subject Classification ID

Estimation and detection in stochastic control theory (93E10) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Discrete event control/observation systems (93C65) Cellular automata (computational aspects) (68Q80) Stochastic systems in control theory (general) (93E03)

Related Items

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems ⋮ Reachability and controllability analysis of probabilistic finite automata via a novel matrix method ⋮ Deciding detectability for labeled Petri nets ⋮ State estimation of max-plus automata with unobservable events ⋮ Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ Stabilization of probabilistic finite automata based on semi-tensor product of matrices ⋮ Detectability of labeled weighted automata over monoids

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Detectability in stochastic discrete event systems
• Detectability of discrete event systems with dynamic event observation
• Large deviations techniques and applications.
• On observability of discrete-event systems
• Non-negative matrices and Markov chains.
• State estimation and detectability of probabilistic discrete event systems
• Accurate Approximate Diagnosability of Stochastic Systems
• Observability of discrete event dynamic systems
• Markov Chains
• Distinguishing Hidden Markov Chains
• Diagnosability of discrete-event systems
• Diagnosability of stochastic discrete-event systems
• Detectability of Discrete Event Systems
• Verification of Infinite-Step Opacity and Complexity Considerations