Citation
Edward A. Lee. "CPS Foundations". Proc. of the 47th Design Automation Conference (DAC), ACM, 737-742, June, 2010.

Abstract
This paper argues that cyber-physical systems present a substantial intellectual challenge that requires changes in both theories of computation and dynamical systems theory. The CPS problem is not the union of cyber and physical problems, but rather their intersection, and as such it demands models that embrace both. Two complementary approaches are identified: cyberizing the physical (CtP) means to endow physical subsystems with cyber-like abstractions and interfaces; and physicalizing the cyber (PtC) means to endow software and network components with abstractions and interfaces that represent their dynamics in time.

Electronic downloads

• http://dx.doi.org/10.1145/1837274.1837462

• HTML

  Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/804.html"
  >CPS Foundations</a>, Proc. of the 47th Design
  Automation Conference (DAC), ACM, 737-742, June, 2010.

• Plain text

  Edward A. Lee. "CPS Foundations". Proc. of the
  47th Design Automation Conference (DAC), ACM, 737-742, June,
  2010.

• BibTeX

  @inproceedings{Lee10_CPSFoundations,
      author = {Edward A. Lee},
      title = {CPS Foundations},
      booktitle = {Proc. of the 47th Design Automation Conference
                (DAC)},
      organization = {ACM},
      pages = {737-742},
      month = {June},
      year = {2010},
      abstract = {This paper argues that cyber-physical systems
                present a substantial intellectual challenge that
                requires changes in both theories of computation
                and dynamical systems theory. The CPS problem is
                not the union of cyber and physical problems, but
                rather their intersection, and as such it demands
                models that embrace both. Two complementary
                approaches are identified: cyberizing the physical
                (CtP) means to endow physical subsystems with
                cyber-like abstractions and interfaces; and
                physicalizing the cyber (PtC) means to endow
                software and network components with abstractions
                and interfaces that represent their dynamics in
                time.},
      URL = {http://chess.eecs.berkeley.edu/pubs/804.html}
  }
  

Posted by Mary Stewart on 7 Feb 2011.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.