Citation
Jerry Ding, Jeremy Gillula, Huang Haomiao, Michael Vitus, Claire Tomlin. "Robust Hybrid and Embedded Systems Design". Talk or presentation, 2, December, 2009; Presented at the Year 3 Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.

Abstract
(No abstract.)

Electronic downloads

• RobustHybridAndEmbeddedSystemDesignDesign_Tomlin_HCDDES_MURI_Dec09.ppt · download/application/vnd.ms-powe · 3223 kbytes

• HTML

  Jerry Ding, Jeremy Gillula, Huang Haomiao, Michael Vitus,
  Claire Tomlin. <a
  href="http://chess.eecs.berkeley.edu/pubs/626.html"><i>Robust
  Hybrid and Embedded Systems Design</i></a>, Talk
  or presentation,  2, December, 2009; Presented at the Year 3
  Multidisciplinary University Research Initiative (MURI)
  projects on <a
  href="http://chess.eecs.berkeley.edu/hcddes"
  >High-Confidence Design for Distributed Embedded Systems
  (HCDDES)</a> review, Berkeley CA.

• Plain text

  Jerry Ding, Jeremy Gillula, Huang Haomiao, Michael Vitus,
  Claire Tomlin. "Robust Hybrid and Embedded Systems
  Design". Talk or presentation,  2, December, 2009;
  Presented at the Year 3 Multidisciplinary University
  Research Initiative (MURI) projects on <a
  href="http://chess.eecs.berkeley.edu/hcddes"
  >High-Confidence Design for Distributed Embedded Systems
  (HCDDES)</a> review, Berkeley CA.

• BibTeX

  @presentation{DingGillulaHaomiaoVitusTomlin09_RobustHybridEmbeddedSystemsDesign,
      author = {Jerry Ding and Jeremy Gillula and Huang Haomiao
                and Michael Vitus and Claire Tomlin},
      title = {Robust Hybrid and Embedded Systems Design},
      day = {2},
      month = {December},
      year = {2009},
      note = {Presented at the Year 3 Multidisciplinary
                University Research Initiative (MURI) projects on
                <a href="http://chess.eecs.berkeley.edu/hcddes"
                >High-Confidence Design for Distributed Embedded
                Systems (HCDDES)</a> review, Berkeley CA.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/626.html}
  }
  

Posted by Christopher Brooks on 3 Dec 2009.
Groups: hcddes
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.