Community Profile

photo

Zhi Han

MathWorks

Active since 2007

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

Statistics

  • 5-Star Galaxy Level 1
  • First Submission

View badges

Content Feed

View by

Submitted


Satisfiability solver
A satisfiability solver using the classical Davis-Putnam algorithm.

6 years ago | 1 download |

Submitted


Multiple simulations in 2-D
Simulating a 2-D system for multiple initial points

6 years ago | 1 download |

Thumbnail

Submitted


CheckMate demos
Demos for checkmate hybrid system verification tool.

15 years ago | 2 downloads |

Thumbnail