Cyberphysical systems (CPSs) are new class of engineered systems that offer close
interaction between cyber and physical components. The field of CPS has been identified as …

Cyber Physical System (CPS) has provided an outstanding foundation to build advanced
industrial systems and applications by integrating innovative functionalities through Internet …

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

Many organizations are develo** autonomous driving systems, which are expected to be
deployed at a large scale in the near future. Despite this, there is a lack of agreement on …

Complex systems such as autonomous cars are typically built as a composition of features
that are independent units of functionality. Features tend to interact and impact one another's …

S-TaLiRo is a Matlab (TM) toolbox that searches for trajectories of minimal robustness in
Simulink/Stateflow diagrams. It can analyze arbitrary Simulink models or user defined …

It is apparent that one cannot rely solely on physical test drives for ensuring the correct
functionality of autonomous vehicles. Since physical test drives are costly and time …

Autonomous vehicles are complex systems that are challenging to test and debug. A
requirements-driven approach to the development process can decrease the resources …

In control theory, complicated dynamics such as systems of (nonlinear) differential equations
are controlled mostly to achieve stability. This fundamental property, which can be with …