| 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 | 235 | 2003 |
| 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 | 143 | 2003 |
| Co-design of an active suspension using simultaneous dynamic optimization JT Allison, T Guo, Z Han Journal of Mechanical Design 136 (8), 2014 | 115 | 2014 |
| 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 | 65 | 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 | 53 | 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 | 51 | 2004 |
| 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 | 47 | 2004 |
| Reachability analysis of nonlinear systems using trajectory piecewise linearized models Z Han, BH Krogh 2006 American Control Conference, 6 pp., 2006 | 40 | 2006 |
| Visualization of data dependency in graphical models F Zhang, Z Han, M Yeddanapudi, PJ Mosterman, The Mathworks, Inc. US Patent US8914262 B2, 2011 | 31 | 2011 |
| Code generation for control design Z Han, F Zhang, MK Yeddanapudi, PJ Mosterman US Patent 9,377,998, 2016 | 21 | 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 | 18 | 2003 |
| 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 | 15 | 2004 |
| Bidomain simulator F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman US Patent 9,354,846, 2016 | 14 | 2016 |
| Towards sensitivity analysis of hybrid systems using simulink Z Han, PJ Mosterman Proceedings of the 16th international conference on Hybrid systems …, 2013 | 11 | 2013 |
| Formal verification of hybrid systems using model order reduction and decomposition Z Han PhD thesis, Dept. of ECE, Carnegie Mellon University, 2005 | 10 | 2005 |
| Graphic theoretic linearization of sensitivity analysis Z Han, F Zhang, MK Yeddanapudi, PJ Mosterman US Patent 8,935,137, 2015 | 9 | 2015 |
| Checking for access problems with data stores Z Han US Patent 8,601,457, 2013 | 9 | 2013 |
| Automatic solver selection F Zhang, Z Han, MK Yeddanapudi, PJ Mosterman US Patent App. 13/652,180, 2013 | 9 | 2013 |
| Analyzing model based on design interest Z Han, WJ Aldrich, EM Mestchian US Patent 10,657,208, 2020 | 8 | 2020 |
| The Towers of Hanoi as a Cyber-Physical System Education Case Study PJ Mosterman, J Zander, Z Han Cyber Physical Systems (CPS 2013), 2013 | 8 | 2013 |
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityAdresse e-mail validée de ece.cmu.edu
