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:

    “Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
    —Ludwig Wittgenstein (1889–1951)

    “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)