Discrete Hybrid Automata for Safe Cyber-physical System: An Astronautic Case Study.

Qiang Wang Gang Yang Xingshe Zhou Yalei Yang

Published in: DASC (2013)

Keyphrases

hybrid automata
case study
cyber physical systems
finite state automata
real world
cyber security
critical infrastructure
real time
network management
smart grid