The robustness of deep neural networks has received significant interest recently, especially
when being deployed in safety-critical systems, as it is important to analyze how sensitive …

The recent development of cloud computing and edge computing shows great promise for
the Connected and Automated Vehicle (CAV), by enabling CAVs to offload their massive on …

In the current control design of safety-critical autonomous systems, formal verification
techniques are typically applied after the controller is designed to evaluate whether the …

Neural networks are being applied to a wide range of tasks in autonomous systems, such as
perception, prediction, planning, control, and general decision making. While they may …

Authors' addresses: Samarjit Chakraborty, samarjit@ cs. unc. edu, University of North
Carolina at Chapel Hill, Department of Computer Science, 201 S. Columbia St., Chapel Hill …

1 BACKGROUND One might argue that automotive and allied domains like robotics serve
as the best possible examples of what “cyber-physical systems”(CPS) are. Here, the …

The ability to certify the correctness of cyber-physical systems often rely on provisioning
resources to account for worst-case behaviors. For example, timing certification necessitates …

We provide a broad overview of some of the current research directions at the intersection of
embedded systems and computer vision, in addition to introducing the papers appearing in …

With growing system complexity and closer cyber-physical interaction, there are stronger
needs for cyber-physical systems to adapt to the dynamic environment and improve their …