Hybrid System - Tools

Tools

  • HyTech: A Model Checker for Hybrid Systems
  • HSolver: Verification of Hybrid Systems
  • PHAVer: Polyhedral Hybrid Automaton Verifyer
  • KeYmaera: A Hybrid Theorem Prover for Hybrid Systems
  • PowerDEVS: A general-purpose software tool for DEVS modeling and simulation oriented to the simulation of hybrid systems

Read more about this topic:  Hybrid System

Famous quotes containing the word tools:

    “A life I didn’t choose
    chose me: even
    my tools are the wrong ones
    for what I have to do.”
    —Adrienne Rich (b. 1929)

    “Justice and truth are too such subtle points that our tools are too blunt to touch them accurately.”
    —Blaise Pascal (1623–1662)