Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)

RV, pp. 35-42, 2018.

Cited by: 0|Bibtex|Views0|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments