Citation
Edward A. Lee. "Fundamental Limits of Cyber-Physical Systems Modeling". ACM Transactions on Cyber-Physical Systems, 1(1), November 2016.

Abstract
This paper examines the role of modeling in the engineering of cyber-physical systems. It argues that the role that models play in engineering is different from the role they play in science, and that this difference should direct us to use a different class of models, where simplicity and clarity of semantics dominate over accuracy and detail. I argue that determinism in models that are used for engineering is a valuable property and should be preserved whenever possible, regardless of whether the system being modeled is deterministic. I then identify three classes of fundamental limits on modeling, specifically chaotic behavior, the inability of computers to numerically handle a continuum, and the incompleteness of determinism. The last of these has profound consequences.

Electronic downloads

• Lee_FundamentalLimits_AuthorsProof.pdf · application/x-octet-stream · 2057 kbytes
• https://doi.org/10.1145/2912149

• HTML

  Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/1183.html"
  >Fundamental Limits of Cyber-Physical Systems
  Modeling</a>, <i>ACM Transactions on
  Cyber-Physical Systems</i>, 1(1), November 2016.

• Plain text

  Edward A. Lee. "Fundamental Limits of Cyber-Physical
  Systems Modeling". <i>ACM Transactions on
  Cyber-Physical Systems</i>, 1(1), November 2016.

• BibTeX

  @article{Lee16_FundamentalLimitsOfCyberPhysicalSystemsModeling,
      author = {Edward A. Lee},
      title = {Fundamental Limits of Cyber-Physical Systems
                Modeling},
      journal = {ACM Transactions on Cyber-Physical Systems},
      volume = {1},
      number = {1},
      month = {November},
      year = {2016},
      abstract = {This paper examines the role of modeling in the
                engineering of cyber-physical systems. It argues
                that the role that models play in engineering is
                different from the role they play in science, and
                that this difference should direct us to use a
                different class of models, where simplicity and
                clarity of semantics dominate over accuracy and
                detail. I argue that determinism in models that
                are used for engineering is a valuable property
                and should be preserved whenever possible,
                regardless of whether the system being modeled is
                deterministic. I then identify three classes of
                fundamental limits on modeling, specifically
                chaotic behavior, the inability of computers to
                numerically handle a continuum, and the
                incompleteness of determinism. The last of these
                has profound consequences.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1183.html}
  }
  

Posted by Mary Stewart on 17 Oct 2016.
Groups: actionwebs
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.