The challenges for mechanisms and applications of cyber-physical systems

Cyber-physical systems represent a third generation platform enabling large scale control systems, after the earlier two generations of analog control and digital control. This new platform poses multiple challenges at many levels to building reliable systems, both at the level of enabling mechanisms as well as in application design and analysis. We will address several problems related to providing guarantees on timeliness of communications, proofs of safety, and design of distributed systems.