Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems.
Bingzhuo ZhongClaudius JordanJulien ProvostPublished in: ACM Trans. Cyber Phys. Syst. (2021)
Keyphrases
- temporal logic
- cyber physical systems
- model checking
- modal logic
- cyber physical
- real time
- concurrent systems
- belief revision
- physical world
- monitoring system
- dynamic constraints
- formal semantics
- qualitative and quantitative
- verification method
- embedded systems
- linear temporal logic
- temporally extended goals
- computation tree logic
- qualitative differential equations
- epistemic logic