UCLA

file

Visible to the public CPS-VO: Active Resources

Explanation of Demonstration: The central objective of the proposed research is to transform the CPS-VO from a collaboration platform and passive repository of information into an active resource that provides access to tools and methods emerging from the CPS research community. The project will make a significant contribution to education via support to student competitions that will help prepare a new generation of students who will be inspired and trained to realize the promise of CPS.

file

Visible to the public Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Abstract:

This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.

file

Visible to the public Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

Abstract:

This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save hu- man lives.

file

Visible to the public Foundations of Secure Cyber Physical Systems

Abstract:

Cyber-physical systems regulating critical infrastructures, such as electrical grids and water networks, are increasingly geographically distributed, necessitating communication between remote sensors, actuators and controllers. The combination of networked computational and physical sub- systems leads to new security vulnerabilities that adversaries can exploit with devastating consequences.

file

Visible to the public ROSELINE: Enabling Robust, Secure and Efficient Knowledge of Time Across the System Stack

Abstract:

Central to the operation of cyber-physical systems (CPS) is accurate and reliable knowledge of time, both for meaningfully sensing and controlling the physical world state and for correct, high-performance and energy-efficient orchestration of computing and communication operations. Emerging applications that seek to control agile physical processes or depend on precise knowledge of time to infer location and coordinate communication, make use of time with diverse semantics and dynamic quality requirements.