UC Berkeley

file

Visible to the public CPS: Synergy: Collaborative Research: Efficient Traffic Management: A Formal Methods Approach

Submitted by arcak on Wed, 11/29/2017 - 5:20pm. Contributors:

This project is developing tools for traffic management and control using formal methods. By applying techniques such as model-checking and correct-byconstruction synthesis, we ensure that traffic flow satisfies high-level objectives expressed using temporal logics that guarantee desirable behavior such as avoiding congestion, maintaining high throughput, ensuring fairness of ramp metering strategies, and reacting to incidents or unexpected conditions.

file

Visible to the public Fundamental Limits of Cyber-Physical Systems Modeling

Submitted by Katie Dey on Tue, 07/12/2016 - 3:45pm. Contributor:

ABSTRACT

To model and design CPS systems, we must combine models for software, networks, and physical dynamics. Such combined models are fraught with subtlety because of the mixture of continuous dynamics and discrete behaviors. In this talk, I discuss some fundamental limits, which cannot be overcome by any modeling technique. Specifically, chaos, the inability to computationally model a continuum, and the incompleteness of determinism limit the predictive power of models.

file

Visible to the public ActionWebs

Submitted by Claire Tomlin on Mon, 11/10/2014 - 4:16pm. Contributors:

Abstract:

The objective of this research is to develop a theory of "ActionWebs", that is, networked embedded sensor-rich systems, which can be tasked to coordinate 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 Foundations Of Resilient CybEr-physical Systems (FORCES)

Submitted by lrohrbough on Mon, 11/10/2014 - 1:44pm. Contributors:

Abstract:

Cyber-Physical Systems (CPS) are being increasingly deployed in critical infrastructures such as electric-power, water, transportation, and other networks. These deployments are facilitating real-time monitoring and closed-loop control by exploiting the advances in wireless sensor-actuator networks, the internet of "everything," data-driven analytics, and machine-to-machine interfaces. CPS operations depend on the synergy of computational and physical components.

video

Visible to the public Cyber-Physical Systems: A Rehash or A New Intellectual Challenge?

Submitted by Edward Lee on Wed, 08/14/2013 - 3:55pm

Invited Talk in the Distinguished Speaker Series
Sponsored by the IEEE Council on Electronic Design Automation (CEDA)
Held at the Design Automation Conference (DAC)

Abstract