Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.

Björn Andersson Sagar Chaki Dionisio de Niz

Published in: RV (2017)

Keyphrases

cyber physical systems
cyber physical
physical world
real time
wireless sensor networks
computational intelligence
low cost
decision support system
data collection
intrusion detection
cost effective
network traffic
embedded systems