Periodic Reporting for period 4 - AutoCPS (Automated Synthesis of Cyber-Physical Systems: A Compositional Approach)

Large-scale cyber-physical systems (CPS) have transformed many aspects of our lives--from engine control in automobiles and airplanes, to robotic swarms, building management, and integrated medical devices. Embedded control software plays a significant role in CPS by...