Xiaoxiang Zhai

Learn More
In CPS (cyber-physical systems), computation is integrated with physical processes, computer system is used to monitor and interact with the physical world to realize maximization of benefit and usage. The model and verification for cyber physical systems are two important and challenge problems because CPS has not only heterogeneous nature but also very(More)
  • 1