Name：Luo Guiming

Position： Professor

Tel：86-10-62795440

Email：gluo@tsinghua.edu.cn

Ph.D, 1992, graduated from Institute of Systems Science, Chinese Academy of Sciences, Beijing, China.

M.Sc. degree, 1988, graduated from University of Science and Technology of China, Hefei, Anhui.

Since Aug, 2003: Professor, Associate Professor, School of Software, Tsinghua University, China

Sep 2001 – Apr 2003: JSPS Fellow, University of Tokyo, Japan

Sep 2000 – Aug 2001: Visiting Professor, Seoul National University, Korea

Aug 1992 – Aug 2000: Associate Professor, Department of Mathematics, Tsinghua University, China

System identification and signal processing, adaptive control and signal tracking, nonlinear systems, software reliability methods, model checking

Publications:

2017

[17-1] YL Zhang, WF Ma, GM Luo, Inferring causal directions from uncertain data, Engineering Applications of Artificial Intelligence, vol.65, pp.261-267, 2017.

[17-2] YL Zhang, GM Luo, Recursive prediction algorithm for non-stationary Gaussian process, Journal of Systems and Software, vol.127, pp.295-301, 2017.

[17-3] FA Pu, GM Luo, Z Zhou, Encoding argumentation semantics by Boolean algebra, IEICE Transactions on Information and Systems, vol.100D, No.4, pp.838-848, 2017.

[17-4] LY Zhang, GM Luo, DH Qing, Statistical model checking of stochastic component-based systems, Journal of Statistical Computation and Simulation, vol.87, No.13, pp.2509-2525, 2017.

[17-5] YX Wang, LA Zadeh, B Widrow, N Howard, F Beaufays, G Baciu, DF Hsu, GM Luo, F Mizoguchi, S Patel, V Raskin, S Tsumoto, W Wei, D Zhang, Abstract intelligence: Embodying and enabling cognitive systems by mathematical engineering, International Journal of Cognitive Informatics and Natural Intelligence, vol.11, No.1, pp.1-15, 2017.

[17-6] BX Zhao, GM Luo, JH Zhu, Improved boosting model for unsteady nonlinear aerodynamics based on computational intelligence, International Journal of Cognitive Informatics and Natural Intelligence, vol.11, No.1, pp.46-59, 2017.

[17-7] Q Ji, GM Luo, Model based formal design for MVB system, 2017 IEEE 16th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC), Oxford, UK, 26-28 July 2017, pp.207-212, 2017.

[17-8] C Peng, XY Zhang, G Yu, GM Luo, J Sun, Large kernel matters - improve semantic segmentation by global convolutional network, 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR), Honolulu, HI, USA, 21-26 July 2017, pp.1743-1751, 2017.

[17-9] FA Pu, GM Luo, YC Chen, Boolean matrix approach for abstract argumentation, Multi-Agent Systems and Agreement Technologies. 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, 15-16 Dec. 2016. LNAI 10207, pp.470-480, 2017.

[17-10] FA Pu, GM Luo, Ranking arguments based on counter-transitivity, IFAC 2017 World Congress, Toulouse, France, The 20th World Congress of the International Federation of Automatic Control, 9-14 July 2017, vol.50, Issue 1, July 2017, pp.12496-12501, 2017.

2016

[16-1] GM Luo, CY Yin, J Luo, Satisfiability degree analysis and deductive reasoning, IEEE Intelligent Systems, vol.31, No. 4, pp. 30-42, 2016

[16-22] GM Luo, XY Song, XJ Yang, K Thulasiraman, JF Monin, and GW Yang, Modeling, Optimization, and verification for complex systems, Mathematical Problems in Engineering, vol. 2458369, 2016

[16-3] GM Luo, CY Yin, Deductive reasoning and computing based on propositional logic, ICCI*CC 2016, IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC’16), pp. 294-299, 2016

[16-4] Z Jiang, GM Luo, KL Shen, Complex networks clustering for lower power scan segmentation in at-speed testing, IEICE Transactions on Electronics, vol. E99C, No. 9, pp. 1071-1079, 2016

[16-5] LY Zhang, QD Meng, GM Luo, Verification of lean-kanban processes with probabilistic model checking, International Journal of Computer Applications in Technology, vol. 53, No. 4, pp. 358-368, 2016

[16-6] BX Zhao, GM Luo, An alarm correlation algorithm based on similarity distance and deep network, 12th International Conference on Intelligent Computing (ICIC), Lanzhou, CHINA, Intelligent Computing Methodologies, ICIC 2016, PT III, Lecture Notes in Artificial Intelligence, vol.9773, pp. 359-368, 2016

[16-7] BX Zhao, GM Luo, A weighted hybrid model for unsteady nonlinear aerodynamics, ICCI*CC 2016, 2016 IEEE 15th Int’l Conf. on Cognitive Informatics & Cognitive Computing (ICCI*CC), pp. 219-225, 2016.

[16-8] FA Pu, GM Luo, Boolean matrix approach for Abstract Argumentation, AT 16, 4th International Conference on Agreement Technologies, Valencia, Spain, December 15-16, 2016

[16-9] FA Pu, GM Luo, Counter-Transitivity in Argument Ranking Semantics, The Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), Phoenix, Arizona, USA, pp.4256-4257, 2016

2015

[15-1] YL Zhang, GM Luo, Short term power load prediction with knowledge transfer, Information Systems, vol. 53, pp.161-169, 2015

[15-2] XJ Yang, GM Luo, New Lyapunov-type inequalities for a class of even-order linear differential equations, Mathematische Nachrichten, vol.288, No.16, pp.1910-1915, 2015

[15-3] FA Pu, J Luo, YL Zhang, GM Luo, Attacker and defender counting approach for abstract argumentation, 37th Annual Meeting of the Cognitive Science Society. Austin, TX: Cognitive Science Society, pp.1913–1918, 2015.

[15-4] FA Pu, J Luo, GM Luo, Some supplementaries to the counting semantics for abstract argumentation, IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), pp.242-249, 2015.

2014

[14-1] GM Luo, XY Song, XJ Yang, K Thulasiraman, Intelligent modeling and Verification, Journal of Applied Mathematics, 2014.

[14-2] GM Luo, Y Zhao, YL Zhang, A new recursive identification method for weighted criterion, 19th IFAC World Congress, Cape Town, South Africa, pp.24-29, August 2014

[14-3] J Luo, GM Luo, HR Qu, A software vulnerability rating approach based on the vulnerability database, Journal of Applied Mathematics, vol.2014, 2014.

[14-4] LY Zhang, QD Meng, GM Luo, Compositional abstraction refinement for component-based systems, Journal of Applied Mathematics, vol.2014, 2014.

[14-5] XJ Yang, GM Luo, Lyapunov-type inequalities for a class of higher-order linear differential equations with anti-periodic boundary conditions, Applied Mathematics Letters, vol.34, pp.33-36, 2014

[14-6] XJ Yang, YI Kim, GM Luo, Lyapunov-type inequalities for a class of higher-order linear differential equations, Applied Mathematics Letters, vol.34, pp.86-89, 2014

[14-7] YL Zhang，GM Luo, Inferring causal directions in Errors-in-Variables models, The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI), Québec, Canada, July, 2014

[14-8] YL Zhang, GM Luo, Fast algorithm for non-stationary Gaussian process prediction, The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI), Québec, Canada, July, 2014

[14-9] J Luo, FA Pu, YL Zhang, GM Luo, Computing preferences based on agents’ beliefs, The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI), Québec, Canada, July, 2014

[14-10] YL Zhang, GM Luo, Power load forecasting based on multi-task Gaussian process, 19th IFAC World Congress, Cape Town, South Africa, pp.24-29 August 2014

[14-11] KJ Qin, GM Luo, XB Zhao, Laxity release optimization for Simulink models, 19th IFAC World Congress, Cape Town, South Africa, pp.24-29 August 2014

[14-12] M Xia, GM Luo, Modeling and model checking by modular approach, 36th International Conference on Software Engineering (ICSE), Hyderabad, India, 2014

[14-13] LY Zhang, QD Meng, GM Luo, Counterexample-guided abstraction refinement for component-based systems, The 38th Annual International Computers, Software and Applications Conference (COMPSAC), pp.201-210, Jul 2014, V？ster？s, Sweden.

[14-14] LY Zhang, QD Meng, GM Luo, Model checking (k,d)-Markov chain with ipLTL, International Conference on Knowledge Science, Engineering and Management (KSEM), Sibiu, Romania, pp.178-189, 2014

[14-15] QD Meng, LY Zhang, GM Luo, Formal verification for embedded software with cognitive environment modelling, 13th IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC), London England, pp.355-360, 2014

[14-16] LY Zhang, QD Meng, GM Luo, Optimized symbolic model checking for component-based systems, 13th IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC), London England, pp.373-378, 2014.

[14-17] FA Pu, J Luo, YL Zhang, GM Luo, Argument ranking with Categorizer function, International Conference on Knowledge Science, Engineering and Management (KSEM), Sibiu, Romania, pp.1-12, 2014

2013

[13-1] GM Luo, G Chesi, XY Song, and XJ Yang, Intelligent modeling and verification, Journal of Applied Mathematics, vol.2013, 791363, 2013

[13-2] YL Zhang, GM Luo, Y Su, Convergence analysis of EFOP estimate based on frequency domain smoothing, Journal of Applied Mathematics, vol.2013, pp 1-8, 2013

[13-3] M Xia, GM Luo, SJ Shao, Formal modeling and verification for MVB, Journal of Applied Math., vol.2013, pp. 1-12, 2013

[13-4] D Fan, GM Luo, Recursive identification for dynamic linear systems from noisy input-output Measurements, Journal of Applied Mathematics, vol.2013, pp.1-8, 2013

[13-5] XJ Yang, YI Kim, GM Luo, Sufficient conditions for the intersection of orbits with the vertical isocline of the Liénard system, Mathematical and Computer Modelling, vol.57, pp. 2374–2377, 2013

[13-6] XJ Yang, YI Kim, GM Luo, Lyapunov-type inequality for dimensional quasilinear systems, Mathematical Inequalities & Applications, vol.16, Number 3, pp.929–934, 2013

[13-7] XJ Yang, YI Kim, GM Luo, Some Lyapunov-type inequalities for a class of nonlinear systems, Mathematical Inequalities & Applications, vol. 16, Number 3, pp.887–893, 2013

[13-8] M Xia, M Jin, GM Luo, Automatic verification of transition systems with unspecified components, Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS), pp 1740-1744, 2013

[13-9] FA Pu, J Luo, YL Zhang, GM Luo, Social welfare semantics for value-based argumentation framework，6th International Conference, KSEM 2013, Lecture Notes in Computer Science, v 8041 LNAI, pp.76-88, 2013

[13-10] X Mo, M Sun, GM Luo, Design and implementation of automatic verification for PLC systems, 12th IEEE International Conference on Cognitive Informatics and Cognitive Computing, pp.374-379, New York, 2013.

[13-11] SK Luo, GM Luo, XB Zhao, Common production process modeling for MES based on multi-agent, 2013 IEEE International Conference on Industrial Engineering and Engineering Management Bangkok, Thailand, pp. 1582-1586, 2013

[13-12] YL Zhang, GM Luo, An entropy based method for causal discovery in linear acyclic model, 20th International Conference on Neural Information Processing (ICONIP) Daegu, Korea, vol. 8227, pp. 250-256, 2013

2012

[12-1] XJ Yang, YI Kim, GM Luo, An oscillation criterion for forced half-linear differential equations with mixed nonlinearities, Applied Mathematics Letters, vol.25(12), pp.2128-2131, 2012

[12-2] XJ Yang, YI Kim, GM Luo, Lyapunov-type inequality for quasilinear systems, Applied Mathematics and Computation, vol.219(4), pp.1670-1673, 2012

[12-3] XJ Yang, YI Kim, GM Luo, Lyapunov-type inequality for a class of linear differential systems, Applied Mathematics and Computation, vol.219(4), pp.1805-1812, 2012

[12-4] XJ Yang, YI Kim, GM Luo, A Lyapunov-type inequality for a two-term even-order differential, Mathematical Inequalities & Applications, vol.15(3), pp.525-528, 2012

[12-5] XJ Yang, YI Kim, GM Luo, Periodic solutions for a generalized p-Laplacian equation, Applied Mathematics Letters, vol.25(3), pp.586-589, 2012

[12-6] SJ Shao, GM Luo, J Luo, XB Zhao, Circuit delay computation based on ITTPN, 12th IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC), pp.454-460, New York, 2013.

[12-7] XY Lu, GM Luo, Direct translation of LTL formulas to Büchi automata, 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC), pp.323-328, 2012

[12-8] Y Liu, GM Luo, YL Zhang, Response surface modeling by local kernel partial least square, 5th International Symposium on Parallel Architectures, Algorithms and Programming (PAAP), Taipei, TAIWAN, pp.269-276, 2012

2011

[11-1] XJ Yang, YI Kim, GM Luo, Lyapunov-type inequality for a class of quasilinear systems, Mathematical and Computer Modelling, vol.53, Issues 5–6, pp.1162–1166.

[11-2] YL Wang, GM Luo, Generic cabling with restrictions based on ant colony algorithm, International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), vol.3(2), pp.48-59, 2011.

[11-3] YL Zhang, Y Zhen, GM Luo, A new recursive kernel regression algorithm and its application in ultra-short time power load forecasting, The 18th IFAC World Congress, Milan, Italy, pp.12177-12182, 2011.

[11-4] YL Zhang, GM Luo, F Luo, Self-tuning filtering for multi-sensor data fusion based on forget factor algorithms, 6th IEEE Conference on Industrial Electronics and Applications (ICIEA), pp. 2415-20, 2011.

[11-5] J Luo, GM Luo, M Xia, Satisfiability degree theory for temporal logic, International Joint Conference on Computational Intelligence IJCCI (ECTA-FCTA), Paris, France, pp.497-500, 2011.

[11-6] J Luo, GM Luo, M Xia, An algorithm for satisfiability degree computation, International Joint Conference on Computational Intelligence IJCCI (ECTA-FCTA), Paris, France, pp.501-504, 2011.

[11-7] J Luo, GM Luo, Y Zhao, Satisfiability degree computation for linear temporal logic, 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2011, pp.373-380, 2011.

[11-8] PZ Liu, GM Luo, M Xia, MS He, Automatic verification of event-driven control programs: A case study, 2011 4th International Workshop on Advanced Computational Intelligence, IWACI 2011, pp.249-256, 2011.

[11-9] D Fan, GM Luo, Convergence analysis of an adaptive algorithm for identifying errors-in-variables systems, IEEE International Conference on Intelligent Computing and Integrated Systems (ICISS), pp.411-416, 2011.

[11-10] D Fan, GM Luo, An adaptive algorithm for identifying errors-in-variables systems, International Conference on Computer Control and Automation (ICCCA), 1st-3rd, Jeju Island, Korea, May 2011.

[11-11] D Fan, GM Luo, Strongly consistent identification for stochastic linear errors-in-variables systems, 11th International Conference on Control, Automation and Systems (ICCAS), Gyeonggi-do, South Korea, pp.1540-1545, 2011.

[11-12] JL Wang, GM Luo, Argumentation framework with weighted argument structure, 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC, Banff Canada, pp. 385-391, 2011.

[11-13] M Ouyang, GM Luo, Bounded model checking for branch time logic, Proceedings of 2011 World Congress on Engineering and Technology, vol.7, pp.23-26, 2011.

2010

[10-1] XJ Yang, YI Kim, GM Luo Lyapunov-type inequality for a class of odd-order differential equations, Journal of Computational and Applied Mathematics, vol.234(10), pp.2962-2968, 2010.

[10-2] XJ Yang, GM Luo, Lyapunov-type inequality for a class of even-order differential equations, Applied Mathematics and Computation, vol.215(11), pp.3884–3890.

[10-3] J Luo, GM Luo, Satisfiability degree computation based on proposition matrix reduction algorithm, Journal of Computational Information Systems, vol.6(2), pp.371-378, 2010.

[10-4] Y. Zhao, GM Luo, Satisfiability degree analysis for transition system, International Conference, AICI 2010, Lecture Notes in Computer Science, vol. 6319, Artificial Intelligence and Computational Intelligence, pp. 25-32, 2010

[10-5] D Fan, GM Luo, Frisch Scheme identification for Errors-in-Variables systems, Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010, pp.794-799, 2010.

[10-6] J Luo, GM Luo, Proposition matrix search algorithm for satisfiability degree computation, Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010, pp.974-977, 2010.

[10-7] YL Zhang, GM Luo, Adaptive signal processing for ARX system disturbed by complex noise, Lecture Notes in Computer Science, vol.6319 Artificial Intelligence and Computational Intelligence, pp.201-208, 2010.

[10-8] BS Wang, GM Luo, Extend argumentation frameworks based on degree of attack, Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010, pp.771-776, 2010.

[10-9] YS Zheng, GM Luo, JB Sun, JJ Zhang, ZF Wang, PLC Modeling and Checking Based on Formal Method, Journal of Software Engineering and Applications, vol.3, pp 1054-1059, 2010.

2009

[09-1] GM Luo, R Jiang, DH Li, Adaptive one-step-ahead optimal controller based on WLS schemes, International Journal of Adaptive Control and Signal Processing, vol.23, 241-259, 2009.

[09-2] GM Luo, CY Yin, P Hu, An Algorithm for Calculating the Satisfiability Degree, Proceedings of the 5th International Conference on Fuzzy Systems and Knowledge Discovery, pp.322-326, 2009.

[09-3] D Fan, GM Luo, Identification for disturbed MIMO Wiener systems, Nonlinear Dynamics, vol.55, No.1，pp.31-42，2009

[09-4] XJ Yang, GM Luo, Invariant curves and boundedness of solutions of a class of reversible systems, Mathematische Nachrichten, vol.282, No.1, pp.142-154, 2009.

[09-5] CY Yin, GM Luo, Efficient Translation of LTL to Büchi Automata, Tsinghua Science and Technology, vol.14, No.1, pp.75-82, 2009

[09-6] JB Sun, GM Luo, Reduction and simplification of explicit LTL model checking via an abstraction method, Tsinghua Science and Technology, vol.14, No.1, pp.90-94, 2009

[09-7] ZY Zang, GM Luo, CY Yin, Verification of interdomain routing system based on formal methods, Tsinghua Science and Technology, vol.14, No.1, pp.83-89, 2009

[09-8] M Zhang, GM Luo, DH Li, One-step-ahead optimal adaptive control based on ELS algorithm, The International Conference on Computational Science 2009 (ICCS), pp.1-5, 2009.

[09-9] CY Yin, GM Luo, P Hu, Backtracking search algorithm for satisfiability degree calculation, Proceedings of the 6th International Conference on Fuzzy Systems and Knowledge Discovery, pp.3-7, 2009.

[09-10] P Hu, GM Luo, CY Yin, Computation of satisfiability degree based on CNF, Proceedings of the 6th International Conference on Fuzzy Systems and Knowledge Discovery, pp.142-146, 2009.

[09-11] Y Zhao, GM Luo, Recursive algorithms for parameter identification of systems disturbed by color noise, Journal of Tsinghua University, vol.49, No.1, pp.135-141, 2009.

[09-12] ZX Liang, GM Luo, HB Kuang, On-the-fly deadlock detection with partial-order reduction based on CEGAR, Computer Engineering, vol.35(19), pp.65-68, 2009.

[09-13] H Cui, M Wang, GM Luo, GY He, Ultra-short term load forecasting based on adaptive control and extended time-series distance method, Automation of Electric Power Systems, vol.15, pp.38-42, 2009.

2008

[08-1] GM Luo，J Huang, Recursive algorithm for the two-stage EFOP estimation method, Science in China, F, Vol.51, Issue: 2, pp.145-157, 2008

[08-2] GM Luo，H Kimura, and WH Kwon, Recursive identification algorithms based on minimizing estimation error, Proceedings of 17th IFAC Congress, Seoul, Korea, vol.41, Issue 2, pp.7510-7515, 2008

[08-3] XJ Yang, GM Luo, Existence of a positive solution of a fourth-order boundary value problem, Nonlinear Analysis: Theory, Methods & Applications, vol.69, No.7, pp.2267-2273, 2008.

[08-3] XJ Yang, YI Kim, GM Luo, Approximation for constant e and its applications, Applied Mathematics and Computation, vol.206, Issue: 1, pp.50-55, 2008.

[08-4] D Fan D, GM Luo, Y Zhao, WH Kwon, Identification for a kind of disturbed multi-dimensional Wiener systems, Proceedings of 17th IFAC Congress, Seoul, Korea, vol.41, Issue 2, pp.10240-10245, 2008.

[08-5] B Geng, GM Luo, R Jiang, WH Kwon, An optimal adaptive control approach for power systems, Proceedings of 17th IFAC Congress, Seoul, Korea, vol.41, Issue 2, pp.6992-6997, 2008.

[08-6] Y Zhao，GM Luo, WH Kwon, Identification of multi-dimensional system based on a novel criterion, Proceedings of ICINCO, Funchal, Portugal, vol. SPSMC, pp.143-148, 2008.

[08-7] Y Zhao, GM Luo, WH Kwon, Recursive algorithms for a novel identification criterion, Proceedings of CISP, vol.5, pp.116-120, 2008.

[08-8] B Geng, R Jiang, GM Luo, A novel adaptive control approach and its application in power system, Journal of Harbin Institute of Technology，vol.40, No.11, pp.1796-1799, 2008。

[08-9] R Jiang, J Wang, DH Li, GM Luo, Applications of improved least-squares algorithm in main steam temperature control system, Journal of Tsinghua University, vol.48(01), pp.97-100, 2008

[08-10] MY Yang, GM Luo, Model Checking method of large-scale concurrent program, Computer Engineering, vol.13, pp.72-74, 2008

[08-11] HB Kuang, GM Luo, Parallel software model checking, Computer Engineering, vol.19, pp.23-25, 2008.

2007

[07-1] R Jiang, GM Luo, Optimal adaptive controller for multidimensional ARMAX model，Cybernetics and Systems, vol.38 (2), pp.141-154, 2007.

[07-2] XJ Yang, GM Luo, Existence and uniqueness of periodic solution for a class of differential systems，Journal of mathematical analysis and applications, vol.327 (1) pp.36-46, 2007.

[07-3] XJ Yang, GM Luo, Nonoscillation criteria for quasilinear second order differential equations，Journal of mathematical analysis and applications, vol.331 (2), pp.1023-1032, 2007.

[07-4] XJ Yang, GM Luo, Unboundedness of solutions of a class of planar Hamiltonian systems, Mathematische Nachrichten, vol.280 (11), pp.1317-1331, 2007.

[07-5] XJ Yang, GM Luo, Quasi-periodic solutions in nonlinear asymmetric oscillations, Zeitschrift fur Analysis und Ihre Anwendungen, vol.26 (2), pp.207-220, 2007.

[07-6] Y Jin, GM Luo, Convergence of recursive identification for ARMAX process with increasing variances，Tsinghua Science and Technology, vol.12, No.1, pp.38-43, 2007.

[07-7] R Jiang, GM Luo, Discrete time optimal adaptive control for linear stochastic systems，Tsinghua Science and Technology，vol.12, No.1, pp.105-110, 2007.

[07-8] B Geng, R Jiang, GM Luo, Optimal adaptive power system stabilizer based on least-squares algorithm, Electric Machines and Control, vol.11, No.5, pp.512-516, 2007.

[07-9] P Zhang, GM Luo, Research of model checking UML, Computer Applications, vol.27(10), pp.2493-2497, 2007.

[07-10] Y Jiang, GM Luo, Extension and verification of Petri-net models, Computer Applications, vol.27(01), pp.183-185, 2007.

2006

[06-1] GM Luo, H Kimura, WH Kwon, X J Yang，Empirical Frequency-domain Optimal Parameter Estimate for Black-box Processes, IEEE Transactions Circuits and Systems I: Regular Papers, vol. 53, No.2, pp.419-430, 2006

[06-2] GM Luo, J Huang, Recursive algorithm for the two-stage EFOP estimation method, Science in China, Ser.E, Information Sciences, vol.36(12), pp.1442-1455, 2006

[06-3] R Jiang, GM Luo, Optimal adaptive controller for stochastic systems based on weighted least-squares algorithm, ACTA Automatica Sinica, vol.32, No.1, pp.140-147, 2006.

[06-5] K Li, GM Luo, Ideal secret sharing schemes with multipartite access structure, Computer Engineering and Applications, 2006,04, pp.142-144, 2006.

[06-6] XB Zhao, KY Lam, GM Luo, Minimal threshold closure, Lecture Notes in Computer Science, vol.4189, pp.145-155, 2006.

[06-7] B Zhang, GM Luo, P Wang, Efficient method of model checking based on LTL and Petri net, Computer Applications, 2006,10, pp.2490-2493, 2006.

[06-8] K Li, GM Luo, Realization of ideal multipartite access structure based on threshold scheme, Computer Engineering, vol.32(16), pp.151-152, 2006.

[06-9] B Zhang, GM Luo, Research on constraint consistency based on CTL and Petri net, Computer Engineering and Applications, 2006,23, pp.52-57, 2006.

[06-10] JZ Kuang, GM Luo, XZ Cheng, H Zhong, Static presentation of bulletin board system, Microcomputer Information, vol.22(6-3), pp.4-6, 2006.

Before 2006

[0-1] GM Luo, H Kimura, Optimal adaptive controller for systems with delay, International Journal of Adaptive Control and Signal Processing, vol.18, pp.799-819, 2004.

[0-2] GM Luo, WH Kwon, New Identification Approaches for Disturbed Models, Automatica, vol.39, pp.1627-1634, 2003

[0-3] GM Luo, H Kimura, Recursive estimation methods for discrete systems, IEEE Transactions on Automatic Control，vol.48, pp.2019-2024, 2003

[0-4] GM Luo, Q Lu, and WH Kwon, Comments on “Optimal solution of the two-state Kalman estimator”, IEEE Transactions on Automatic Control, vol.47(1), pp.198-199, 2002.

[0-5] GM Luo, WH Kwon, A new identification approach for FIR models, IEEE Transactions on Circuits and Systems-II: Analog and Digital Signal Processing, vol.49(6), pp.439-446, 2002.

[0-6] GM Luo, DC Zhang, Stochastic adaptive one-step-ahead optimal controllers based on input matching, IEEE Transactions on Automatic Control, vol.45(5), pp.980-983, 2000

[0-7] GM Luo, WH Kwon, A new identification approach for ARX models, 15th World Congress of International Federation of Automatic Control (IFAC’b02), Spain, vol.35, Issue 1, pp. 419-424, 2002.

[0-8] GM Luo, H Kimura, and WH Kwon, A new identification approach for discrete systems, Proceedings of the 4th ASCC, Singapore, pp.1254-1259, 2002.

[0-9] GM Luo, WH Kwon, and H Kimura, Identification for FIR systems with color noise, Proceedings of the 4th ASCC, Singapore, pp.2020-2025, 2002.

[0-10] GM Luo, Optimal adaptive controllers based on LS algorithms, Chinese Journal of Automation, vol.8(1), pp.73-80, 1996.

[0-11] GM Luo, Robustness of adaptive control for stochastic systems, International Journal of Control, vol.64(3), pp.463-482, 1996.

[0-12] GM Luo, Robustness of stochastic adaptive controller based on modified LS algorithm, Mathematica Acta Scientia, vol.15, No.12, pp.1-12, 1995.

[0-13] GM Luo, Optimal adaptive controllers based on least-squares algorithms, ACTA Automatica Sinica, vol.22，No.1, pp. 79－84, 1996.

[0-14] GM Luo, Optimal adaptive tracking for stochastic systems, 14th World Congress of International Federation of Automatic Control (IFAC), vol.I, pp.385-390, 1999.

[0-15] GM Luo, Adaptive tracking of time-delay systems, Journal of Tsinghua University, vol.36, No.12, pp. 91-97, 1996.

[0-16] GM Luo, Identification and structure selection for nonlinear stochastic systems, Tsinghua Science and Technology, vol.2(3), pp.730-733, 1997.

[0-17] GM Luo, Real-time adaptive control for the nonlinear stochastic systems, Tsinghua Science and Technology, vol.2(3), pp.734-736, 1997.

[0-18] GM Luo, Equivalent representation of nth-order stochastic models, Transactions of the Society of Instrument and Control Engineers, vol.25(5), pp.537-543, 1989

[0-19] GM Luo, On the topology of space of linear controllable systems with boundary condition, 5th International Conference on Boundary and Interior Layers-Computational and Asymptotic Methods, BAIL V, pp.233-238, 1988.

Academic journal editor

Intelligent Modeling and Verification (SCI Journal), Lead Guest Editor (2012,6-2013,9);

Intelligent Modeling and Verification 2014 (SCI Journal), Lead Guest Editor (2013,9-2014,10);

Modeling, Optimization, and Verification for Complex Systems (SCI Journal), Lead Guest Editor (2014,11-2015,12)

Supervised Ph. D Graduated Students:

Dan Fan (13-06), Yulai Zhang (15-06), Lianyi Zhang (15-06), Mo Xia (15-06), Jian Luo (15-06), Zhigang Yu (16-06), Fuan Pu (17-06), Zhou Jiang (17-06)

Supervised M.S. Degree Graduated Students:

Xiang Zhang (05-12), Jian Huang (06-06), Quan Yao (06-06), Ya Jin (06-06), Dezhi Zeng (06-06), Hua Zhang (06-06), Kai Li (06-06), Ying Xi (06-06), Bin Zhang (06-06), Hongwei He (06-06), Jianzhong Kuang (06-12), Qi Zhang (06-12), Hua Shao (06-12), Yu Jiang (07-06), Pin Zhang (07-06), Yan Huang (07-06), Xiaoli Ruan (07-06), Yang Jiang (07-06), Haibo Wu (07-06), Yunfeng Sun (07-06), Weidong Qi (07-06), Zhiyuan Zang (07-06), Yang Su (07-06), Xiaohan Wang (07-06), Lili Sun (07-06), Dehong Pan (07-06), Yunlong Wang (07-12), Bo Geng (08-06), Hongbin Kuang (08-06), Mingyuan Yang (08-06), Junbo Sun (08-06), Dan Fan (08-06), Yuying Song (08-06), Sihong Jiang (08-12), Chen Zou (08-12), Chongyuan Yin (09-06), Hang Cui (09-06), Wei Guo (09-06), Jianhua Li (09-06), Zhongxing Liang (09-06), Junjie Chen (09-06), Xiaoping Ji (09-06), Li Zhang (09-06), Jun Tian (09-06), Ming Ma (09-12), Qiuyun Zhong (09-12), Yue Zhao (10-06), Zhipeng Xing (10-06), Fu Luo (10-06), Pei Hu (10-06), Mo Zhang (10-06), Zhen Yan (10-06), Xingfang Ma (10-06), Zongmin Wang (10-06), Huyu Liu (10-06), Mian Wang (10-12), Xiaoyun Lao (10-12), Junjie Zhang (11-06), Yueshan Zheng (11-06), Yang Zhao (11-06), Yulai Zhang (11-06), Qing Chen (11-12), Xinye Lu (12-06), Song Wei (12-06), Peizun Liu (12-06), Ming Ouyang (12-06), Jilong Wang (12-06), Yuwei Zhang (12-12), Yuhao Wu (12-12), Yu Liu (13-06), Hongwei Li (13-06), Shuangjia Shao (13-06), Kaijie Qin (14-06), Qi Wu (14-06), Mian Sun (14-06), Sikai Luo (14-06), Qingdi Meng (14-06)，Qian Qian (14-12), Bin Wang (14-12), Yuan Liu (15-06)，Quanhang Ba (15-06), Ming Chen (15-06)，Shiyuan Du (16-06), Mengqi Jiang (16-06), Ruichao Liu (16-06), Shaowei Li (16-12), Zhongjun Li (16-12), Chao Peng (17-06), Yucheng Chen (17-06), Qilu Sun (17-12)