Zhi Han
Zhi Han
Adresse e-mail validée de google.com
Titre
Citée par
Citée par
Année
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
2352003
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
1432003
Co-design of an active suspension using simultaneous dynamic optimization
JT Allison, T Guo, Z Han
Journal of Mechanical Design 136 (8), 2014
1152014
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
652006
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
532004
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
512004
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
472004
Reachability analysis of nonlinear systems using trajectory piecewise linearized models
Z Han, BH Krogh
2006 American Control Conference, 6 pp., 2006
402006
Visualization of data dependency in graphical models
F Zhang, Z Han, M Yeddanapudi, PJ Mosterman, The Mathworks, Inc.
US Patent US8914262 B2, 2011
312011
Code generation for control design
Z Han, F Zhang, MK Yeddanapudi, PJ Mosterman
US Patent 9,377,998, 2016
212016
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
182003
Managing verification activities using SVM
B Aldrich, A Fehnker, PH Feiler, Z Han, BH Krogh, E Lim, S Sivashankar
International Conference on Formal Engineering Methods, 61-75, 2004
152004
Bidomain simulator
F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman
US Patent 9,354,846, 2016
142016
Towards sensitivity analysis of hybrid systems using simulink
Z Han, PJ Mosterman
Proceedings of the 16th international conference on Hybrid systems …, 2013
112013
Formal verification of hybrid systems using model order reduction and decomposition
Z Han
PhD thesis, Dept. of ECE, Carnegie Mellon University, 2005
102005
Graphic theoretic linearization of sensitivity analysis
Z Han, F Zhang, MK Yeddanapudi, PJ Mosterman
US Patent 8,935,137, 2015
92015
Checking for access problems with data stores
Z Han
US Patent 8,601,457, 2013
92013
Automatic solver selection
F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman
US Patent App. 13/652,180, 2013
92013
Analyzing model based on design interest
Z Han, WJ Aldrich, EM Mestchian
US Patent 10,657,208, 2020
82020
The Towers of Hanoi as a Cyber-Physical System Education Case Study
PJ Mosterman, J Zander, Z Han
Cyber Physical Systems (CPS 2013), 2013
82013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20