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

• main.beamer.pdf · application/pdf · 2359 kbytes

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