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:

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

    “Man is a tool-using animal.... Without tools he is nothing, with tools he is all.”
    —Thomas Carlyle (1795–1881)

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