University of California Berkeley
video
Submitted by tripakis on Mon, 02/15/2016 - 12:03am
file
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
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
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
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
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
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.