Model predictive monitoring of dynamical systems for signal temporal logic specifications
Xinyi Yu, Weijie Dong, Shaoyuan Li, Xiang Yin
Topics & Concepts
Computer scienceTemporal logicKey (lock)ComputationDynamical systems theoryState (computer science)SIGNAL (programming language)Linear temporal logicDynamical system (definition)Theoretical computer scienceAlgorithmProgramming languageComputer securityQuantum mechanicsPhysicsFormal Methods in VerificationSoftware Reliability and Analysis ResearchSoftware Testing and Debugging Techniques