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)
“In child rearing it would unquestionably be easier if a child were to do something because we say so. The authoritarian method does expedite things, but it does not produce independent functioning. If a child has not mastered the underlying principles of human interactions and merely conforms out of coercion or conditioning, he has no tools to use, no resources to apply in the next situation that confronts him.”
—Elaine Heffner (20th century)
“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 (18221893)