×
Author ID: li.guangyuan Recent zbMATH articles by "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

Publications by Year

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 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.

Citations by Year