Login / Signup

Spatio-temporal Hybrid Automata for Cyber-Physical Systems.

Zhucheng ShaoJing 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