Zhi Han
MathWorks
Followers: 0 Following: 0
http://zhihanpublic.wordpress.com/
Professional Interests: Simulink, hybrid system, verification, simulation
Statistics
3 Files
RANK
N/A
of 300,417
REPUTATION
N/A
CONTRIBUTIONS
0 Questions
0 Answers
ANSWER ACCEPTANCE
0.00%
VOTES RECEIVED
0
RANK
4,237 of 20,961
REPUTATION
343
AVERAGE RATING
2.40
CONTRIBUTIONS
3 Files
DOWNLOADS
3
ALL TIME DOWNLOADS
3344
RANK
of 168,731
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
Submitted
Satisfiability solver
A satisfiability solver using the classical Davis-Putnam algorithm.
9 years ago | 1 download |
Submitted
Multiple simulations in 2-D
Simulating a 2-D system for multiple initial points
9 years ago | 1 download |
Submitted
CheckMate demos
Demos for checkmate hybrid system verification tool.
18 years ago | 1 download |
