Search Files

Advanced Search

View All files by:
Most Recent
Most Downloaded

Files

Watch this search E-mail this View Subscribe to this View
Date: Updated Submitted Time Frame: All Time Last 30 Days Last 7 Days			1 - 4 of 4
Date	File	Tags	Downloads (last 30 days)	Comments	Ratings
01 Dec 2008	Satisfiability solver A satisfiability solver using the classical Davis-Putnam algorithm. Author: Zhi Han	discrete, algorithm, satisfiability, logic	10	0
18 Sep 2008	Multiple simulations in 2-D Simulating a 2-D system for multiple initial points Author: Zhi Han	control design, controls, systems, linear systems, reachability	7	0
22 Oct 2007	CheckMate demos Demos for checkmate hybrid system verification tool. Author: Zhi Han	formal verification, hybrid systems	6	0
01 Aug 2007	Computation Tree Logic (CTL) A Matlab package for verifying CTL properties Author: Zhi Han	verification, model checking	8	0
1 - 4 of 4
Watch this search E-mail this View Subscribe to this View

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.