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.

Experience

From August 1992 - August 2003, worked in the Department of Mathematical Sciences, Tsinghua University;

September 2000-August 2001, visiting professor, Seoul National University;

September 2001-April 2003, JSPS Fellow, University of Tokyo;

From December 2007 - October 2008, JSPS Fellow, Kyoto University;

August 2003 – Now, working at the School of Software, Tsinghua University

Patents

1. GM Luo, M Xia, J Luo, An automatic detection method of integrated modular modeling and model checking, China, patent No: ZL 201310100460.7, 2016.
2. GM Luo, M Xia, M Sun, HY Liu, XY Lu, A detection device based on the integrated system of modular modeling and model checking, China, patent No: ZL 201310350096.X, 2017
3. GM Luo Y He, Automatic online detection method for two-dimensional PCB defects based on deep learning, China，patent No: 202010412967.6, 2019
4. GM Luo, Y He, A device of online automatic detection and classification for two-dimensional PCB defects based on deep learning, China, patent No: 202010699142.7, 2019
5. GM Luo, Y He, Image deflection correction technology based on Radon transform, China, patent No: 202010647748.6, 2019
6. GM Luo, Y He, PCB positioning technology based on projection filtering, China, patent No: 202010104809.1, 2019
7. GM Luo, Y He, PCB image block sampling technology based on correlation analysis, China，patent No: 202010104106.1, 2019
8. GM Luo, Y He, PCB image color transforming technology based on cluster analysis, China，patent No: 202010212750.2, 2019
9. GM Luo, Y He, 基於深度學習的二維PCB外觀缺陷實時自動檢測之方法，Taiwan, patent No: 202144766，2021
10. GM Luo, Y He, 深層学習に基づく２次元ＰＣＢ外観欠陥のリアルタイム自動検出方法，Japan, patent No: 2021-180309, 2021 

Software copyright

1. GM Luo, M Xia, System software of integrated modular modeling and model checking（MMMC）, China, National Copyright Administration No:2020SR0451056, 2020.
2. GM Luo, Y He, Based on deep learning PCB defect detection system software (DPD) V1.0，China, National Copyright Administration No: 2020SR0451050, 2020
3. GM Luo, YH Han, Y Liu, CQ Chu, Dashboard display identifying system V1.0, China, National Copyright Administration No:2021SR0953419, 2021 

Certificate

GM Luo, Software Theory, National first-class Undergraduate Course, Ministry of Education, China, 2020.11 

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) 

Publications

After 2018

[19-1] GM Luo，BX Zhao, SY Du, Causal inference and Bayesian network structure learning from nominal data, Applied Intelligence, vol.49(1), pp. 253-264, 2019.
[19-2] J Qi, GM Luo, Formal codesign and implementation for multifunction vehicle bus circuits, IEEE Transactions on Vehicular Technology, vol.68(6), pp. 5221-5235, 2019.
[19-3] BX Zhao, GM Luo，Reasoning of causal direction in linear model based on Spearman's rank correlation coefficient, 12th International Conference, KSEM 2019, Athens, Greece, Proceedings: Lecture Notes in Artificial Intelligence (LNAI 11776), pp.259-270, 2019
[19-4] BX Zhao, GM Luo， A new causal direction reasoning method for decision making on noisy data, 2019 IEEE Intelligent Vehicles Symposium (IV), Paris, France, pp.2471-2476, 2019.
[19-5] CQ Chu, GM Luo, MY Zhang, An optimized model checking parallel algorithm based on CUDA, 18th IEEE International Conference on Cognitive Informatics and Cognitive Computing, Milan, Italy, Proceedings of ICCI*CC19, pp.446-452, 2019.
[19-6] H Ya, GM Luo, Multi-scale point pillars 3D object detection network, 18th IEEE International Conference on Cognitive Informatics and Cognitive Computing, Milan, Italy, Proceedings of ICCI*CC19, pp.174-179, 2019.

[19-7] YL Zhang, JC Wang, G Cen, GM Luo, Parallel ensemble methods for causal direction inference, Journal of Parallel and Distributed Computing, vol.150, pp.96–103, 2021
[19-8] YL Zhang, YC Wang, GM Luo, A new optimization algorithm for non-stationary time series prediction based on recurrent neural networks, Future Generation Computer Systems, vol.102, pp. 738–745, 2020

2018
[18-1] GM Luo, BX Zhao, MQ Jiang, Improved state space model using iterative PSO for unsteady aerodynamic system at high AOA, International Journal of Cognitive Informatics and Natural Intelligence, vol.12(3), pp.1-17, 2018.
[18-2] YL Zhang, GM Luo, Causal direction inference for air pollutants data，Computers & Electrical Engineering, vol.68, pp. 404-411, 2018.
[18-3] YL Zhang, YF Cen, GM Luo, Causal direction inference for network alarm analysis， Control Engineering Practice, vol.70, pp. 148-153, 2018.
[18-4] BX Zhao, GM Luo, Classification and visualization of alarm data based on heterogeneous distance, International Journal of Data Warehousing and Mining, vol.14(2), pp. 60-80, 2018.

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. 

Supervised Graduated Students

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), Boxu Zhao (19-06) 

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), Ji Qi (18-06), Mingyang Zhang (18-06), Xing Zhang (18-12), Hang Ya (19-06), Yue He（20-06），Shanyu Chen（20-06），Jiawei Liu（20-08），Zhengyue Huang（21-06），Yuan Liu（21-06），Feihong Wei（21-06），Jing Dai（21-08）