Scenario-Based Behavioral Nonexistent Consistency Checking for Cyber-Physical Systems.

Yan Zhang Xiangwei Liu Jin Shi Tian Zhang Zhuzhong Qian

Published in: IMIS (2014)

Keyphrases

consistency checking
cyber physical systems
cyber physical
physical world
cyber security
temporal constraints
query answering
temporal reasoning
embedded systems
social networks
intrusion detection
databases
search space
data collection
critical infrastructure
path consistency