*banner
 

CPS Foundations
Edward A. Lee

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

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

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-2014 Chess