*banner
 

Fundamental Limits of Cyber-Physical Systems Modeling
Edward A. Lee

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2017 Chess