Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection

DOI10.1007/s10626-021-00348-yzbMath1489.93121OpenAlexW3197442817MaRDI QIDQ2128087

Alessandro Giua, Christoforos N. Hadjicostis, Dimitri Lefebvre, Carla Seatzu

Publication date: 21 April 2022

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-021-00348-y

zbMATH Keywords

observersMarkov modelsfinite state automatacyber-attack detection

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Estimation and detection in stochastic control theory (93E10) Networked control (93B70) Observers (93B53)

Related Items (2)

Probabilistic verification of diagnosability for a certain class of timed stochastic systems ⋮ Correction to: ``Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Detectability in stochastic discrete event systems
• Event-based state estimation of discrete-state hidden Markov models
• A linear-time algorithm for testing the truth of certain quantified Boolean formulas
• A theory of timed automata
• Verification of detectability in probabilistic finite automata
• Detection and mitigation of classes of attacks in supervisory control systems
• Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
• State-based fault diagnosis of discrete-event systems with partially observable outputs
• Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
• State estimation of max-plus automata with unobservable events
• State estimation and detectability of probabilistic discrete event systems
• Introduction to Discrete Event Systems
• Markov Chains
• Detectability Measure for State Estimation of Discrete Event Systems
• Estimation and Inference in Discrete Event Systems
• Detectability of Discrete Event Systems
• Delayed Detectability of Discrete Event Systems
• Markov Chains

This page was built for publication: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection