• DocumentCode
    3733223
  • Title

    How to prove hybrid systems and why that matters

  • Author

    Andr? Platzer

  • Author_Institution
    Logical Systems Lab, Computer Science Department, Carnegie Mellon University, Pittsburgh, USA
  • fYear
    2015
  • Firstpage
    1
  • Lastpage
    2
  • Abstract
    This invited talk provides a brief exposition how hybrid systems proving works, why hybrid systems verification is an important device to ensure the safety of complex systems, and gives an idea where that technology is successful.
  • Keywords
    "Vehicle dynamics","Safety","Collision avoidance","Mathematical model","Computer languages","Heuristic algorithms"
  • Publisher
    ieee
  • Conference_Titel
    Complex Systems Engineering (ICCSE), 2015 International Conference on
  • Type

    conf

  • DOI
    10.1109/ComplexSys.2015.7385983
  • Filename
    7385983
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3733223