☰

Zhi Han, Ph.D.

Affiliations: 
2005 Carnegie Mellon University, Pittsburgh, PA 
Area:
Electronics and Electrical Engineering
Google:
"Zhi Han"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Bruce H. Krogh grad student 2005 Carnegie Mellon
 (Reachability analysis of continuous dynamic systems using dimension reduction and decomposition.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Han Z, Chutinan A, Krogh BH. (2006) ACTL strong negation and its application to hybrid systems verification Control Engineering Practice. 14: 1259-1267
Stursberg O, Fehnker A, Han Z, et al. (2004) Verification of a cruise control system using counterexample-guided search Control Engineering Practice. 12: 1269-1278
Clarke EM, Fehnker A, Han Z, et al. (2003) Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems International Journal of Foundations of Computer Science. 14: 583-604
Stursberg O, Fehnker A, Han Z, et al. (2003) Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods Ifac Proceedings Volumes. 36: 289-294
See more...