Xiaoxiang Zhai

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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