Community Profile

photo

Zhi Han


MathWorks

3 total contributions since 2007

http://zhihanpublic.wordpress.com/
Professional Interests: Simulink, hybrid system, verification, simulation

Contact

Zhi Han's Badges

  • 5-Star Galaxy Level 1
  • First Submission

View details...

Contributions in
View by

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 |

Thumbnail

Submitted


CheckMate demos
Demos for checkmate hybrid system verification tool.

13 years ago | 3 downloads |

Thumbnail