Spatio-temporal hybrid automata for safe cyber-physical systems: a medical case study.

Ayan Banerjee Sandeep K. S. Gupta

Published in: ICCPS (2013)

Keyphrases

hybrid automata
spatio temporal
case study
cyber physical systems
cyber physical
finite state automata
cyber security
physical world
software development
real world
social networks
embedded systems
smart grid
intrusion detection