Cyber-Physical Systems
Cyber-Physical Systems (CPS) are integrations of computation, networking, and physical processes. Embedded computers and networks monitor and control the physical processes, with feedback loops where physical processes affect computations and vice versa. The economic and societal potential of such systems is vastly greater than what has been realized, and major investments are being made worldwide to develop the technology. The technology builds on the older (but still very young) discipline of embedded systems, computers and software embedded in devices whose principle mission is not computation, such as cars, toys, medical devices, and scientifi c instruments. CPS integrates the dynamics of the physical processes with those of the software and networking, providing abstractions and modeling, design, and analysis techniques for the integrated whole.
Click on icons above for details. Please send comments, suggestions, and links to eal@eecs.berkeley.edu. Alternatively, you can download and run the above model in Ptolemy II. Just point Vergil (the Ptolemy II visual editor) to http://CyberPhysicalSystems.org/CPSConceptMap.xml.
As a discipline, CPS is an engineering discipline, focused on technology, with a strong foundation in mathematical abstractions. The key technical challenge is to conjoin abstractions that have evolved over centuries for modeling physical processes (differential equations, stochastic processes, etc.) with abstractions that have evolved over decades in computer science (algorithms and programs, which provide a "procedural epistemology" [Abelson and Sussman]). The former abstractions focus on dynamics (evolution of system state over time), whereas the latter focus on processes of transforming data. Computer science, as rooted in the Turing-Church notion of computability, abstracts away core physical properties, particularly the passage of time, that are required to include the dynamics of the physical world in the domain of discourse.
Online talks about CPS
- Models of Timed Systems, Mälardalens University, Västerâs, Sweden, Sep. 26, 2018.
- Resurrecting Laplace's Demon: The Case for Deterministic Models, CS Distinguished Speaker Series, Univ. of Houston, Nov. 8, 2017.
- What Does 'Real Time' Mean? Simons Institute, UC Berkeley, June 28, 2016.
- The Internet of Important Things, Reykjavik University, June 16, 2016.
- Cyber-Physical Systems: A Fundamental Intellectual Challenge, College de France, Paris, France, Dec. 11, 2013..
- 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), June 4, 2013, Austin, Texas.
Berkeley CPS Activities
At Berkeley, iCyPhy, the Industrial Cyber-Physical Systems consortium, is pursuing foundational research in the abstractions and analytical techniques of CPS. Some of the projects addressing this problem:
Some specific research products relevant to CPS:
- Lingua Franca
- Ptolemy II Software Framework
- PTIDES programming model for distributed real-time systems
- Precision Timed (PRET) machines