姓 名
佘志坤（博导）

职 称
教授

所属系别
信息与计算科学系

学科专业
混成系统自动验证、微分方程和动力系统、符号－数值计算

办公地点
图书馆西配楼518房间

办公电话

电子邮件
zhikun.she@buaa.edu.cn

教育背景

1995年9月到1999年7月，就读于北京大学数学科学学院，获理学学士学位；
1999年9月到2005年6月，就读于北京大学数学科学学院，获理学博士学位。

工作简历

2004年1月到2006年12月，工作于德国马普计算机科学研究所；
2006年12月迄今，工作于北京航空航天大学数学与系统科学学院（于2009年被破格聘为博士生导师）。

科研项目


1)主持国家自然基金项目“混成系统稳定性分析的代数化与机械化及应用”（2014.01-2017.12，50万）；
2)主持国家自然基金项目“基于代数分析与符号计算的混成系统自动验证”（2011.01-2013.12，20万）；
3)主持国家军口863项目“XXXXXXXXXXXXXX可靠性研究”（2010.07-2011.06，30万）；
4)主持国家军口863项目“XXXXXXXXXXXXXXXX关键技术研究”（2008.07-2010.06，70万)；
5)主持2008年度北京市科技新星计划项目“混杂系统自动验证及其在软件可靠性中的应用”（2009.01-2011.12，25万)；
6)主持2007年度北京市优秀人才资助项目“混杂系统自动验证和分析”（2007.01-2008.12，2.5万）；

发表论文


在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、IEEE Transactions on Automatic Control、IEEE Transactions on Circuits and Systems、Journal of Symbolic Computation、Celestial Mechanics and Dynamical Astronomy等领域国际顶级刊物和AAAI、CAV、ISSAC、HSCC、CDC等领域国际顶级会议上发表学术论文60余篇。研究成果被来自于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、中国科学院软件所等国内外著名机构的他引400余次，单篇最高他引100余次。其中，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奖获得者）、国际自动控制联合会主席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. 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等给予了诸如“改进了传统方法”、“显著的”、“最早工具”、“明显优势”、“对于推动复杂系统验证是有价值的”、“灵感之源”、“更经得起检验”等等的正面评价。特别地，由图灵奖获得者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) Bai Xue, Zhikun She and Arvind Easwaran. Under-Approximating Backward Reachable Sets by Polytopes.In Proceedings of the 28nd 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+。)
2) 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引用了该文。)
3) 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等。）
4) 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”。)
5) 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等引用了该文。）
6) 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。）
7) 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”。）
8) 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, 2019. DOI: 10.1109/TAC.2018.**.
9) 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, 2018. DOI: 10.1002/rnc.4280.
10) Quanyi Liang and Zhikun She. Constraint consensus of heterogeneous multi-agent systems. International Journal of Modern Physics C, Vol. 29, No. 5, Article ID **, 9 pages, 2018. DOI: 10.1142/S0129**3.
11) 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, 2018. DOI: 10.1016/j.jfranklin.2017.12.010.
12) 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.
13) 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.
14) 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.**.
15) 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.
16) 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 **, 21 pages, 2017.
17) 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/16M**.
18) 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.**. (Full Paper)
19) 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.**.
20) 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/**.2017.**.
21) 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.
22) 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 **, 12 pages, 2017.
23) 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.
24) 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.
25) 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 **, 17 pages, 2016.
26) 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.
27) 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 **, 25 pages, 2016.
28) 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.
29) 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.
30) Zhikun She and Bai Xue. Discovering Multiple Lyapunov Functions for Switched Hybrid Systems. SIAM Journal on Control and Optimization, 52(5): 3312-3340, 2014.
31) 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.
32) 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.
33) 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.
34) 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.
35) 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.
36) 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.
37) 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”。）
38) 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.
39) 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.
40) 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.
41) 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个问题。）
42) 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.
43) 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”）
44) 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.
45) 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 the16thInternational Conference on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science, Vol. 11022, pp. 252-270, Springer, 2018.
46) 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 56thIEEE Conferenceon Decision and Control, pp. 6531-6536, 2017.
47) 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 36thChinese Control Conference, pp. 2403-2408, 2017.
48) 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.
49) 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.
50) 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.
51) 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.
52) 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.
53) 杨小娟，刘若阳，佘志坤。基于边界涡量流的二维叶型优化建模与求解[J]。航空工程进展，第6卷，第4期，405-411,2015。
54) 李昊阳，佘志坤，薛白。绕地轨道运动地面物理试验的建模与分析。中国空间科学技术。31(6)，21-26，2011。
55) 薛白，佘志坤，余婧，刘铁钢，郑志明。基于混杂系统的空间飞行器悬停控制。中国空间科学技术。第30卷，第2期，pp. 61-67，2010。
56) 佘志坤，薛白，丛源良，刘铁钢，郑志明。最优双冲量交会问题的数学建模与数值求解。宇航学报。第31卷，第1期，pp. 155-161，2010。
57) 佘志坤，刘铁钢，郑志明。空间非开普勒轨道分析与控制中的数学问题。宇航学报。第30卷，第1期，pp. 54-58，2009。（该学术论文被西北工业大学精品课程《航天器飞行力学》列为学科前沿（http://jpkc.nwpu.edu.cn/jp2011/04/xuekeqianyan.html）
58) 裴森，孙野，赵珍，王海涛，佘志坤。一类一维混沌映射的拓扑条件。数学的实践与认识。第39卷，第19期，pp. 213-227, 2009。
59) 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.
60) 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, 2016.
61) 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份投稿）
62) 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.
63) 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.
64) 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.
65) 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.
66) 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.
67) 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.
68) 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. 薛白：硕博连读，2014年3月毕业（本科毕业于天津职业技术师范大学；2013年度国家奖学金获得者；曾于2013年04月至2013年07月访问美国University of Colorado Boulder，2014年5月至2015年9月为新加坡南洋理工大学博士后，2015年10月至2017年10月为德国奥尔登堡大学博士后，现为中科院软件所副研究员、“”C类入选者）
2. 程旭华：博士生，2015年3月毕业（本科毕业于河北师范大学，硕士毕业于河北工业大学；2014年度国家奖学金获得者；曾于2013年11月至2014年02月访问美国Northwestern University，曾为清华大学数学科学系博士后，现为河北工业大学理学院副教授）
3. 李海银：博士生，2015年7月毕业（本科与硕士都毕业于河南师范大学；2014年度北京航空航天大学博士生创新基金获得者；曾于2014年9月至2014年12月访问美国University of Miami，现为河南政法财经大学数学与信息科学学院副教授）
4. 卢俊杰：硕博连读，2018年3月毕业（本科毕业于河南师范大学；2015年9月至2016年9访问新加坡国立大学，国家留学公派联合培养博士生，国外指导老师：葛树志教授，现为北京科技大学理学院师资博士后）
5. 梁全义：博士生，2018年7月毕业（本科与硕士都毕业于郑州大学；曾于2017年3月至2017年6月访问英国University of Southampton，现为新加坡国立大学机械工程学院博士后）


所获奖励

1. 2007年度北京市优秀人才，2008年度北京市科技新星，2013年度教育部新世纪优秀人才，2014年度国家优秀青年科学基金项目获得者；
2. “复杂信息系统行为与结构的若干科学问题研究”获2013年度高等学校科学研究优秀成果奖（自然科学奖）一等奖（第三完成人）；
3. “对接北航空天信特色，培养数学交叉型人才”获2018年度北京航空航天大学教学成果奖一等奖（第一完成人）；
4. “多平台融合的研究生生源质量保障体系的探索与实践”获2016年度北京航空航天大学教学成果奖一等奖（第二完成人）。

社会工作

北京数学会副理事长、中国数学会计算机数学专委会委员、中国计算机学会形式化方法专委会委员。

推荐链接