职     称

教授

所属系别

信息与计算科学系

学科专业

混成系统自动验证、智能系统协同控制、微分方程和动力系统、符号－数值计算

办公地点

图书馆西配楼518房间  

办公电话

电子邮件

zhikun.she@buaa.edu.cn

1995年9月到1999年7月，就读于北京大学新葡的京集团350vip8888，获理学学士学位；

1999年9月到2005年6月，就读于北京大学新葡的京集团350vip8888，获理学博士学位（导师：郑志明教授）。

2004年1月到2006年12月，工作于德国马普计算机科学研究所（博士后合作导师：Stefan   Ratschan）；

2006年12月迄今，工作于北京航空航天大学数学与系统科学学院（于2009年被破格聘为博士生导师）。

1)   主持北京市自然科学基金重点研究专题项目“复杂网络协同性的优化理论与高效算法研究”（项目批准号：Z180005；2018.12-2022.12，200万)；

2)   主持国家级人才科学基金项目“混成系统验证与分析” （项目批准号：11422111；2015.01-2017.12，100万)；

3)   主持国家自然基金项目“混成系统稳定性分析的代数化与机械化及应用”（2014.01-2017.12，50万）

4)   主持国家自然基金项目“基于代数分析与符号计算的混成系统自动验证”（2011.01-2013.12，20万）；

5)   主持国家军口863项目“XXXXXXXXXXXXXX可靠性研究”（2010.07-2011.06，30万）；

6)   主持国家军口863项目“XXXXXXXXXXXXXXXX关键技术研究”（2008.07-2010.06，70万)；

7)   主持2008年度北京市科技新星计划项目“混杂系统自动验证及其在软件可靠性中的应用”（2009.01-2011.12，25万)；

8)   主持2007年度北京市优秀人才资助项目“混杂系统自动验证和分析”（2007.01-2008.12，2.5万）；

在ACM Transactions on Embedded Computing Systems、IEEE Transactions on Software Engineering、SIAM Journal on Control and Optimization（5篇）、IEEE Transactions on Automatic Control（4篇）、IEEE Transactions on Cybernetics（2篇）、IEEE Transactions on Systems, Man and Cybernetics: Systems（2篇）、IEEE Transactions on Circuits and Systems II: Express Briefs、Nonlinear Analysis: Hybrid Systems、International Journal of Robust and Nonlinear Control、Journal of Symbolic Computation、Celestial Mechanics and Dynamical Astronomy等领域国际顶级刊物和AAAI、CAV、ISSAC、HSCC、CDC等领域国际顶级会议上发表学术论文80余篇。研究成果被来自于Massachusetts Institute of Technology、Stanford University、University of California at Berkeley、University of Cambridge、University of Oxford、ETH Zurich、Carnegie Mellon University、RWTH Aachen、日本早稻田大学、新加坡国立大学、清华大学、CNRS、INRIA、MPII、中国科学院软件所等国内外著名机构的学者正面评价与引用。其中，2007年图灵奖获得者Edmund M. Clarke（2008年自动推理杰出成就奖Herbrand奖获得者）、美国工程院院士Alberto L. Sangiovanni-Vincentelli、美国工程院院士、美国科学院院士、欧洲科学院院士Moshe Y. Vardi（哥德尔奖获得者）、英国皇家学会院士Prof. Lawrence Paulson（Isabelle创始人、2017年自动推理杰出成就奖Herbrand奖获得者）、清华大学孙家广院士、斯坦福大学资深教授、ACM会士Prof. Zohre Manna（2016年自动推理杰出成就奖Herbrand奖获得者）、欧洲科学院院士、IEEE会士Guanrong Chen、欧洲科学院院士、ACM/IEEE会士Thomas A. Henzinger、国际自动控制联合会主席Prof. Janan Zaytoon、德国科学与工程院院士Werner Damm、欧洲科学院院士、IEEE会士Bernd Becker、欧洲科学院院士、ACM会士Marta Kwiatkowska、欧洲科学院院士Joost-Pieter Katoen、欧洲科学院院士Holger Hermanns、IEEE会士Prof. John A. Stankovic、IEEE会士Prof. Bruce Krogh、IEEE会士Prof. Maria Domenica Di Benedetto、IEEE会士Prof. Bud Mishra、IEEE会士Prof. Insup Lee、IEEE会士Prof. John Lygeros、IEEE会士Prof. George Pappas（美国总统青年科技奖获得者）、IEEE会士Prof. Boudewijn R. Haverkort、IEEE会士Prof. Calin Belt、IEEE会士Prof. Weixing Zheng、IEEE会士Prof. Daniel W. C. Ho、IEEE会士Prof. Xinghuo Yu、IEEE会士Prof . X. Koutsoukos等给予了诸如“改进了传统方法”、“显著的”、“最早工具”、“明显优势”、“对于推动复杂系统验证是有价值的”、“灵感之源”、“更经得起检验”、“新颖的”、“新想法”、“推广了”、“加细方法”等等的正面评价。特别地，由图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了HSolver（共介绍了六个），指出“Even though HSolver is based on fast machine-precision floating point arithmetic, it uses sound rounding, and hence the correctness of its results cannot be hampered by round-off errors. HSolver not only verifies (unbounded horizon) reachability properties of hybrid systems, but—in addition—it also computes abstractions of the input system.”

(一） 混成系统安全性验证与可达集计算

1.  Meilun Li, Andrea Turrini, Ernst Moritz Hahn, Zhikun She and Lijun Zhang. Probabilistic Preference Planning Problem for Markov Decision Processes. IEEE Transactions on Software Engineering, 2020. DOI: 10.1109/TSE.2020.3024215.

2. Zhikun She and Meilun Li. Over- and Under-Approximations of Reachable Sets with Series Representations of Evolution Functions. IEEE Transactions on Automatic Control, 2020. DOI: 10.1109/TAC.2020.2994019.

3. Kairong Liu, Meilun Li and Zhikun She. Reachability estimation of stochastic systems by semi-definite programming. In Proceedings of the 58th IEEE Conference on Decision and Control, pp. 7727-7732, 2019.

4. Meilun Li, Peter N. Mosaad, Martin Fraenzle, Zhikun She and Bai Xue. Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems. In Proceedings of the16th International Conference on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, Vol. 11022, pp. 252-270, Springer, 2018.

5. Bai Xue, Zhikun She and Arvind Easwaran. Underapproximating Backward Reachable Sets by Semialgebraic Sets. IEEE Transactions on Automatic Control, 62(10): 5185--5197, 2017. DOI: 10.1109/TAC.2017.2694351. (Full Paper)

6. Bai Xue, Zhikun She and Arvind Easwaran. Under-Approximating Backward Reachable Sets by Polytopes.In Proceedings of the 28th International Conference on Computer Aided Verification, Part I, Lecture Notes in Computer Science, Vol. 9779, pp. 457-476, Springer, 2016.（CAV为计算机科学“Programming Languages and Software Engineering”领域的国际顶级会议，NUS评价为Rank 1，AUS评价为A+。)

7. Zhikun She, Dan Song and Meilun Li. Safety Verification of Hybrid Systems Using Certified Multiple Lyapunov-like Functions. In Proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, Vol. 9301, pp. 440-456, Springer, 2015.

8. Meilun Li, Zhikun She, Andrea Turrini and Lijun Zhang. Preference Planning for Markov Decision Processes. In Proceedings of the 29th AAAI Conference on Artificial Intelligence,3313-3319, 2015.（AAAI为计算机科学“Artificial Intelligence”领域的国际顶级会议，NUS评价为Rank 1，AUS评价为A+。欧洲科学院院士、牛津大学Prof. Marta Kwiatkowska引用了该文。)

9. Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns and Ernst M. Hahn. Safety Verification for Probabilistic Hybrid Systems. European Journal of Control, 18(6): 572-587, 2012.（图灵奖得主Edmund M. Clarke在综述性学术论文《32 Years of Model Checking》（Lecture Notes in Computer Science，Volume 8974, pp 26-40，2015）首先指出“Results related to the analysis and verification of SHSs are still limited. For instance, analysis approaches for GSHSs are often based on Monte-Carlo simulation. Considering the hardness of dealing with the general class, efforts have been mainly placed on different subclasses … For a more expressive class of models - probabilistic hybrid automata (PHAs), Zhang et al. abstracted the original PHA to a probabilistic automaton (PA), and then used the established Model Checking methods for the abstracting model”,然后在第3.2节“Abstraction-based Methods”中利用大部分篇幅重点描述了我们的“abstraction-based method”，并进一步通过Figure 1中的例子直观地解释我们的整个抽象流程；美国Vanderbilt大学Prof . X. Koutsoukos对该文专门写了Discussion（Discussion on: “Safety Verification for Probabilistic Hybrid Systems”，European Journal of Control, 18(6): 588-590, 2012），一开头就指出“The work extends formal verification methods of (nonprobabilistic) hybrid systems based on discrete abstractions”。）

10. Zhikun She. Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems. In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, pp. 251-261, SciTePress, 2011.（full paper,接受率10%,共322份投稿）

11. Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns and Ernst M. Hahn. Safety Verification for Probabilistic Hybrid Systems. In Proceedings of the 22nd International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 6174, pp. 196-211, Springer, 2010.（CAV为计算机科学“Programming Languages and Software Engineering”领域的国际顶级会议，NUS评价为Rank 1，AUS评价为A+)（Scholar google搜索结果，40余次引用）（34篇regular papers中有一篇论文的署名作者是是图灵奖得主Edmund M. Clarke，另有三篇论文的署名作者是欧洲科学院院士Thomas A. Henzinger；17篇tool papers中有一篇论文的署名作者是图灵奖得主Amir Pnueli。特别地，欧洲科学院院士、牛津大学Prof. Marta Kwiatkowska、IEEE会士、ETH自动控制实验室主任Prof. John Lygeros等引用了该文。）

12. Zhikun She and Zhiming Zheng. Tightened Reachability Constraints for the Verification of Linear Hybrid Systems. Nonlinear Analysis: Hybrid Systems, 2(4): 1222-1231, Elsevier, 2008.

13. Stefan Ratschan and Zhikun She. Recursive and Backward Reasoning in the Verification of Hybrid Systems. In Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics, Vol. 4, pp. 65-71, SciTePress, 2008.

14. Stefan Ratschan and Zhikun She. Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Transactions on Embedded Computing Systems, Vol. 6, No. 1, Article No. 8, pp. 1-23, 2007.（Scholar google搜索结果，100余次引用，特别地，该论文已被多名的国外院士、IEEE会士、ACM会士引用，如美国工程院院士Alberto L. Sangiovanni-Vincentell，美国工程院院士、欧洲科学院院士Moshe Y. Vardi，ACM会士、IEEE会士Prof. John A. Stankovic，ACM会士Prof. Lawrence Paulson，IEEE会士Prof. Insup Lee等。尤其是，美国工程院院士Alberto L. Sangiovanni-Vincentell在特邀论文《A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems》（Proceedings of the IEEE，Vol. 103，No. 11，pp. 2104-2132）的“Tools based Discrete Abstractions”章节中指出：“The refinement algorithm proposed by Clarke et al. [55] has been implemented by CheckMate [56], a Matlab/Simulink toolbox for the simulation and verification of hybrid systems with linear and affine dynamics.…. One of the first tools to extend this approach to nonlinear systems is HSOLVER [57], which uses constraint propagation and abstraction-refinement techniques to discretize the state space of the system and verify safety properties. HSOLVER supports systems with complex nonlinear dynamics and guards.”；美国工程院院士、美国科学院院士、欧洲科学院院士Moshe Y. Vardi（E Plaku, L. E. Kavraki and M. Y. Vardi, Form Methods in System Design, 34: 157–182,2009）引用该论文，指出“the abstraction method makes verification more amenable to analysis by constructing a simplified model that simulates the original system”）

15. Felix Klaedtke, Stefan Ratschan and Zhikun She. Language-based abstraction refinement for hybrid system verification. In Proceedings of the 8th International Conference on Verification, Model Checking and Abstraction Interpretation. Lecture Notes in Computer Science, Vol. 4349, pp. 151-166, Springer, 2007.（VMCAI2007共接受21篇学术论文，其中有一篇论文的署名作者是图灵奖得主Amir Pnueli，另有一篇论文的署名作者是欧洲科学院院士Thomas A. Henzinger。）

16. Zhikun She and Zhiming Zheng. Tightened reachability constraints for safety verification of linear hybrid systems. In Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control, pp. 383-388, ACTA Press, 2007.

17. Stefan Ratschan and Zhikun She. Constraints for Continuous Reachability in the Verification of Hybrid Systems. In Jacques Calmet, Tetsuo Ida and Dongming Wang (Eds.): AISC 2006, Lecture Notes in Computer Science, Vol. 4120, pp. 196-210, Springer-Verlag, 2006.

18. Stefan Ratschan and Zhikun She. Safety Verification of Hybrid System by Constraint Propagation Based Abstraction Refinement. In M. Morari and L. Thiele (Eds.): HSCC 2005, Lecture Notes in Computer Science, Vol. 3414, pp. 573-589, Springer-Verlag, 2005.（HSCC为“混成系统”领域的国际领先会议）（HSCC2005共接受40篇regular papers，其中有一篇论文的署名作者是图灵奖得主Edmund M. Clarke、有一篇论文的署名作者是美国工程院院士Shankar Sastry、有两篇论文的署名作者是美国工程院院士Alberto L. Sangiovanni-Vincentelli）（Scholar google搜索结果,100余次引用。特别地，由美国工程院院士Alberto L. Sangiovanni-Vincentelli发表的、详细介绍国际上混成系统研究方面最新进展的综述性学术论文《Languages and Tools for Hybrid Systems Design》（Foundations and Trends in Electronic Design Automation. Vol. 1, No 1/2 (2006), 1-193）在134至140页利用一整节的篇幅详细介绍了此工作，指出“HSolver improves this traditional method by implementing a pruning algorithm that removes uninteresting parts of the state space before reducing the grid size. Consequently, the refinement of the over-approximation can be obtained even without increasing the number of grid locations, one of the causes of exponential blowout in the verification algorithms for hybrid systems”、“The language for describing hybrid systems is very easy to understand. There are no limitations in describing a single automaton and the limited number of statements in the language makes it simple to use”。）

（二）混成系统稳定性分析与吸引域估计

19. Shijie Wang, Zhikun She and Shuzhi Sam Ge. Estimating minimal domains of attraction for uncertain nonlinear systems. IEEE Transactions on Systems, Man and Cybernetics: Systems, 2020. DOI: 10.1109/TSMC.2020.2980673.

20. Junjie Lu, Zhikun She, Bodan Liu, and Shuzhi Sam Ge. Analysis and Verification of Input-to-state Stability for Non-autonomous Discrete-time Switched Systems via Semi-definite Programming. IEEE Transactions on Automatic Control, 66(12): ?-?, 2021. DOI: 10.1109/TAC.2020.3046699.

21. Shijie Wang, Zhikun She and Shuzhi Sam Ge. Inner-estimating Domains of Attraction for Non-polynomial Systems with Polynomial Differential Inclusions. IEEE Transactions on Cybernetics, 2020. DOI: 10.1109/TCYB.2020.2987326.

22. Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang and Zhikun She. Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. SIAM Journal on Control and Optimization, 2020.

23. Kairong Liu, Meilun Li and Zhikun She. Stability Verification for a Class of Stochastic Hybrid Systems by Semi-definite Programming. SIAM Journal on Control and Optimization, 2020. DOI: 10.1137/20M1335637.

24. Shijie Wang, Wenyuan Wu, Junjie Lu and Zhikun She. Inner-approximating domains of attraction for discrete-time switched systems via Multi-step multiple Lyapunov-like functions. Nonlinear Analysis: Hybrid Systems, Vol. 40, Article No. 100993, pp. 1-19, 2021. DOI: 10.1016/j.nahs.2020.100993.

25. Junjie Lu, Zhikun She, Fucheng Liao. Necessary and Sufficient Conditions for Stabilizability of Discrete-time Time-varying Switched Systems. IET Control Theory and Applications, 2020. DOI: 10.1049/cth2.12054.

26. Zhikun She, Aijing Zhang, Junjie Lu, Ruiqi Hu and Shuzhi Sam Ge. Design PID/PD Controls for Second-order Time-varying Switched Nonlinear Systems. International Journal of Robust and Nonlinear Control, 30(5): 1979-2000, 2020. DOI: 10.1002/rnc.4857.

27. Junjie Lu, Zhikun She, Weijie Feng and Shuzhi Sam Ge. Stabilizability of Time-varying Switched Systems Based on Piecewise Continuous Scalar Functions. IEEE Transactions on Automatic Control, 64(6): 2637-2644, 2019. DOI: 10.1109/TAC.2018.2867933.

28. Junjie Lu and Zhikun She. Average Dwell Time Based Stability Analysis for Non-autonomous Continuous-time Switched Systems. International Journal of Robust and Nonlinear Control, 29(8): 2333–2350, 2019. DOI: 10.1002/rnc.4495.

29. Junjie Lu, Zhikun She, Shuzhi Sam Ge and Xin Jiang. Stability Analysis of Discrete-time Switched Nonlinear Systems via Multi-step Multiple Lyapunov Functions. Nonlinear Analysis: Hybrid Systems, 27: 44-61, 2018.

30. Xiuliang Zheng, Zhikun She, Junjie Lu and Meilun Li. Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems. International Journal of Robust and Nonlinear Control, 28(17): 5191-5212, 2018. DOI: 10.1002/rnc.4280.

31. Xiuliang Zheng, Zhikun She, Junjie Lu and Meilun Li. Corrigendum to “Computing multiple Lyapunov-like functions for inner estimates of domains of attraction of switched hybrid systems” [International Journal of Robust and Nonlinear Control, 2018; 28(17): 5191–5212. DOI: 10.1002/rnc.4280]. International Journal of Robust and Nonlinear Control, 28(17): 5665-5666, 2018.

32. Xiuliang Zheng, Zhikun She, Quanyi Liang and Meilun Li. Inner approximations of domains of attraction for a class of switched systems by computing Lyapunov-like functions. International Journal of Robust and Nonlinear Control, 28(6): 2191-2208, 2018. DOI: 10.1002/rnc.4010.

33. Zhikun She, Junjie Lu, Quanyi Liang, Shuzhi Sam Ge. Dwell Time Based Stabilizability Criteria for Discrete-time Switched Systems. International Journal of Systems Science, 48(14): 3087-3097, 2017. DOI: 10.1080/00207721.2017.1367430.

34. Xiuliang Zheng, Junjie Lu and Zhikun She. Inner-approximations of Domains of Attraction for Discrete-Time Switched Systems with Arbitrary Switching. In Proceedings of the 56th IEEE Conferenceon Decision and Control, pp. 6531-6536, 2017.

35. Mengmeng Qiu, Junjie Lu, Weijie Feng and Zhikun She. Stability Analysis of Non-autonomous Switched Systems Based on Time-varying Scalar Functions. In Proceedings of the 36th Chinese Control Conference, pp. 2403-2408, 2017.

36. Junjie Lu and Zhikun She. Sufficient and necessary conditions for discrete-time nonlinear switched systems with uniform local exponential stability. International Journal of Systems Science, 47(15): 3561-3572, 2016.

37. Junjie Lu, Zhikun She and Bai Xue. Discovering Multiple Lyapunov Functions for Switched Hybrid Systems with Global Exponential Stability. In Proceedings of the 54th IEEE Conferenceon Decision and Control, pp. 4252-4259, 2015.

38. Zhikun She and Bai Xue. Discovering Multiple Lyapunov Functions for Switched Hybrid Systems. SIAM Journal on Control and Optimization, 52(5): 3312-3340, 2014.

39. Zhikun She, Haoyang Li, Bai Xue, Zhiming Zheng and Bican Xia. Discovering Polynomial Lyapunov Functions for Continuous Dynamical Systems. Journal of Symbolic Computation, 58: 41-63, Elsevier, 2013.

40. Zhikun She and Bai Xue. Computing an invariance kernel with target by computing Lyapunov-like functions. IET Control Theory and Applications, 7(15): 1932-1940, 2013.

41. Zhikun She, Huan Liu, Haoyang Li. An Algebraic Approach on Globally Exponential Stability of Polynomial Dynamical Systems. In Proceedings of the 6th International Symposium on Computational Intelligence and Design, pp. 391-396, 2013.

42. Zhikun She and Bai Xue. Algebraic Analysis on Asymptotic Stability of Switched Hybrid Systems. In Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, pp. 187-196, 2012.（HSCC为“混成系统”领域的国际领先会议)（28篇regular papers中唯一一篇来自亚洲的论文，且其中有一篇论文的署名作者是图灵奖得主Edmund M. Clarke、一篇论文的署名作者是欧洲科学院院士Prof. Marta Kwiatkowska，还有至少6篇论文的署名作者是ACM Fellow/IEEE Fellow,例如IEEE Transactions on Automatic Control主编Prof. Panos J. Antsaklis、IEEE Transactions on Control Systems Technology创刊主编Prof. Bruce H. Krogh等。）

43. Zhikun She and Haoyang Li.Verifiable Conditions on Asymptotic Stabilisability fora Class of Planar Switched Linear Systems. In Proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, Vol. 7442, pp. 334-348, Springer, 2012.

44. Zhikun She, Bai Xue and Zhiming Zheng. Algebraic Analysis on Asymptotic Stability of Continuous Dynamical Systems. In Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pp. 313-320, 2011.（ISSAC为计算机科学“Algorithms and Theory”领域的国际顶级会议，NUS评价为Rank 1，AUS评价为A+）(德国卡塞尔大学Prof. Werner M. Seiler在《美国数学评论》上针对该文发表了评论,指出“they avoid the computationally demanding use of generic quantifier elimination techniques”。)

45. Zhikun She and Bai Xue. Computing a basin of attraction to a target region by solving bilinear semi-definite problems. In Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, Vol. 6885, pp. 333-344, Springer, 2011.

46. Zhikun She, Jing Yu and Bai Xue. Controllable Laws for Stability Analysis of Switched Linear Systems. In Proceedings of the 3rd IEEE International Conference on Computer and Network Technology, Vol. 13, pp. 127-131, 2011.

47. Stefan Ratschan and Zhikun She. Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-like Functions. SIAM Journal on Control and Optimization, 48(7): 4377-4394, 2010.

48. Zhikun She, Bican Xia, Rong Xiao and Zhiming Zheng. A semi-algebraic approach for asymptotic stability analysis. Nonlinear Analysis: Hybrid Systems, 3(4): 588-596, Elsevier, 2009.（第12届“Computer Algebra in Scientific Computing”国际会议的特邀报告“Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations”（Andreas Weber, Thomas Sturm, Werner M. Seiler, and Essam O. Abdel-Rahman；Lecture Notes in Computer Science，Vol. 6244, pp. 267-279）通过引用该论文指出从代数角度高效计算Lyapunov函数为“Some Possible Future Directions”的第5个问题。）

49. Zhikun She, Ranran Yan, Bai Xue and Zhiming Zheng. On the Algebraization of Asymptotic Stability Analysis for Differential Systems. In Proceedings of the 11th IASTED International Conference on Control and Applications, pp. 68-74, ACTA Press, 2009.

50. Zhikun She, Bican Xia and Rong Xiao. A Semi-Algebraic Approach for the Computation of Lyapunov Functions. In Proceedings of the 2nd IASTED International Conference on Computational Intelligence, pp. 7-12, ACTA Press, 2006.

51 Stefan Ratschan and Zhikun She. Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions. In Bela Patkai and Imre J. Rudas (Eds.): Proceedings of the 4th IEEE International Conference on Computational Cybernetics, pp. 245-249, 2006.

（三）复杂网络同步分析与协同控制

52. Shuyuan Zhang, Lei Wang, Quanyi Liang, Zhikun She and Qing-Guo Wang. Polynomial Lyapunov Functions for Synchronization of Nonlinearly Coupled Complex Networks. IEEE Transactions on Cybernetics, 2020. DOI: 10.1109/TCYB.2020.2998089.

53. Lei Wang, Quanyi Liang, Zhikun She, Jinhu Lü and Qing-Guo Wang. A Decomposition Approach for Synchronization of Heterogeneous Complex Networks. IEEE Transactions on Systems, Man and Cybernetics: Systems, 2018. DOI: 10.1109/TSMC.2018.2883649.

54. Zhikun She, Qiqi Hao, Quanyi Liang and Lei Wang. Invariant set based distributed protocol for synchronization of discrete-time heterogeneous systems with nonlinear dynamics. ISA Transactions, Vol. 102, pp. 56-67, 2020. DOI: 10.1016/j.isatra.2019.07.023.

55. Quanyi Liang, Chong-Jin Ong and Zhikun She. Sum of squares based consensus verification for directed networks with nonlinear protocols. International Journal of Robust and Nonlinear Control, 30(4): 1719-1732, 2020. DOI: 10.1002/rnc.4846.

56. Quanyi Liang, Chong-Jin Ong and Zhikun She. On the Asymptotic Stability of Directed Nonlinear Multiagent Network via Nonlinear Control Protocol. In Proceedings of the 21st IFAC World Congress, pp. 2991-2995, 2020.

57. Quanyi Liang, Chong-Jin Ong and Zhikun She. Achieving output consensus of heterogeneous network of two dimensional agents via static diffusive controllers. In Proceedings of the 2020 American Control Conference, pp. 3343-3348, 2020.

58. Tianrong Weng, Lei Wang, Zhikun She and Quanyi Liang. Distributed Optimization with Closed Convex Set for Multi-Agent Networks Over Directed Graphs. Journal of The Franklin Institute, 356(2): 883-893, 2019. DOI: 10.1016/j.jfranklin.2017.12.010.

59. Quanyi Liang and Zhikun She. Constraint consensus of heterogeneous multi-agent systems. International Journal of Modern Physics C, Vol. 29, No. 5, Article ID 1840005, 9 pages, 2018. DOI: 10.1142/S0129183118400053.

60. Quanyi Liang, Lei Wang, Qiqi Hao and Zhikun She. Synchronization of heterogeneous linear networks with distinct inner coupling matrices. ISA Transactions, 75: 127-136, 2018. DOI: 10.1016/j.isatra.2018.01.31.

61. Quanyi Liang, Zhikun She, Lei Wang, Michael Chen and Qing-Guo Wang. Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces. SIAM Journal on Control and Optimization, 55(6): 4048-4071, 2017. DOI. 10.1137/16M1086509.

62. Quanyi Liang, Zhikun She, Lei Wang and Housheng Su. General Lyapunov Functions for Consensus of Nonlinear Multiagent Systems. IEEE Transactions on Circuits and Systems II: Express Briefs, 64(10): 1232-1236, 2017. DOI: 10.1109/TCSII.2017.2647744.

（四）微分方程与动力系统

63. Zhikun She and Xin Jiang. Threshold dynamics of a general delayed within-host viral infection model with humoral immunity and two modes of virus transmission. Discrete and Continuous Dynamical Systems (Series B), 2020. DOI: 10.3934/dcdsb.2020259.

64. Xin Jiang, Zhikun She and Shigui Ruan. Global dynamics of a predator-prey system with density-dependent mortality and ratio-dependent functional response. Discrete and Continuous Dynamical Systems (Series B), 2020. DOI:10.3934/dcdsb.2020041.

65. Xin Jiang, Ran Zhang, Zhikun She. Global asymptotical stability of a diffusive predator-prey model with ratio-dependent function and time delay. International Journal of Biomathematics, Vol. 13, No. 6, Article ID 2050036, 21 pages, 2020. DOI: 10.1142/S1793524520500369.

66. Quanyi Liang, Kairong Liu, Gang Meng and Zhikun She. Minimization of the Lowest Eigenvalue for a Vibrating Beam. Discrete and Continuous Dynamical Systems (Series A), 38(4):2079-2092, 2018. DOI:10.3934/dcds.2018085.

67. Xin Jiang, Zhikun She, Zhaosheng Feng and Xiuliang Zheng. Bifurcation Analysis of a Predator-Prey System with Ratio-Dependent Functional Response. International Journal of Bifurcation and Chaos, Vol. 27, No. 14, Article ID 1750222, 21 pages, 2017.

68. Xin Jiang, Gang Meng and Zhikun She. Existence of periodic solutions in a nonautonomous food web with Beddington-DeAngelis functional response. Applied Mathematics Letters, Vol. 71, pp. 59-66, 2017.

69. Xuhua Cheng and Zhikun She. Study on Chaotic behavior of the Restricted Four-body Problem with an Equilateral Triangle Configuration. International Journal of Bifurcation and Chaos, Vol. 27, No. 2, Article ID 1750026, 12 pages, 2017.

70. Xin Jiang, Kairong Liu，Gang Meng and Zhikun She. Continuity of the Eigenvalues for a Vibrating Beam. Applied Mathematics Letters, Vol. 67, pp. 60-66, 2017.

71. Haiyin Li, Gang Meng and Zhikun She. Stability and Hopf Bifurcation of a Delayed Density-Dependent Predator-Prey System with Beddington-DeAngelis Functional Response. International Journal of Bifurcation and Chaos, Vol. 26, No. 10, Article ID 1650165, 17 pages, 2016.

72. Xin Jiang, Zhikun She and Zhaosheng Feng. Stability analysis and Hopf bifurcation in a density-dependent predator-prey system with Beddington-DeAngelis functional response. Electronic Journal of Differential Equations, Vol. 2016, No. 255, pp. 1-20, 2016.

73. Haiyin Li and Zhikun She. Dynamics of a Non-autonomous Density-Dependent Predator-Prey Model with Beddington-DeAngelis Type. International Journal of Biomathematics, Vol. 9, No. 4, Article ID 1650050, 25 pages, 2016.

74. Haiyin Li and Zhikun She. Uniqueness of Periodic Solutions of a Nonautonomous Density-Dependent Predator-Prey System. Journal of Mathematical Analysis and Applications, 422(2): 886-905, Elsevier, 2015.

75. Xuhua Cheng and Zhikun She. A Note on the Existence of a Smale Horseshoe in the Planar Circular Restricted Three-Body Problem. Abstract and Applied Analysis, Volume 2015, Article ID 965829, 8 pages, 2015.

76. Haiyin Li and Zhikun She. A DENSITY-DEPENDENT PREDATOR-PREY MODEL WITH BEDDINGTON-DEANGELIS TYPE. Electronic Journal of Differential Equations, Vol. 2014, No. 192, pp. 1-15, 2014.

77. Zhikun She and Xuhua Cheng. The Existence of a Smale Horseshoe in a Planar Circular Restricted Four-Body Problem. Celestial Mechanics and Dynamical Astronomy, 118(2): 115-127, 2014.

78. HY Li, ZK She, B Xue, WJ Qiu, ZM Zheng. Modeling and Analysis of the Ground Experiment for Restricted Three-Body Problem. Advanced Materials Research, Vol. 926, 3084-3087, 2014.

79. Zhikun She and Haiyin Li. Dynamics of a Density-Dependent Stage-Structured Predator-Prey System with Beddington-DeAngelis Functional Response. Journal of Mathematical Analysis and Applications, 406(1): 188-202, Elsevier, 2013.

80. Zhikun She, Xuhua Cheng and Cuiping Li. The Existence of Transversal Homoclinic Orbits in a Planar Circular Restricted Four-Body Problem. Celestial Mechanics and Dynamical Astronomy, 115(3): 299-309, Springer, 2013.

81. 李昊阳，佘志坤，薛白。绕地轨道运动地面物理试验的建模与分析。中国空间科学技术。31(6)，21-26，2011。

82. 薛白，佘志坤，余婧，刘铁钢，郑志明。基于混杂系统的空间飞行器悬停控制。中国空间科学技术。第30卷，第2期，pp. 61-67，2010。

83. 佘志坤，薛白，丛源良，刘铁钢，郑志明。最优双冲量交会问题的数学建模与数值求解。宇航学报。第31卷，第1期，pp. 155-161，2010。

84. 佘志坤，刘铁钢，郑志明。空间非开普勒轨道分析与控制中的数学问题。宇航学报。第30卷，第1期，pp. 54-58，2009。（该学术论文被西北工业大学精品课程《航天器飞行力学》列为学科前沿（http://jpkc.nwpu.edu.cn/jp2011/04/xuekeqianyan.html）

85. 裴森，孙野，赵珍，王海涛，佘志坤。一类一维混沌映射的拓扑条件。数学的实践与认识。第39卷，第19期，pp. 213-227, 2009。

（五）其他

86. 杨小娟，刘若阳，佘志坤。基于边界涡量流的二维叶型优化建模与求解[J]。航空工程进展，第6卷，第4期，405-411,2015。

87. Zhikun She, Bican Xia and Zhiming Zheng. Condition number based complexity estimate for solving polynomial systems. Journal of Computational and Applied Mathematics, 235(8): 2670-2678, Elsevier, 2011.

88. Hongbo Zhou, Qiang Cheng and Zhikun She. Reparameterization based consistent graph-structured linear programs. In Proceedings of the 25th ACM Symposium on Applied Computing, pp. 974-978, 2010.

89. Zhikun She and Zhiming Zheng. Condition number based complexity estimate for solving local extrema. Journal of Computational and Applied Mathematics, 230(1): 233-242, Elsevier, 2009.

90. She Zhikun, Xia Bican and Zheng Zhiming. Pseudo-Division Machine(I): A Model of Symbolic Computation. In Proceedings of the 1st International Congress of Mathematical Software: Mathematical Software, pp. 115-125, World Scientific, Singapore, 2002.（同时为2002年国际数学家大会15分钟报告）

人才培养：

1. 薛白： 男，1986年出生，硕博连读，2014年3月毕业（本科毕业于天津职业技术师范大学；2013年度国家奖学金获得者；曾于2013年04月至2013年07月访问美国University of Colorado Boulder，2014年5月至2015年9月为新加坡南洋理工大学博士后，2015年10月至2017年10月为德国奥尔登堡大学博士后，现为中科院软件所副研究员）

2. 程旭华：女，1978年出生，博士生，2015年3月毕业（本科毕业于河北师范大学，硕士毕业于河北工业大学；2014年度国家奖学金获得者；曾于2013年11月至2014年02月访问美国Northwestern University，曾为清华大学数学科学系博士后，现为河北工业大学副教授）

3. 李海银：女，1977年出生，博士生，2015年7月毕业（本科与硕士都毕业于河南师范大学；2014年度北京航空航天大学博士生创新基金获得者；曾于2014年9月至2014年12月访问美国University of Miami，现为河南政法财经大学数学与信息科学学院副教授）

4. 卢俊杰：女，1989年出生，硕博连读，2018年3月毕业（本科毕业于河南师范大学；2015年9月至2016年9月新加坡国立大学，国家留学公派联合培养博士生，国外指导老师：葛树志教授，现任北京科技大学讲师）

5. 梁全义：男，1987年出生，博士生，2018年7月毕业（本科与硕士都毕业于郑州大学；曾于2017年3月至2017年6月访问英国University of Southampton，现为新加坡国立大学机械工程学院博士后）

6. 郑秀亮：男，1981年出生，在职博士生，2019年7月毕业（本科毕业于廊坊师范学院，硕士毕业于陕西师范大学；现为河北北方学院讲师）

7. 姜鑫： 女，1991年出生，硕博连读，2020年7月毕业（本科毕业于山东师范大学；2017年度国家奖学金获得者；2019年度北京航空航天大学博士生卓越学术基金获得者；2018年11月至2019年10月美国University of Miami，国家留学公派联合培养博士生，国外指导老师：阮世贵教授；现为北方工业大学讲师）

8. 李美伦：男，1989年出生，硕博连读，2021年1月毕业（本科毕业于北京航空航天大学高等工程学院自动化专业；2016年09月至2016年12月访问捷克科学院计算机科学研究所；2017年10月至2018年10月德国Carl von Ossietzky Universität Oldenburg，国家留学公派联合培养博士生，国外指导老师：Martin Fränzle；已入职云智慧（北京）科技有限公司）

1. 2007年度北京市优秀人才，2008年度北京市科技新星，2013年度教育部新世纪优秀人才，2014年度国家级人才科学基金项目获得者；

2. “复杂信息系统行为与结构的若干科学问题研究”获2013年度高等学校科学研究优秀成果奖（自然科学奖）一等奖（第三完成人）；

3. “对接北航空天信特色，培养数学交叉型人才”获2018年度北京航空航天大学教学成果奖一等奖（第一完成人）；

4. “多平台融合的研究生生源质量保障体系的探索与实践”获2016年度北京航空航天大学教学成果奖一等奖（第二完成人）。

中国数学会理事（兼中国数学会数学竞赛委员会副主任及全国大学生数学竞赛工作组组长）、北京数学会副理事长、中国数学会计算机数学专委会委员、中国计算机学会形式化方法专委会委员。