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:

    “But lo! men have become the tools of their tools.”
    —Henry David Thoreau (1817–1862)

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

    “The besetting sin of able men is impatience of contradiction and of criticism. Even those who do their best to resist the temptation, yield to it almost unconsciously and become the tools of toadies and flatterers. “Authorities,” “disciples,” and “schools” are the curse of science and do more to interfere with the work of the scientific spirit than all its enemies.”
    —Thomas Henry Huxley (1825–95)