Follow
Zhi Han
Zhi Han
Meta, Inc
Verified email at meta.com
Title
Cited by
Cited by
Year
Abstraction and counterexample-guided refinement in model checking of hybrid systems
E Clarke, A Fehnker, Z Han, B Krogh, J Ouaknine, O Stursberg, ...
International journal of foundations of computer science 14 (04), 583-604, 2003
2552003
Co-design of an active suspension using simultaneous dynamic optimization
JT Allison, T Guo, Z Han
Journal of Mechanical Design 136 (8), 081003, 2014
2002014
Verification of hybrid systems based on counterexample-guided abstraction refinement
E Clarke, A Fehnker, Z Han, B Krogh, O Stursberg, M Theobald
International Conference on Tools and Algorithms for the Construction and …, 2003
1582003
Reachability analysis of large-scale affine systems using low-dimensional polytopes
Z Han, BH Krogh
International Workshop on Hybrid Systems: Computation and Control, 287-301, 2006
752006
Verification of a cruise control system using counterexample-guided search
O Stursberg, A Fehnker, Z Han, BH Krogh
Control Engineering Practice 12 (10), 1269-1278, 2004
692004
Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction
G Frehse, Z Han, B Krogh
2004 43rd IEEE Conference on Decision and Control (CDC)(IEEE Cat. No …, 2004
572004
Reachability analysis of hybrid control systems using reduced-order models
Z Han, B Krogh
Proceedings of the 2004 American Control Conference 2, 1183-1189, 2004
492004
Reachability analysis of nonlinear systems using trajectory piecewise linearized models
Z Han, BH Krogh
2006 American Control Conference, 6 pp., 2006
482006
Visualization of data dependency in graphical models
F Zhang, Z Han, M Yeddanapudi, PJ Mosterman, The Mathworks, Inc.
US Patent US8914262 B2, 2011
432011
Code generation for control design
Z Han, F Zhang, MK Yeddanapudi, PJ Mosterman
US Patent 9,377,998, 2016
242016
Managing verification activities using SVM
B Aldrich, A Fehnker, PH Feiler, Z Han, BH Krogh, E Lim, S Sivashankar
Formal Methods and Software Engineering: 6th International Conference on …, 2004
202004
Specification-guided analysis of hybrid systems using a hierarchy of validation methods
O Stursberg, A Fehnker, Z Han, BH Krogh
IFAC Proceedings Volumes 36 (6), 289-294, 2003
202003
Automatic solver selection
F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman
US Patent App. 13/652,180, 2013
182013
Bidomain simulator
F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman
US Patent 9,354,846, 2016
162016
Analyzing model based on design interest
Z Han, WJ Aldrich, EM Mestchian
US Patent 10,657,208, 2020
122020
Checking for access problems with data stores
Z Han
US Patent 8,601,457, 2013
122013
Formal verification of hybrid systems using model order reduction and decomposition
Z Han
PhD thesis, Dept. of ECE, Carnegie Mellon University, 2005
122005
Graphic theoretic linearization of sensitivity analysis
Z Han, F Zhang, MK Yeddanapudi, PJ Mosterman
US Patent 8,935,137, 2015
112015
Parameter tuning
F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman
US Patent App. 13/652,186, 2013
112013
Towards sensitivity analysis of hybrid systems using simulink
Z Han, PJ Mosterman
Proceedings of the 16th international conference on Hybrid systems …, 2013
112013
The system can't perform the operation now. Try again later.
Articles 1–20