Cyber-Physical Systems (CPSs) are increasingly prevalent across various industrial and
daily-life domains, with applications ranging from robotic operations to autonomous driving …

Learning-enabled controllers have been adopted in various cyber-physical systems (CPS).
When a learning-enabled controller fails to accomplish its task from a set of initial states …

Cyber-Physical Systems (CPSs) combine digital cyber technologies with physical
processes. As in any other software system, in the case of CPSs, the use of Artificial …

Learning-based methods provide a promising approach to solving highly non-linear control
tasks that are often challenging for classical control methods. To ensure the satisfaction of a …

Given the increasing adoption of modern AI-enabled control systems, ensuring their safety
and reliability has become a critical task in software testing. One prevalent approach to …

Stateflow models are widely used in the industry to model the high-level control logic of
Cyber-Physical Systems (CPSs) in Simulink--the defacto CPS simulator. Many approaches …