Edit Profile (opens in new tab) Li, Guangyuan Co-Author Distance Author ID: li.guangyuan Published as: Li, Guangyuan; Li, Guang Yuan Documents Indexed: 33 Publications since 1981, including 1 Additional arXiv Preprint Co-Authors: 24 Co-Authors with 16 Joint Publications 734 Co-Co-Authors all top 5 Co-Authors 2 single-authored 5 Tang, Zhisong 4 Ge, Shuzhi Sam 4 Lee, Tong Heng 3 Li, Xiang 3 Yan, Rongjie 2 Bulychev, Peter E. 2 David, Alexandre 2 Larsen, Kim Guldstrand 2 Zhang, Jin 1 Bøgsted Poulsen, Danny 1 Feng, Jiali 1 Feng, Yong 1 Geni, Mamtimin 1 Hahn, Ernst Moritz 1 Legay, Axel 1 Liew, Kim Meow 1 Liu, Chunming 1 Lu, Yang 1 Ma, Xiaojing 1 Peng, Yunquan 1 Schewe, Sven 1 Stainer, Amélie 1 Turrini, Andrea 1 Wang, M. 1 Wei, Henglai 1 Xu, Yubo 1 Yu, Jingyuan 1 Zhang, Hui 1 Zhang, Lijun 1 Zhang, Wenliang 1 Zhou, Ruqi all top 5 Serials 5 Engineering Analysis with Boundary Elements 3 International Journal of Computational Methods 2 Automatica 1 Acta Informatica 1 Computers and Structures 1 International Journal of Control 1 International Journal of Solids and Structures 1 IEEE Transactions on Automatic Control 1 Journal of Optimization Theory and Applications 1 Journal of Nanjing University. Natural Sciences 1 Computational Mechanics 1 Science in China. Series A 1 Systems Science and Mathematical Sciences 1 Kexue Tongbao 1 Chinese Science Bulletin 1 Control Theory & Applications 1 Journal of Software 1 Scientia Sinica all top 5 Fields 12 Computer science (68-XX) 8 Mechanics of deformable solids (74-XX) 7 Numerical analysis (65-XX) 6 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 4 Biology and other natural sciences (92-XX) 3 Fluid mechanics (76-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Partial differential equations (35-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 35 times in 34 Documents Cited by ▼ Year ▼ Adaptive NN control for a class of strict-feedback discrete-time nonlinear systems. Zbl 1023.93034 Ge, S. S.; Li, G. Y.; Lee, T. H. 39 2003 A stable nodal integration method with strain gradient for static and dynamic analysis of solid mechanics. Zbl 1403.65069 Feng, H.; Cui, X. Y.; Li, G. Y. 28 2016 A temporal stable node-based smoothed finite element method for three-dimensional elasticity problems. Zbl 1398.74462 Feng, H.; Cui, X. Y.; Li, G. Y.; Feng, S. Z. 22 2014 Adaptive NN control for a class of discrete-time nonlinear systems. Zbl 1048.93055 Ge, S. S.; Lee, T. H.; Li, G. Y.; Zhang, J. 14 2003 Lazy probabilistic model checking without determinisation. Zbl 1374.68290 Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 13 2015 Direct adaptive control for a class of MIMO nonlinear systems using neural networks. Zbl 1365.93262 Ge, S. S.; Li, G. Y.; Zhang, J.; Lee, T. H. 12 2004 A cell-based smoothed radial point interpolation method (CS-RPIM) for three-dimensional solids. Zbl 1403.74284 Cui, X. Y.; Feng, H.; Li, G. Y.; Feng, S. Z. 9 2015 Checking timed Büchi automata emptiness using LU-abstractions. Zbl 1262.68093 Li, Guangyuan 8 2009 A cell-based smoothed radial point interpolation method (CS-RPIM) for heat transfer analysis. Zbl 1297.80009 Cui, X. Y.; Feng, S. Z.; Li, G. Y. 8 2014 Reachability checking of finite precision timed automata. Zbl 1096.68086 Yan, Rongjie; Li, Guangyuan; Xu, Yubo; Liu, Chunming; Tang, Zhisong 6 2006 Nodal integration thin plate formulation using linear interpolation and triangular cells. Zbl 1245.74040 Cui, X. Y.; Lin, S.; Li, G. Y. 4 2011 Monitor-based statistical model checking for weighted metric temporal logic. Zbl 1352.68147 Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie 4 2012 Free vibration analysis of sandwich plates with laminated faces using spline finite point method. Zbl 0918.73345 Zhou, H. B.; Li, G. Y. 3 1996 Correction to “Adaptive NN control for a class of strict-feedback discrete-time nonlinear systems”. Zbl 1149.93318 Ge, S. S.; Li, G. Y.; Lee, T. H. 3 2008 Translating a continuous-time temporal logic into timed automata. Zbl 1254.03026 Li, Guangyuan; Tang, Zhisong 1 2003 Symbolic model checking of finite precision timed automata. Zbl 1169.68520 Yan, Rongjie; Li, Guangyuan; Tang, Zhisong 1 2005 Successive element correction algorithms for sparse unconstrained optimization. Zbl 0796.90057 Li, G. Y. 1 1993 Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\). Zbl 1360.68578 Bulychev, Peter; David, Alexandre; Larsen, Kim G.; Li, Guangyuan 1 2014 Smoothed Galerkin methods using cell-wise strain smoothing technique. Zbl 1351.74080 Cui, X. Y.; Li, G. Y. 1 2012 Modelling real-time systems with continuous-time temporal logic. Zbl 1015.68723 Li, Guangyuan; Tang, Zhisong 1 2002 Generalized mass-redistributed smoothed finite element method (MR-SFEM) for acoustic and acoustic-structural interaction problems. Zbl 07072985 Hao, Y. D.; Li, G. Y.; Nie, X.; Hu, Z. H.; Yao, W. 1 2019 Generalized mass-redistributed smoothed finite element method (MR-SFEM) for acoustic and acoustic-structural interaction problems. Zbl 07072985 Hao, Y. D.; Li, G. Y.; Nie, X.; Hu, Z. H.; Yao, W. 1 2019 A stable nodal integration method with strain gradient for static and dynamic analysis of solid mechanics. Zbl 1403.65069 Feng, H.; Cui, X. Y.; Li, G. Y. 28 2016 Lazy probabilistic model checking without determinisation. Zbl 1374.68290 Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 13 2015 A cell-based smoothed radial point interpolation method (CS-RPIM) for three-dimensional solids. Zbl 1403.74284 Cui, X. Y.; Feng, H.; Li, G. Y.; Feng, S. Z. 9 2015 A temporal stable node-based smoothed finite element method for three-dimensional elasticity problems. Zbl 1398.74462 Feng, H.; Cui, X. Y.; Li, G. Y.; Feng, S. Z. 22 2014 A cell-based smoothed radial point interpolation method (CS-RPIM) for heat transfer analysis. Zbl 1297.80009 Cui, X. Y.; Feng, S. Z.; Li, G. Y. 8 2014 Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\). Zbl 1360.68578 Bulychev, Peter; David, Alexandre; Larsen, Kim G.; Li, Guangyuan 1 2014 Monitor-based statistical model checking for weighted metric temporal logic. Zbl 1352.68147 Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie 4 2012 Smoothed Galerkin methods using cell-wise strain smoothing technique. Zbl 1351.74080 Cui, X. Y.; Li, G. Y. 1 2012 Nodal integration thin plate formulation using linear interpolation and triangular cells. Zbl 1245.74040 Cui, X. Y.; Lin, S.; Li, G. Y. 4 2011 Checking timed Büchi automata emptiness using LU-abstractions. Zbl 1262.68093 Li, Guangyuan 8 2009 Correction to “Adaptive NN control for a class of strict-feedback discrete-time nonlinear systems”. Zbl 1149.93318 Ge, S. S.; Li, G. Y.; Lee, T. H. 3 2008 Reachability checking of finite precision timed automata. Zbl 1096.68086 Yan, Rongjie; Li, Guangyuan; Xu, Yubo; Liu, Chunming; Tang, Zhisong 6 2006 Symbolic model checking of finite precision timed automata. Zbl 1169.68520 Yan, Rongjie; Li, Guangyuan; Tang, Zhisong 1 2005 Direct adaptive control for a class of MIMO nonlinear systems using neural networks. Zbl 1365.93262 Ge, S. S.; Li, G. Y.; Zhang, J.; Lee, T. H. 12 2004 Adaptive NN control for a class of strict-feedback discrete-time nonlinear systems. Zbl 1023.93034 Ge, S. S.; Li, G. Y.; Lee, T. H. 39 2003 Adaptive NN control for a class of discrete-time nonlinear systems. Zbl 1048.93055 Ge, S. S.; Lee, T. H.; Li, G. Y.; Zhang, J. 14 2003 Translating a continuous-time temporal logic into timed automata. Zbl 1254.03026 Li, Guangyuan; Tang, Zhisong 1 2003 Modelling real-time systems with continuous-time temporal logic. Zbl 1015.68723 Li, Guangyuan; Tang, Zhisong 1 2002 Free vibration analysis of sandwich plates with laminated faces using spline finite point method. Zbl 0918.73345 Zhou, H. B.; Li, G. Y. 3 1996 Successive element correction algorithms for sparse unconstrained optimization. Zbl 0796.90057 Li, G. Y. 1 1993 all cited Publications top 5 cited Publications all top 5 Cited by 82 Authors 5 Schewe, Sven 4 Hahn, Ernst Moritz 4 Herbreteau, Frédéric 3 Baier, Christel 3 Larsen, Kim Guldstrand 3 Müller, David I. 3 Perez, Mateo 3 Somenzi, Fabio 3 Srivathsan, Balaguru 3 Trivedi, Ashutosh 3 Wojtczak, Dominik 2 Barnat, Jiří 2 Beneš, Nikola 2 Bezděk, Peter 2 Černá, Ivana 2 Jantsch, Simon 2 Klein, Joachim 2 Li, Guangyuan 2 Turrini, Andrea 2 van de Pol, Jan Cornelis 2 Zhang, Lijun 1 André, Étienne 1 Arias, Jaime 1 Banks, C. J. 1 Basin, David A. 1 Battauz, Michela 1 Bella, Antonio 1 Blahoudek, František 1 Bouyer, Patricia 1 Bulychev, Peter E. 1 Castro, Luis Mauricio 1 Cimatti, Alessandro 1 Dasgupta, Pallab 1 Datta, Pratish 1 David, Alexandre 1 Davison, Anthony C. 1 de Raadt, Alexandra 1 Duret-Lutz, Alexandre 1 Dutta, Ratna 1 Fahrenberg, Uli 1 Feng, Weizhi 1 Ferri, César 1 Fraser, Donald A. S. 1 Gastin, Paul 1 Griggio, Alberto 1 Grosen, Thomas Møller 1 Hernández-Orallo, Jose 1 Hublet, François 1 John, Tobias 1 Joye, Marc 1 Kauffman, Sean 1 Kini, Dileep Raghunath 1 Klüppelholz, Sascha 1 Krstić, Srđan 1 Legay, Axel 1 Li, Yong 1 Liu, Lixia 1 Liu, Sanyang 1 Magnago, Enrico 1 Mukherjee, Subhankar 1 Mukhopadhyay, Sourav 1 Peng, Yunquan 1 Petrucci, Laure 1 Ramírez-Quintana, María José 1 Reid, Nancy 1 Rolin, Jean-Marie 1 San Martín, Ernesto 1 Sankur, Ocan 1 Sartori, Nicola 1 Sickert, Salomon 1 Stark, Ian 1 Strejček, Jan 1 Vardi, Moshe Ya’akov 1 Viswanathan, Mahesh 1 Walukiewicz, Igor 1 Warrens, Matthijs J. 1 Wilke, Thomas 1 Wimmer, Simon 1 Wu, Yan 1 Yan, Rongjie 1 Zhang, Wenliang 1 Zimmermann, Martín G. all top 5 Cited in 10 Serials 2 Psychometrika 2 Information and Computation 2 Formal Methods in System Design 1 Acta Informatica 1 Journal of the American Statistical Association 1 International Journal of Approximate Reasoning 1 Data Mining and Knowledge Discovery 1 Journal of Applied Mathematics and Computing 1 Journal of Mathematics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 8 Fields 26 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 4 Statistics (62-XX) 3 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year