Model Predictive Online Monitoring of Dynamical Systems for Nested Signal Temporal Logic Specifications

Tao Han, Shaoyuan Li, Xiang Yin

This paper investigates the online monitoring problem for cyber-physical systems under signal temporal logic (STL) specifications. The objective is to design an online monitor that…