UC Berkeley


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

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.


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


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.


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 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.


Visible to the public Foundations Of Resilient CybEr-physical Systems (FORCES)


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.


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

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