Zhi Han
MathWorks
3 total contributions since 2007http://zhihanpublic.wordpress.com/
Professional Interests: Simulink, hybrid system, verification, simulation
Zhi Han's Badges
Your submissions received 1 five star rating
Awarded to Zhi Han on 09 Oct 2019
Publish your first submission
Awarded to Zhi Han on 09 Oct 2019
Submitted
Satisfiability solver
A satisfiability solver using the classical Davis-Putnam algorithm.
4 years ago | 3 downloads |
Submitted
Multiple simulations in 2-D
Simulating a 2-D system for multiple initial points
4 years ago | 1 download |
Submitted
CheckMate demos
Demos for checkmate hybrid system verification tool.
13 years ago | 3 downloads |
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)