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:
“Armies, though always the supporters and tools of absolute power for the time being, are always the destroyers of it too; by frequently changing the hands in which they think proper to lodge it.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“The study of tools as well as of books should have a place in the public schools. Tools, machinery, and the implements of the farm should be made familiar to every boy, and suitable industrial education should be furnished for every girl.”
—Rutherford Birchard Hayes (1822–1893)
“At the utmost, the active-minded young man should ask of his teacher only mastery of his tools. The young man himself, the subject of education, is a certain form of energy; the object to be gained is economy of his force; the training is partly the clearing away of obstacles, partly the direct application of effort. Once acquired, the tools and models may be thrown away.”
—Henry Brooks Adams (1838–1918)