University of California Berkeley

file

Visible to the public Efficient Traffic Management - A Formal Methods Approach

Abstract:

This project is developing a formal methods approach to meet temporal logic specifications in traffic control. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction. We have uncovered two key structural properties of traffic networks that make them amenable to this approach.

file

Visible to the public Compositional System Modeling with Interfaces (COSMOI)

Abstract:

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, nd defects, and improve their designs before the system is built, thus greatly reducing the design costs.

file

Visible to the public Coordinated Resource Management of Cyber-Physical-Social Power Systems

Abstract:

Large-scale critical infrastructure systems, including energy and transportation networks, comprise millions of individual elements (human, software and hardware) whose actions may be inconsequential in isolation but profoundly important in aggregate. The focus of this project is on the coordination of these elements via ubiquitous sensing, communications, computation, and control, with an emphasis on the electric grid.

file

Visible to the public Efficient Traffic Management: A Formal Methods Approach

Abstract:

The objective of this project is to develop a formal methods approach to traffic management. Formal methods is an area of computer science that develops efficient techniques for proving the correct operation of systems, such as computer programs and digital circuits, and for designing systems that are correct by construction.

file

Visible to the public Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop

Abstract:

This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges in driver behavior and environment reconstruction.

file

Visible to the public Software Defined Buildings

Abstract:

The SDB project seeks to design, engineer, and evaluate the foundational information substrate for cyberphysical systems in a concrete, canonical form - creation of efficient, agile, model- driven, human-centered building systems. Modern commercial buildings provide increasingly integrated Building Management Systems, but are typically closed or based on proprietary interfaces, are difficult to extend, and it is expensive to add new capabilities.