Specification,Verification and Synthesis of Networked Control Systems
Richard Murray

Citation
Richard Murray. "Specification,Verification and Synthesis of Networked Control Systems". Talk or presentation, 29, January, 2013; Presented at the TerraSwarm Kickoff, Berkeley.

Abstract
(No abstract.)

Electronic downloads


Internal. This publication has been made accessible by the author to only members in the following group(s): , so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Richard Murray. <a
    href="http://www.terraswarm.org/pubs/18.html"><i>Specification,Verification
    and Synthesis of Networked Control
    Systems</i></a>, Talk or presentation,  29,
    January, 2013; Presented at the <a
    href="http://www.terraswarm.org/conferences/13/kickoff/"
    >TerraSwarm Kickoff</a>, Berkeley.
  • Plain text
    Richard Murray. "Specification,Verification and
    Synthesis of Networked Control Systems". Talk or
    presentation,  29, January, 2013; Presented at the <a
    href="http://www.terraswarm.org/conferences/13/kickoff/"
    >TerraSwarm Kickoff</a>, Berkeley.
  • BibTeX
    @presentation{Murray13_SpecificationVerificationandSynthesisOfNetworkedControl,
        author = {Richard Murray},
        title = {Specification,Verification and Synthesis of
                  Networked Control Systems},
        day = {29},
        month = {January},
        year = {2013},
        note = {Presented at the <a
                  href="http://www.terraswarm.org/conferences/13/kickoff/"
                  >TerraSwarm Kickoff</a>, Berkeley.},
        abstract = {(No abstract.)},
        URL = {http://terraswarm.org/pubs/18.html}
    }
    

Posted by Christopher Brooks on 29 Jan 2013.

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.