Zhi Han
MathWorks
Followers: 0 Following: 0
http://zhihanpublic.wordpress.com/
Professional Interests: Simulink, hybrid system, verification, simulation
Statistik
3 Dateien
RANG
N/A
of 302.269
REPUTATION
N/A
BEITRÄGE
0 Fragen
0 Antworten
ANTWORTZUSTIMMUNG
0.00%
ERHALTENE STIMMEN
0
RANG
4.254 of 21.654
REPUTATION
348
DURCHSCHNITTLICHE BEWERTUNG
2.40
BEITRÄGE
3 Dateien
DOWNLOADS
35
ALL TIME DOWNLOADS
3393
RANG
of 180.760
BEITRÄGE
0 Probleme
0 Lösungen
PUNKTESTAND
0
ANZAHL DER ABZEICHEN
0
BEITRÄGE
0 Beiträge
BEITRÄGE
0 Öffentlich Kanäle
DURCHSCHNITTLICHE BEWERTUNG
BEITRÄGE
0 Discussions
DURCHSCHNITTLICHE ANZAHL DER LIKES
Feeds
Gesendet
Satisfiability solver
A satisfiability solver using the classical Davis-Putnam algorithm.
etwa 10 Jahre vor | 1484 Downloads |
Gesendet
Multiple simulations in 2-D
Simulating a 2-D system for multiple initial points
etwa 10 Jahre vor | 900 Downloads |
Gesendet
CheckMate demos
Demos for checkmate hybrid system verification tool.
fast 19 Jahre vor | 1009 Downloads |
