Login / Signup
Spatio-temporal Hybrid Automata for Cyber-Physical Systems.
Zhucheng Shao
Jing Liu
Published in:
ICTAC (2013)
Keyphrases
</>
hybrid automata
cyber physical systems
spatio temporal
cyber physical
finite state automata
physical world
cyber security
embedded systems
social networks
real time
critical infrastructure