Present day autonomous systems are cyber-physical systems (CPS) that involve multi-dimensional interaction between the cyber machine and the operational environment. One of the key aspects of these autonomous systems is that interaction patterns change over the lifetime of usage. Changes in CPS interaction patterns can be unintentional or intentional...

­Background Cyber-physical systems (CPSs) involve complex interacting components including the physical environment and human participants. As such, faulty operation of any CPS sub-component presents serious safety risks. Faulty CPS operation can occur due to several reasons including differences in architectures and sub-optimal implementation....

­Background Safety certification of cyber-physical systems (CPS) such as autonomous vehicles or medical control systems is a complex process that often contends with a lack of transparency between the manufacturer and the certifying authority. The manufacturer may be reluctant to freely share knowledge with the certification authority, with trade...

Background Hybrid systems are versatile in modeling the interaction between the cyber and physical components of cyber-physical control systems (CPS) such as artificial pancreases. They are typically used for analysis of safety of the human-centric control systems which have serious consequences of failure. As such, hybrid systems are parameterized...

Background Self-adaptive predictive (SAP) control is a promising approach to regulating cyber-physical systems (CPS) through continuous adjustment of control parameters and dynamic system modeling. For example, to provide optimized insulin administration, an artificial pancreas system models a patient’s glycemic response by constantly adapting...