*banner
 

Overview of CHESS (Center for Hybrid and Embedded Software Systems)
Edward A. Lee, Claire Tomlin

Citation
Edward A. Lee, Claire Tomlin. "Overview of CHESS (Center for Hybrid and Embedded Software Systems)". Talk or presentation, 30, March, 2009; Supercedes "Center for Hybrid and Embedded Software Systems (CHESS) Overview.

Abstract
An overview of the Center for Hybrid and Embedded Software Systems (CHESS) that includes overviews of some of the CHESS projects: Cyber-Physical Systems (CPS), Precision Timed (PRET) Machines, Programming Temporally Integrated Distributed Embedded Systems (PTIDES) and Air Traffic Control. The CHESS business model is also covered.

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee, Claire Tomlin. <a
    href="http://chess.eecs.berkeley.edu/pubs/541.html"><i>Overview
    of CHESS (Center for Hybrid and Embedded Software
    Systems)</i></a>, Talk or presentation,  30,
    March, 2009; Supercedes "<a
    href="http://chess.eecs.berkeley.edu/pubs/536.html"
    >Center for Hybrid and Embedded Software Systems (CHESS)
    Overview</a>.
  • Plain text
    Edward A. Lee, Claire Tomlin. "Overview of CHESS
    (Center for Hybrid and Embedded Software Systems)".
    Talk or presentation,  30, March, 2009; Supercedes
    "<a
    href="http://chess.eecs.berkeley.edu/pubs/536.html"
    >Center for Hybrid and Embedded Software Systems (CHESS)
    Overview</a>.
  • BibTeX
    @presentation{LeeTomlin09_OverviewOfCHESSCenterForHybridEmbeddedSoftwareSystems,
        author = {Edward A. Lee and Claire Tomlin},
        title = {Overview of CHESS (Center for Hybrid and Embedded
                  Software Systems)},
        day = {30},
        month = {March},
        year = {2009},
        note = {Supercedes "<a
                  href="http://chess.eecs.berkeley.edu/pubs/536.html"
                  >Center for Hybrid and Embedded Software Systems
                  (CHESS) Overview</a>.},
        abstract = {An overview of the Center for Hybrid and Embedded
                  Software Systems (CHESS) that includes overviews
                  of some of the CHESS projects: Cyber-Physical
                  Systems (CPS), Precision Timed (PRET) Machines,
                  Programming Temporally Integrated Distributed
                  Embedded Systems (PTIDES) and Air Traffic Control.
                  The CHESS business model is also covered. },
        URL = {http://chess.eecs.berkeley.edu/pubs/541.html}
    }
    

Posted by Christopher Brooks on 31 Mar 2009.
Groups: chess
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.

©2002-2018 Chess