Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)
RV, pp. 35-42, 2018.
Signal Temporal Logic (STL) is a popular specification language to reason about continuous-time trajectories of dynamical systems. STL was originally employed to specify and to monitor requirements over the temporal evolution of physical quantities and discrete states characterizing the behavior of cyber-physical systems (CPS). More recen...More
Full Text (Upload PDF)
PPT (Upload PPT)