当前位置: X-MOL首页全球导师 国内导师 › 罗贵明

个人简介

教育背景 1988年9月,毕业于中国科学技术大学,获硕士学位 1992年7月,毕业于中国科学院系统科学研究所,获博士学位 工作履历 1992年8月–2003年8月,清华大学数学科学系工作 2000年9月–2001年8月,Seoul National University, 访问教授 2001年9月–2003年4月,University of Tokyo, JSPS Fellow 2007年12月-2008年10月,Kyoto University, JSPS Fellow 学术期刊编辑 《Intelligent Modeling and Verification》(SCI期刊)特邀主编(2012,6-2013,9) 《Intelligent Modeling and Verification 2014》(SCI期刊)特邀主编(2013,9-2014,10) 《Modeling, Optimization, and Verification for Complex Systems》(SCI期刊)特邀主编(2014,11-2015,12) 2003年8月–现在,软件学院工作

研究领域

数据建模与分析;自适应控制与信号跟踪;软件的形式化方法;软件建模与检测;软/硬件协同设计与实现;人工智能与智能制造

近期论文

查看导师最新文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

罗贵明,BX Zhao, SY Du, Causal inference and Bayesian network structure learning from nominal data, Applied Intelligence, vol.49(1), pp. 253-264, 2019. J Qi, 罗贵明, Formal codesign and implementation for multifunction vehicle bus circuits, IEEE Transactions on Vehicular Technology, vol.68(6), pp. 5221-5235, 2019. BX Zhao, 罗贵明,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 BX Zhao, 罗贵明, A new causal direction reasoning method for decision making on noisy data, 2019 IEEE Intelligent Vehicles Symposium (IV), Paris, France, pp.2471-2476, 2019. CQ Chu, 罗贵明, 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. H Ya, 罗贵明, 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. YL Zhang, JC Wang, G Cen, 罗贵明, Parallel ensemble methods for causal direction inference, Journal of Parallel and Distributed Computing, vol.150, pp.96–103, 2021 YL Zhang, YC Wang, 罗贵明, 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 罗贵明, 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. YL Zhang, 罗贵明,Causal direction inference for air pollutants data,Computers & Electrical Engineering, vol.68, pp. 404-411, 2018. YL Zhang, YF Cen, 罗贵明,Causal direction inference for network alarm analysis, Control Engineering Practice, vol.70, pp. 148-153, 2018. BX Zhao, 罗贵明, Classification and visualization of alarm data based on heterogeneous distance, International Journal of Data Warehousing and Mining, vol.14(2), pp. 60-80, 2018. YL Zhang, WF Ma, 罗贵明, Inferring causal directions from uncertain data, Engineering Applications of Artificial Intelligence, vol.65, pp.261-267, 2017. YL Zhang, 罗贵明, Recursive prediction algorithm for non-stationary Gaussian process, Journal of Systems and Software, vol.127, pp.295-301, 2017. FA Pu, 罗贵明, Z Zhou, Encoding argumentation semantics by Boolean algebra, IEICE Transactions on Information and Systems, vol.100D, No.4, pp.838-848, 2017. LY Zhang, 罗贵明, DH Qing, Statistical model checking of stochastic component-based systems, Journal of Statistical Computation and Simulation, vol.87, No.13, pp.2509-2525, 2017. YX Wang, LA Zadeh, B Widrow, N Howard, F Beaufays, G Baciu, DF Hsu, 罗贵明, 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. BX Zhao, 罗贵明, 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. Q Ji, 罗贵明, 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. C Peng, XY Zhang, G Yu, 罗贵明, 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. FA Pu, 罗贵明, 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. FA Pu, 罗贵明, 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. 罗贵明, CY Yin, J Luo, Satisfiability degree analysis and deductive reasoning, IEEE Intelligent Systems, vol.31, No. 4, pp. 30-42, 2016 罗贵明,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 罗贵明, 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 Z Jiang, 罗贵明, 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 LY Zhang, QD Meng, 罗贵明, Verification of lean-kanban processes with probabilistic model checking, International Journal of Computer Applications in Technology, vol. 53, No. 4, pp. 358-368, 2016 BX Zhao,罗贵明, 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 BX Zhao, 罗贵明, 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. FA Pu, 罗贵明, Counter-Transitivity in Argument Ranking Semantics, The Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), Phoenix, Arizona, USA, pp.4256-4257, 2016 YL Zhang, 罗贵明,Short term power load prediction with knowledge transfer,Information Systems, vol. 53, pp.161-169, 2015 XJ Yang, 罗贵明, New Lyapunov-type inequalities for a class of even-order linear differential equations, Mathematische Nachrichten, vol.288, No.16, pp.1910-1915, 2015 FA Pu, J Luo, YL Zhang, 罗贵明, 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. FA Pu, J Luo, 罗贵明, Some supplementaries to the counting semantics for abstract argumentation, IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), pp.242-249, 2015. 罗贵明,XY Song, XJ Yang, K Thulasiraman, Intelligent modeling and Verification, Journal of Applied Mathematics, 2014. 罗贵明,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 J Luo, 罗贵明, HR Qu, A software vulnerability rating approach based on the vulnerability database, Journal of Applied Mathematics, vol.2014, 2014. LY Zhang, QD Meng, 罗贵明, Compositional abstraction refinement for component-based systems, Journal of Applied Mathematics, vol.2014, 2014. XJ Yang, 罗贵明,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 XJ Yang, YI Kim, 罗贵明,Lyapunov-type inequalities for a class of higher-order linear differential equations, Applied Mathematics Letters, vol.34, pp.86-89, 2014 YL Zhang,罗贵明,Inferring causal directions in Errors-in-Variables models, The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI), Québec, Canada, July, 2014 YL Zhang,罗贵明,Fast algorithm for non-stationary Gaussian process prediction, The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI), Québec, Canada, July, 2014 J Luo, FA Pu, YL Zhang, 罗贵明, Computing preferences based on agents’ beliefs, The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI), Québec, Canada, July, 2014 YL Zhang, 罗贵明,Power load forecasting based on multi-task Gaussian process, 19th IFAC World Congress, Cape Town, South Africa, pp.24-29 August 2014 KJ Qin, 罗贵明, XB Zhao, Laxity release optimization for Simulink models, 19th IFAC World Congress, Cape Town, South Africa, pp.24-29 August 2014 M Xia, 罗贵明,Modeling and model checking by modular approach,36th International Conference on Software Engineering (ICSE), Hyderabad, India, May 31- June 7, 2014 LY Zhang, QD Meng, 罗贵明, Counterexample-guided abstraction refinement for component-based systems, The 38th Annual International Computers, Software & Applications Conference (COMPSAC), pp.201-210, Jul 2014, Västerås, Sweden. LY Zhang, QD Meng, 罗贵明, Model checking (k,d)-Markov chain with ipLTL, International Conference on Knowledge Science, Engineering and Management (KSEM), Sibiu, Romania, pp.178-189, 2014 QD Meng, LY Zhang, 罗贵明, Formal verification for embedded software with cognitive environment modelling, 13th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC), London England, pp.355-360, 2014 LY Zhang, QD Meng, 罗贵明, Optimized symbolic model checking for component-based systems, 13th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC), London England, pp.373-378, 2014. FA Pu, J Luo, YL Zhang, 罗贵明, Argument ranking with Categorizer function, International Conference on Knowledge Science, Engineering and Management (KSEM), Sibiu, Romania, pp.1-12, 2014 罗贵明, G Chesi, XY Song, and XJ Yang, Intelligent modeling and verification, Journal of Applied Mathematics, vol.2013, 791363, 2013 YL Zhang, 罗贵明, Y Su, Convergence analysis of EFOP estimate based on frequency domain smoothing, Journal of Applied Mathematics, vol.2013, pp 1-8, 2013 M Xia, 罗贵明, SJ Shao, Formal modeling and verification for MVB, Journal of Applied Math., vol.2013, pp. 1-12, 2013 D Fan, 罗贵明, Recursive identification for dynamic linear systems from noisy input-output Measurements, Journal of Applied Mathematics, vol.2013, pp.1-8, 2013 XJ Yang, YI Kim, 罗贵明, 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 XJ Yang, YI Kim, 罗贵明, Lyapunov-type inequality for dimensional quasilinear systems, Mathematical Inequalities & Applications, vol.16, Number 3, pp.929–934, 2013 XJ Yang, YI Kim, 罗贵明, Some Lyapunov-type inequalities for a class of nonlinear systems, Mathematical Inequalities & Applications, vol. 16, Number 3, pp.887–893, 2013 M Xia, M Jin, 罗贵明, Automatic verification of transition systems with unspecified components, Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS), pp 1740-1744, 2013 FA Pu, J Luo, YL Zhang, 罗贵明,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 X Mo, M Sun, 罗贵明,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. SK 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 YL Zhang, 罗贵明, 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 XJ Yang, YI Kim, 罗贵明,An oscillation criterion for forced half-linear differential equations with mixed nonlinearities,Applied Mathematics Letters, vol.25(12), pp.2128-2131, 2012 XJ Yang, YI Kim, 罗贵明,Lyapunov-type inequality for quasilinear systems,Applied Mathematics and Computation, vol.219(4), pp.1670-1673, 2012 XJ Yang, YI Kim, 罗贵明,Lyapunov-type inequality for a class of linear differential systems,Applied Mathematics and Computation, vol.219(4), pp.1805-1812, 2012 XJ Yang, YI Kim, 罗贵明,A Lyapunov-type inequality for a two-term even-order differential, Mathematical Inequalities & Applications, vol.15(3), pp.525-528, 2012 XJ Yang, YI Kim, 罗贵明,Periodic solutions for a generalized p-Laplacian equation,Applied Mathematics Letters, vol.25(3), pp.586-589, 2012 SJ Shao, 罗贵明, 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. XY Lu,罗贵明,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 Y Liu, 罗贵明,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 XJ Yang, YI Kim, 罗贵明,Lyapunov-type inequality for a class of quasilinear systems,Mathematical and Computer Modelling, vol.53, Issues 5–6, pp.1162–1166. YL Wang,罗贵明,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. YL Zhang, Y Zhen, 罗贵明,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. YL Zhang, 罗贵明,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. J Luo, 罗贵明,M Xia, Satisfiability degree theory for temporal logic, International Joint Conference on Computational Intelligence IJCCI (ECTA-FCTA), Paris, France, pp.497-500, 2011. J Luo, 罗贵明,M Xia, An algorithm for satisfiability degree computation,International Joint Conference on Computational Intelligence IJCCI (ECTA-FCTA), Paris, France, pp.501-504, 2011. J 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. PZ Liu,罗贵明,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. D Fan, 罗贵明, 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. D Fan, 罗贵明, An adaptive algorithm for identifying errors-in-variables systems, International Conference on Computer Control and Automation (ICCCA), 1st-3rd, Jeju Island, Korea, May 2011. D Fan, 罗贵明, 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. JL Wang, 罗贵明,Argumentation framework with weighted argument structure,10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC, Banff Canada, pp. 385-391, 2011. M Ouyang, 罗贵明, Bounded model checking for branch time logic, Proceedings of 2011 World Congress on Engineering and Technology, vol.7, pp.23-26, 2011. XJ Yang, YI Kim, 罗贵明,Lyapunov-type inequality for a class of odd-order differential equations,Journal of Computational and Applied Mathematics, vol.234(10), pp.2962-2968, 2010. XJ Yang, 罗贵明,Lyapunov-type inequality for a class of even-order differential equations, Applied Mathematics and Computation, vol.215(11), pp.3884–3890. J Luo,罗贵明,Satisfiability degree computation based on proposition matrix reduction algorithm,Journal of Computational Information Systems, vol.6(2), pp.371-378, 2010. Y. Zhao,罗贵明,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 D Fan,罗贵明,Frisch Scheme identification for Errors-in-Variables systems, Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010, pp.794-799, 2010. J 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. YL Zhang, 罗贵明,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. BS Wang, 罗贵明,Extend argumentation frameworks based on degree of attack,Proceedings of the 9th IEEE International Conference on Cognitive Informatics, ICCI 2010, pp.771-776, 2010. YS Zheng, 罗贵明,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. 罗贵明,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. 罗贵明, 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. D Fan, 罗贵明, Identification for disturbed MIMO Wiener systems, Nonlinear Dynamics, vol.55, No.1,pp.31-42,2009 XJ Yang, 罗贵明, Invariant curves and boundedness of solutions of a class of reversible systems, Mathematische Nachrichten, vol.282, No.1, pp.142-154, 2009. CY Yin,罗贵明,Efficient Translation of LTL to Büchi Automata,Tsinghua Science and Technology,vol.14, No.1, pp.75-82, 2009 JB Sun,罗贵明,Reduction and simplification of explicit LTL model checking via an abstraction method,Tsinghua Science and Technology,vol.14, No.1, pp.90-94, 2009 ZY Zang,罗贵明,CY Yin, Verification of interdomain routing system based on formal methods,Tsinghua Science and Technology,vol.14, No.1, pp.83-89, 2009 M Zhang, 罗贵明, DH Li, One-step-ahead optimal adaptive control based on ELS algorithm, The International Conference on Computational Science 2009 (ICCS), pp.1-5, 2009. CY Yin, 罗贵明, 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. P Hu, 罗贵明, 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. 赵玥,罗贵明, 有色噪声干扰系统的递推算法, 清华大学学报,vol.49, No.1, pp.135-141, 2009. 梁中兴, 罗贵明, 旷宏斌,基于CEGAR 偏序化简的并行程序死锁检测,计算机工程, vol.35, 19 期, pp.65-68, 2009. 崔航,王冕,罗贵明,何光宇,基于扩展时序距离法和自适应控制的超短期负荷预测, 电力系统自动化, vol.15, pp.38-42, 2009. 罗贵明,J Huang, Recursive algorithm for the two-stage EFOP estimation method, Science in China, F, Vol.51, Issue: 2, pp.145-157, 2008 罗贵明,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 XJ Yang, 罗贵明, 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. XJ Yang, YI Kim, 罗贵明, Approximation for constant e and its applications, Applied Mathematics and Computation, vol.206, Issue: 1, pp.50-55, 2008. D Fan D, 罗贵明,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. B Geng, 罗贵明,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. Y Zhao,罗贵明,WH Kwon, Identification of multi-dimensional system based on a novel criterion, Proceedings of ICINCO, Funchal, Portugal, vol. SPSMC, pp.143-148, 2008. Y Zhao, 罗贵明,WH Kwon, Recursive algorithms for a novel identification criterion, Proceedings of CISP, vol.5, pp.116-120, 2008. 耿博,姜睿,罗贵明,新型的自适应控制算法及在电力系统中的应用,哈尔滨工业大学学报,vol.40, No.11, pp.1796-1799, 2008。 姜睿,王军,李东海,罗贵明, 改进最小二乘算法在主汽温控制系统中的应用, 清华大学学报, vol.48(01), pp.97-100, 2008 杨明远, 罗贵明, 一种大规模并行程序模型的检测方法, 计算机工程, vol.13, pp.72-74, 2008 邝宏斌, 罗贵明, 并行软件模型检测, 计算机工程, vol.19, pp.23-25, 2008. R Jiang, 罗贵明,Optimal adaptive controller for multidimensional ARMAX model,Cybernetics and Systems, vol.38 (2), pp.141-154, 2007. XJ Yang, 罗贵明,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. XJ Yang, 罗贵明, Nonoscillation criteria for quasilinear second order differential equations,Journal of mathematical analysis and applications, vol.331 (2), pp.1023-1032, 2007. XJ Yang, 罗贵明, Unboundedness of solutions of a class of planar Hamiltonian systems, Mathematische Nachrichten, vol.280 (11), pp.1317-1331, 2007. XJ Yang, 罗贵明, Quasi-periodic solutions in nonlinear asymmetric oscillations, Zeitschrift fur Analysis und Ihre Anwendungen, vol.26 (2), pp.207-220, 2007. Y Jin,罗贵明, Convergence of recursive identification for ARMAX process with increasing variances,Tsinghua Science and Technology, vol.12, No.1, pp.38-43, 2007. R Jiang, 罗贵明, Discrete time optimal adaptive control for linear stochastic systems,Tsinghua Science and Technology,vol.12, No.1, pp.105-110, 2007. 耿博,姜睿,罗贵明, 基于最小二乘法的最优自适应电力系统稳定器, 电机与控制学报,vol.11, No.5, pp.512-516, 2007. 张频, 罗贵明, UML模型检测方法的研究, 计算机应用, vol.27(10), pp.2493-2497, 2007. 姜洋, 罗贵明, Petri网模型的扩展与检测, 计算机应用, vol.27(01), pp.183-185, 2007. 罗贵明, 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 罗贵明, 黄键, 两步EFOP参数估计的递推算法, 中国科学E辑:信息科学, vol.36(12), pp.1442-1455, 2006 姜睿, 罗贵明, 基于加权最小二乘法的最优适应控制器,自动化学报,vol.32, No.1, pp.140-147, 2006. 李凯, 罗贵明, 基于多部访问结构的理想的秘密共享方案, 计算机工程与应用, 2006,04, pp.142-144, 2006. XB Zhao, KY Lam,罗贵明,Minimal threshold closure, Lecture Notes in Computer Science, vol.4189, pp.145-155, 2006. 张斌, 罗贵明, 王平, 一种有效的基于LTL和Petri网的模型检测方法, 计算机应用, 2006,10, pp.2490-2493, 2006. 李凯, 罗贵明, 基于门限方案的理想多方访问结构的实现, 计算机工程, vol.32(16), pp.151-152, 2006. 张斌, 罗贵明, 基于CTL和Petri网的约束一致性验证方法研究, 计算机工程与应用, 2006,23, pp.52-57, 2006. 旷建忠,罗贵明,程学竹,钟宏, 电子公告板系统的静态化展示, 微计算机信息, vol.22(6-3), pp.4-6, 2006. 罗贵明,H Kimura, Optimal adaptive controller for systems with delay, International Journal of Adaptive Control and Signal Processing, vol.18, pp.799-819, 2004. 罗贵明,WH Kwon, New Identification Approaches for Disturbed Models, Automatica, vol.39, pp.1627-1634, 2003 罗贵明,H Kimura,Recursive estimation methods for discrete systems, IEEE Transactions on Automatic Control,vol.48, pp.2019-2024, 2003 罗贵明, 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. 罗贵明, 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. 罗贵明,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 罗贵明, 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. 罗贵明, H Kimura, and WH Kwon, A new identification approach for discrete systems, Proceedings of the 4th ASCC, Singapore, pp.1254-1259, 2002. 罗贵明, WH Kwon, and H Kimura, Identification for FIR systems with color noise, Proceedings of the 4th ASCC, Singapore, pp.2020-2025, 2002. 罗贵明,Optimal adaptive controllers based on LS algorithms, Chinese Journal of Automation, vol.8(1), pp.73-80, 1996. 罗贵明, Robustness of adaptive control for stochastic systems, International Journal of Control, vol.64(3), pp.463-482, 1996. 罗贵明,基于修改LS随机适应控制的鲁棒性,数学物理学报, vol.15, No.12, pp.1-12, 1995. 罗贵明,基于最小二乘算法的最优适应控制器,自动化学报, vol.22, No.1, pp. 79-84,1996. 罗贵明, Optimal adaptive tracking for stochastic systems, 14th World Congress of International Federation of Automatic Control (IFAC), vol.I, pp.385-390, 1999. 罗贵明,多步时滞随机系统的适应跟踪,清华大学学报, vol.36, No.12, pp. 91-97, 1996. 罗贵明, Identification and structure selection for nonlinear stochastic systems, Tsinghua Science and Technology, vol.2(3), pp.730-733, 1997. 罗贵明, Real-time adaptive control for the nonlinear stochastic systems, Tsinghua Science and Technology, vol.2(3), pp.734-736, 1997. 罗贵明, Equivalent representation of nth-order stochastic models, Transactions of the Society of Instrument and Control Engineers, vol.25(5), pp.537-543, 1989 罗贵明, 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.

推荐链接
down
wechat
bug