University of California at Berkeley

file

Visible to the public Verifiable Active Safety for Automotive Cyber-Physical Systems with Humans in the Loop

A recent trend in the automotive industry is the rapid inclusion of electronics, computers and controls that focus entirely on improved functionality and overall system robustness. This makes the automotive sector one of the richest targets for emerging innovations in Cyber-Physical Systems (CPS) [1]. While this trend has affected all of the vehicle areas, there is a particular interest in active safety that effectively complements passive safety. Passive safety is focused on the structural integrity of the vehicle.

file

Visible to the public A Network Architecture for Localized Electrical Energy Reduction, Generation and Sharing

The objective of this research is to understand how pervasive information changes energy production, distribution and use. The design of a more scalable and flexible electric infrastructure, encouraging efficient use, integrating local generation, and managing demand through awareness of energy availability and use over time, is investigated. The approach is to develop a cyber overlay on the energy distribution system in its physical manifestations: machine rooms, buildings, neighborhoods, isolated generation islands and regional grids.

file

Visible to the public ActionWebs

The objective of this research is to develop a theory of ?ActionWebs?, that is, networked embedded sensor-rich systems, which are taskable for coordination of multiple decision-makers. The approach is to first identify models of ActionWebs using stochastic hybrid systems, an interlinking of continuous dynamical physical models with discrete state representations of interconnection and computation. Second, algorithms will be designed for tasking individual sensors, based on information objectives for the entire system.

file

Visible to the public Active Safety Control in Automotive Cyber‐Physical Systems

The objective of this research is to study the formal design and verification of advanced vehicle dynamics control systems. The approach is to consider the vehicle-driver-road system as a cyber-physical system (CPS) by focusing on three critical components: (i) the tire-road interaction; (ii) the driver-vehicle interaction; and (iii) the controller design and validation.