Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection
Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua
Topics & Concepts
UnobservableProbabilistic logicSequence (biology)State (computer science)Markov chainHidden Markov modelMarkov processConsistency (knowledge bases)Computer scienceObserver (physics)AlgorithmObservableObservabilityMarkov modelMathematicsApplied mathematicsArtificial intelligenceStatisticsMachine learningEconometricsQuantum mechanicsBiologyPhysicsGeneticsSmart Grid Security and ResiliencePetri Nets in System ModelingFormal Methods in Verification