Cyber-physical systems, such as autonomous vehicles, robots, and smart buildings ... however the design and operation of them face tremendous challenges from the rapid increase of system scale and ...