Incremental Online Verification of Dynamic Cyber-Physical Systems.

Lei Bu Shaopeng Xing Xinyue Ren Yang Yang Qixin Wang Xuandong Li

Published in: DATE (2019)

Keyphrases

cyber physical systems
real time
cyber physical
decision making
sensor networks
data processing
intrusion detection