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:

    “There is a great satisfaction in building good tools for other people to use.”
    —Freeman Dyson (b. 1923)

    “Machinery is aggressive. The weaver becomes a web, the machinist a machine. If you do not use the tools, they use you. All tools are in one sense edge-tools, and dangerous.”
    —Ralph Waldo Emerson (1803–1882)

    “No man is born into the world, whose work
    Is not born with him; there is always work,
    And tools to work withal, for those who will:
    And blessèd are the horny hands of toil!”
    —James Russell Lowell (1819–1891)