Rank: 3582 based on 8 downloads (last 30 days) and 3 files submitted
photo

Zhi Han

E-mail

Personal Profile:

http://howsimulinkworks.wordpress.com

Professional Interests:
Simulink, hybrid system, verification, simulation

 

Watch this Author's files

 

Files Posted by Zhi View all
Updated   File Tags Downloads
(last 30 days)
Comments Rating
01 Dec 2008 Satisfiability solver A satisfiability solver using the classical Davis-Putnam algorithm. Author: Zhi Han satisfiability, algorithm, discrete, logic 3 0
18 Sep 2008 Screenshot Multiple simulations in 2-D Simulating a 2-D system for multiple initial points Author: Zhi Han reachability, linear systems, controls, systems, control design 2 0
22 Oct 2007 Screenshot CheckMate demos Demos for checkmate hybrid system verification tool. Author: Zhi Han hybrid systems, formal verification 3 0
Top Tags Applied by Zhi
simulink, control design, hybrid systems, algorithm, checksum
Files Tagged by Zhi View all
Updated   File Tags Downloads
(last 30 days)
Comments Rating
01 Dec 2008 Satisfiability solver A satisfiability solver using the classical Davis-Putnam algorithm. Author: Zhi Han satisfiability, algorithm, discrete, logic 3 0
18 Sep 2008 Screenshot Multiple simulations in 2-D Simulating a 2-D system for multiple initial points Author: Zhi Han reachability, linear systems, controls, systems, control design 2 0
22 Oct 2007 Screenshot CheckMate demos Demos for checkmate hybrid system verification tool. Author: Zhi Han hybrid systems, formal verification 3 0

Contact us at files@mathworks.com