Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
From MaRDI portal
Publication:2128087
Recommendations
- Correction to: ``Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
- State estimation and detectability of probabilistic discrete event systems
- Hidden markov models in the problem of detecting attacks on computer networks
- Probability-guaranteed state estimation for nonlinear delayed systems under mixed attacks
- Finite time attack detection and supervised secure state estimation for CPSs with malicious adversaries
- Modeling attack-defense trees' countermeasures using continuous time Markov chains
- Statistical Approach to Detection of Attacks for Stochastic Cyber-Physical Systems
- Secure State Estimation Against Integrity Attacks: A Gaussian Mixture Model Approach
- Attack-Resilient State Estimation for Noisy Dynamical Systems
Cites work
- A linear-time algorithm for testing the truth of certain quantified Boolean formulas
- A theory of timed automata
- Delayed Detectability of Discrete Event Systems
- Detectability in stochastic discrete event systems
- Detectability Measure for State Estimation of Discrete Event Systems
- Detectability of Discrete Event Systems
- Detection and mitigation of classes of attacks in supervisory control systems
- Estimation and inference in discrete event systems. A model-based approach with finite automata
- Event-based state estimation of discrete-state hidden Markov models
- scientific article; zbMATH DE number 3493681 (Why is no real title available?)
- Introduction to Discrete Event Systems
- Markov Chains
- Markov chains. From theory to implementation and experimentation
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
- State estimation and detectability of probabilistic discrete event systems
- State estimation of max-plus automata with unobservable events
- State-based fault diagnosis of discrete-event systems with partially observable outputs
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Verification of detectability in probabilistic finite automata
Cited in
(7)- Correction to: ``Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
- Modeling attack-defense trees' countermeasures using continuous time Markov chains
- Robust algorithm for attack detection based on time‐varying hidden Markov model subject to outliers
- Probabilistic verification of diagnosability for a certain class of timed stochastic systems
- State estimation for constant-time labeled automata under dense time
- State estimation of timed probabilistic discrete event systems via artificial neural networks
- Detectability notions for a class of finite labeled Markovian systems
This page was built for publication: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2128087)
