Thesiss

Cyber-physical systems (CPS) are rapidly revolutionizing our economy and society in domains including agriculture, health care, transportation, manufacturing, etc. Many CPS are designed for and expected to be deployed in safety-critical applications, including, for instance, pow…