软件学院

School Of Software

Introduction:

Name:Luo Guiming

Position: Professor

Tel:86-10-62795440

Email:gluo@tsinghua.edu.cn


Education background:

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:

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


Social service:

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)

 


Areas of Research Interests/ Research Projects:

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


Academic Achievement:

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