Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Lectures on Runtime Verification, pp. 135-175, 2018.

被引用18|引用|浏览31|来源
EI

摘要

The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled by an embedded computational core. The behaviour of a CPS over time is generally characterised by the evolution of physical quantities, and discrete software and hardware states. In general, these can be mathem...更多

代码

数据

您的评分 :
0

 

标签
评论