| Cyber-Physical Systems (CPSs) are complex engineered systems in which digital computation devices interact with the physical world. Boosted by recent advances in computation, communication, and sensing technologies these systems are becoming increasingly ubiquitous. Cyber-Physical Systems exhibit complex behaviors stemming from intricate interactions between the physical world and computation devices. The increasing presence of CPSs in life critical applications combined with the inability of current methodologies to analyze these systems urges the development of new approaches for analysis and design. Moreover, these new techniques, yet to be developed, are required to deliver CPSs that are both efficient and operate correctly under a wide range of circumstances. This is one of the greatest challenges faced by the cyber-physical systems community. In this thesis I present my contributions to the solution of this problem through two complementary techniques: I provide efficient implementations of decentralized control systems over wireless sensor/actuator networks while guaranteeing operational performance: and I provide automated tools for the synthesis of correct-by-design embedded controllers considering time optimality requirements. |
