Rank: 1713 based on 65 downloads (last 30 days) and 4 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 discrete, algorithm, satisfiability, logic 16 0
18 Sep 2008 Screenshot Multiple simulations in 2-D Simulating a 2-D system for multiple initial points Author: Zhi Han control design, controls, systems, linear systems, reachability 15 0
22 Oct 2007 Screenshot CheckMate demos Demos for checkmate hybrid system verification tool. Author: Zhi Han formal verification, hybrid systems 14 0
01 Aug 2007 Published M-Files Computation Tree Logic (CTL) A Matlab package for verifying CTL properties Author: Zhi Han verification, model checking 20 0
Top Tags Applied by Zhi
simulink, control design, hybrid systems, verification, algorithm
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 discrete, algorithm, satisfiability, logic 16 0
18 Sep 2008 Screenshot Multiple simulations in 2-D Simulating a 2-D system for multiple initial points Author: Zhi Han control design, controls, systems, linear systems, reachability 15 0
22 Oct 2007 Screenshot CheckMate demos Demos for checkmate hybrid system verification tool. Author: Zhi Han formal verification, hybrid systems 14 0
01 Aug 2007 Published M-Files Computation Tree Logic (CTL) A Matlab package for verifying CTL properties Author: Zhi Han verification, model checking 20 0
 

MATLAB Central Terms of Use

NOTICE: Any content you submit to MATLAB Central, including personal information, is not subject to the protections which may be afforded information collected under other sections of The MathWorks, Inc. Web site. You are entirely responsible for all content that you upload, post, e-mail, transmit or otherwise make available via MATLAB Central. The MathWorks does not control the content posted by visitors to MATLAB Central and, does not guarantee the accuracy, integrity, or quality of such content. Under no circumstances will The MathWorks be liable in any way for any content not authored by The MathWorks, or any loss or damage of any kind incurred as a result of the use of any content posted, e-mailed, transmitted or otherwise made available via MATLAB Central. Read the complete Terms prior to use.

Contact us at files@mathworks.com