Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation
Review
. 2015 Feb 26;15(3):4837-69.
doi: 10.3390/s150304837.

The past, present and future of cyber-physical systems: a focus on models

Edward A Lee  1
Affiliations
Review

The past, present and future of cyber-physical systems: a focus on models

Edward A Lee. Sensors (Basel). .

Abstract

This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of the industrial revolution and the digital and information technology revolutions. Key deterministic models that have proven successful include differential equations, synchronous digital logic and single-threaded imperative programs. Cyber-physical systems, however, combine these models in such a way that determinism is not preserved. Two projects show that deterministic CPS models with faithful physical realizations are possible and practical. The first project is PRET, which shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction. The second project is Ptides (programming temporally-integrated distributed embedded systems), which shows that deterministic models for distributed cyber-physical systems have practical faithful realizations. These projects are existence proofs that deterministic CPS models are possible and practical.

PubMed Disclaimer

Figures

Figure 1.
Figure 1.
Structure of a simple cyber-physical system (CPS).
Figure 2.
Figure 2.
Structure of a simple CPS Ptides model.
See this image and copyright information in PMC

References

    1. Wiener N. Cybernetics: Or Control and Communication in the Animal and the Machine. MIT Press; Cambridge, MA, USA: 1948.
    1. Golomb S.W. Mathematical models—Uses and limitations. IEEE Trans. Reliab. 1968;R–20:130–131.
    1. Lee E.A. Constructive Models of Discrete and Continuous Physical Phenomena. IEEE Access. 2014;2:1–25.
    1. Lee E.A., Sangiovanni-Vincentelli A. A Framework for Comparing Models of Computation. IEEE Trans. Comput. Aided Des. Circuits Syst. 1998;17:1217–1229.
    1. Benveniste A., Berry G. The Synchronous Approach to Reactive and Real-Time Systems. IEEE Proc. 1991;79:1270–1282.

LinkOut - more resources