*banner
 

Safety and Stability of Cyberphysical Systems
Mahesh Viswanathan

Citation
Mahesh Viswanathan. "Safety and Stability of Cyberphysical Systems". Talk or presentation, 28, April, 2015.

Abstract
The widespread deployment of computing devices that manage and control physical processes in safety critical environments, has made their analysis and verification a very important problem. Since formal models that disregard the physical processes tend to be conservative and suboptimal, the most popular way to model and analyze such systems is using hybrid systems, that have finitely many control states to model discrete behavior and finitely many real valued variables that evolve continuously with time to model the interaction with the physical world. Despite considerable progress in the last couple of decades, the automated verification of cyberphysical systems remains stubbornly challenging. Safety and stability are two important classes of properties for cyberphysical systems. In this talk we will address key foundational questions arising in the verification of such properties and outline our approach based on analyzing system simulations.

Electronic downloads

Citation formats  
  • HTML
    Mahesh Viswanathan. <a
    href="http://chess.eecs.berkeley.edu/pubs/1100.html"
    ><i>Safety and Stability of Cyberphysical
    Systems</i></a>, Talk or presentation,  28,
    April, 2015.
  • Plain text
    Mahesh Viswanathan. "Safety and Stability of
    Cyberphysical Systems". Talk or presentation,  28,
    April, 2015.
  • BibTeX
    @presentation{Viswanathan15_SafetyStabilityOfCyberphysicalSystems,
        author = {Mahesh Viswanathan},
        title = {Safety and Stability of Cyberphysical Systems},
        day = {28},
        month = {April},
        year = {2015},
        abstract = {The widespread deployment of computing devices
                  that manage and control physical processes in
                  safety critical environments, has made their
                  analysis and verification a very important
                  problem. Since formal models that disregard the
                  physical processes tend to be conservative and
                  suboptimal, the most popular way to model and
                  analyze such systems is using hybrid systems, that
                  have finitely many control states to model
                  discrete behavior and finitely many real valued
                  variables that evolve continuously with time to
                  model the interaction with the physical world.
                  Despite considerable progress in the last couple
                  of decades, the automated verification of
                  cyberphysical systems remains stubbornly
                  challenging. Safety and stability are two
                  important classes of properties for cyberphysical
                  systems. In this talk we will address key
                  foundational questions arising in the verification
                  of such properties and outline our approach based
                  on analyzing system simulations.},
        URL = {http://chess.eecs.berkeley.edu/pubs/1100.html}
    }
    

Posted by Sadigh Dorsa on 29 Apr 2015.
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