| 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 | 249 | 2003 |
| Co-design of an active suspension using simultaneous dynamic optimization JT Allison, T Guo, Z Han Journal of Mechanical Design 136 (8), 2014 | 168 | 2014 |
| Verification of hybrid systems based on counterexample-guided abstraction refinement E Clarke, A Fehnker, Z Han, B Krogh, O Stursberg, M Theobald TACAS 3, 192-207, 2003 | 152 | 2003 |
| Reachability analysis of large-scale affine systems using low-dimensional polytopes Z Han, BH Krogh Hybrid Systems: Computation and Control: 9th International Workshop, HSCC …, 2006 | 74 | 2006 |
| 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 | 61 | 2004 |
| 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 | 54 | 2004 |
| Reachability analysis of nonlinear systems using trajectory piecewise linearized models Z Han, BH Krogh 2006 American Control Conference, 6 pp., 2006 | 48 | 2006 |
| 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 | 48 | 2004 |
| Visualization of data dependency in graphical models F Zhang, Z Han, M Yeddanapudi, PJ Mosterman, The Mathworks, Inc. US Patent US8914262 B2, 2011 | 38 | 2011 |
| Code generation for control design Z Han, F Zhang, MK Yeddanapudi, PJ Mosterman US Patent 9,377,998, 2016 | 23 | 2016 |
| 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 | 20 | 2003 |
| 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 | 18 | 2004 |
| Bidomain simulator F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman US Patent 9,354,846, 2016 | 15 | 2016 |
| Automatic solver selection F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman US Patent App. 13/652,180, 2013 | 15 | 2013 |
| Analyzing model based on design interest Z Han, WJ Aldrich, EM Mestchian US Patent 10,657,208, 2020 | 11 | 2020 |
| Graphic theoretic linearization of sensitivity analysis Z Han, F Zhang, MK Yeddanapudi, PJ Mosterman US Patent 8,935,137, 2015 | 11 | 2015 |
| Checking for access problems with data stores Z Han US Patent 8,601,457, 2013 | 11 | 2013 |
| Towards sensitivity analysis of hybrid systems using simulink Z Han, PJ Mosterman Proceedings of the 16th international conference on Hybrid systems …, 2013 | 11 | 2013 |
| Parameter tuning F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman US Patent App. 13/652,186, 2013 | 10 | 2013 |
| The Towers of Hanoi as a Cyber-Physical System Education Case Study PJ Mosterman, J Zander, Z Han Cyber Physical Systems (CPS 2013), 2013 | 10 | 2013 |
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at ece.cmu.edu
