Edit Profile (opens in new tab) Han, Zhi Co-Author Distance Author ID: han.zhi Published as: Han, Zhi Documents Indexed: 21 Publications since 1997, including 1 Additional arXiv Preprint Co-Authors: 29 Co-Authors with 15 Joint Publications 1,224 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Krogh, Bruce H. 3 Tang, Yandong 3 Yang, Haitian 2 Clarke, Edmund Melson jun. 2 Fehnker, Ansgar 2 Liu, Ling 2 Stursberg, Olaf 2 Theobald, Michael 2 Xu, Zongben 1 Frank, Paul Martin 1 Hosseini, S. H. R. 1 Jiang, Zonglin 1 Jing, Jia 1 Li, Bingfeng 1 Liu, Shiqi 1 Liu, Zhiyu 1 Lo, SioLong 1 Ma, Zilu 1 Meng, Deyu 1 Mosterman, Pieter J. 1 Ouaknine, Joel O. 1 Provence, Robert S. 1 Qu, Liangqiong 1 Shieh, Leang-San 1 Simko, Gabor 1 Takayama, Kazuyoshi 1 Teng, Honghui 1 Tian, Jiandong 1 Tsai, Jason Sheng-Hong 1 Wang, Jianjun 1 Wang, Jinbao 1 Wang, Xuelei 1 Xu, Guangying 1 Zander, Justyna 1 Zhang, Hai 1 Zhang, Yong 1 Zhao, Xile 1 Zhu, Song-Chun all top 5 Serials 2 Computers & Mathematics with Applications 2 International Journal of Control 1 International Journal of Solids and Structures 1 Shock Waves 1 Information Sciences 1 Acta Mathematicae Applicatae Sinica 1 International Journal of Foundations of Computer Science 1 Journal of Mathematical Imaging and Vision 1 Communications in Numerical Methods in Engineering 1 Mathematical Problems in Engineering 1 Discrete Dynamics in Nature and Society 1 IEEE Transactions on Image Processing 1 Acta Mechanica Sinica 1 Chinese Journal of Engineering Mathematics 1 Asian Journal of Control all top 5 Fields 5 Systems theory; control (93-XX) 4 Computer science (68-XX) 4 Information and communication theory, circuits (94-XX) 3 Numerical analysis (65-XX) 3 Mechanics of deformable solids (74-XX) 3 Operations research, mathematical programming (90-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Special functions (33-XX) 1 Probability theory and stochastic processes (60-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 59 times in 55 Documents Cited by ▼ Year ▼ Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678 Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael 25 2003 Verification of hybrid systems based on counterexample-guided abstraction refinement. Zbl 1031.68078 Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Stursberg, Olaf; Theobald, Michael 13 2003 Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025 Han, Zhi; Krogh, Bruce H. 8 2006 Solving nonlinear viscoelastic problems via a self-adaptive precise algorithm in time domain. Zbl 1073.74049 Yang, Haitian; Han, Zhi 6 2004 An analysis and design method for systems with structural uncertainty. Zbl 1124.93052 Cai, X.; Han, Z.; Wang, X. 4 2006 Solving viscoelastic problems with cyclic symmetry via a precise algorithm and EFGM. Zbl 1200.74139 Han, Zhi; Yang, Haitian; Liu, Ling 3 2006 The use of cyclic symmetry in two-dimensional elastic analysis by the element-free Galerkin method. Zbl 1141.74370 Yang, Haitian; Liu, Ling; Han, Zhi 2 2005 Video primal sketch: a unified middle-level representation for video. Zbl 1343.94010 Han, Zhi; Xu, Zongben; Zhu, Song-Chun 2 2015 A new approach for adaptive blind equalization of chaotic communication: the optimal linearization technique. Zbl 1189.94013 Tsai, J. S. H.; Lu, F.-C.; Provence, R. S.; Shieh, L. S.; Han, Z. 2 2009 Numerical investigation of toroidal shock wave focusing in a cylindrical chamber. Zbl 1267.76055 Teng, H.; Jiang, Z.; Han, Z.; Hosseini, S. H. R.; Takayama, K. 1 2005 Video primal sketch: a unified middle-level representation for video. Zbl 1343.94010 Han, Zhi; Xu, Zongben; Zhu, Song-Chun 2 2015 A new approach for adaptive blind equalization of chaotic communication: the optimal linearization technique. Zbl 1189.94013 Tsai, J. S. H.; Lu, F.-C.; Provence, R. S.; Shieh, L. S.; Han, Z. 2 2009 Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025 Han, Zhi; Krogh, Bruce H. 8 2006 An analysis and design method for systems with structural uncertainty. Zbl 1124.93052 Cai, X.; Han, Z.; Wang, X. 4 2006 Solving viscoelastic problems with cyclic symmetry via a precise algorithm and EFGM. Zbl 1200.74139 Han, Zhi; Yang, Haitian; Liu, Ling 3 2006 The use of cyclic symmetry in two-dimensional elastic analysis by the element-free Galerkin method. Zbl 1141.74370 Yang, Haitian; Liu, Ling; Han, Zhi 2 2005 Numerical investigation of toroidal shock wave focusing in a cylindrical chamber. Zbl 1267.76055 Teng, H.; Jiang, Z.; Han, Z.; Hosseini, S. H. R.; Takayama, K. 1 2005 Solving nonlinear viscoelastic problems via a self-adaptive precise algorithm in time domain. Zbl 1073.74049 Yang, Haitian; Han, Zhi 6 2004 Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678 Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael 25 2003 Verification of hybrid systems based on counterexample-guided abstraction refinement. Zbl 1031.68078 Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Stursberg, Olaf; Theobald, Michael 13 2003 all cited Publications top 5 cited Publications all top 5 Cited by 134 Authors 5 Ratschan, Stefan 3 Dang, Thao 3 Forets, Marcelo 3 Frehse, Goran 3 Hu, Xiaofei 3 Prabhakar, Pavithra 3 Schilling, Christian 3 Yang, Haitian 3 Yao, Weian 2 Abate, Alessandro 2 Benvenuti, Luca 2 Bogomolov, Sergiy 2 Duggirala, Parasara Sridhar 2 Girard, Antoine 2 Hahn, Ernst Moritz 2 Han, Zhi 2 He, Yiqian 2 Hermanns, Holger 2 Pappas, George J. 2 Platzer, André 2 She, Zhikun 2 Stursberg, Olaf 2 Wang, Zihao 1 Adimoolam, Arvind 1 Adzkiya, Dieky 1 Alur, Rajeev 1 Asarin, Eugene 1 Balluchi, Andrea 1 Bormann, Jörg 1 Bresolin, Davide 1 Caines, Peter Edwin 1 Carter, Rebekah 1 Collins, Peter J. 1 Dague, Philippe 1 Damm, Werner 1 Das, Spandan 1 De Schutter, Bart 1 Di Benedetto, Maria Domenica 1 Diab, Hilal 1 Dimarogonas, Dimos V. 1 Ding, Xing 1 D’Innocenzo, Alessandro 1 Doyen, Laurent 1 Duracz, Adam 1 Dzetkulič, Tomáš 1 Engell, Sebastian 1 Farjudian, Amin 1 Ferrari, Alberto 1 Freibothe, Martin 1 Gallois, Jean-Pierre 1 Ganesh, Vijay 1 Gawlitza, Thomas Martin 1 Geretti, Luca 1 Geyer, Tobias 1 Giacobbe, Mirco 1 Goyal, Manish 1 Haitian, Yang 1 Hänsch, Paul 1 Hartmanns, Arnd 1 Henzinger, Thomas A. 1 Ivančić, Franjo 1 Jackson, Paul B. 1 Jha, Somesh 1 Johansson, Karl Henrik 1 Johnson, Taylor T. 1 Katoen, Joost-Pieter 1 Kavraki, Lydia E. 1 Klaedtke, Felix 1 Kowalewski, Stefan 1 Lamnabhi-Lagarrigue, Françoise 1 Lanotte, Ruggero 1 Lefaucheux, Engel 1 Lindeberg, Tony 1 Linsbichler, Thomas 1 Liu, Ling 1 Lygeros, John 1 Makhlouf, Ibtissem Ben 1 Man, Ka Lok 1 Maratea, Marco 1 Meyer, Pierre-Jean 1 Mitra, Sayan 1 Mödersheim, Sebastian Alexander 1 Moggi, Eugenio 1 Moor, Thomas 1 Morari, Manfred 1 Navarro-López, Eva María 1 Niskanen, Andreas 1 Ouaknine, Joel O. 1 Pakniyat, Ali 1 Papafotiou, Georgios 1 Pinto, Guilherme A. 1 Plaku, Erion 1 Podelski, Andreas 1 Purser, David 1 Raisch, Jörg 1 Reniers, Michel Adriaan 1 Rooda, Jacobus E. 1 Saha, Indranil 1 Sangiovanni-Vincentelli, Alberto L. 1 Santucci, Fortunato ...and 34 more Authors all top 5 Cited in 20 Serials 5 Engineering Analysis with Boundary Elements 4 Theoretical Computer Science 4 Formal Methods in System Design 3 Automatica 3 Information and Computation 3 Nonlinear Analysis. Hybrid Systems 2 Journal of Automated Reasoning 2 Journal of Mathematical Imaging and Vision 2 European Journal of Control 2 Acta Mechanica Sinica 1 Acta Informatica 1 Artificial Intelligence 1 Mathematical Methods in the Applied Sciences 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 MCSS. Mathematics of Control, Signals, and Systems 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems 1 Applied Mathematical Modelling 1 International Journal of Robust and Nonlinear Control 1 The Journal of Logic and Algebraic Programming all top 5 Cited in 14 Fields 29 Computer science (68-XX) 25 Systems theory; control (93-XX) 7 Numerical analysis (65-XX) 7 Mechanics of deformable solids (74-XX) 3 Information and communication theory, circuits (94-XX) 2 Mathematical logic and foundations (03-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Category theory; homological algebra (18-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year