photo

Zhi Han

MathWorks

Active since 2007

Followers: 0   Following: 0

Message

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

Statistics

  • 5-Star Galaxy Level 1
  • First Submission

View badges

Feeds

View by

Submitted


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

8 years ago | 3 downloads |

Submitted


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

8 years ago | 1 download |

Thumbnail

Submitted


CheckMate demos
Demos for checkmate hybrid system verification tool.

16 years ago | 1 download |

Thumbnail