师资队伍

佘志坤您现在的位置: 首页»师资队伍»佘志坤

姓     名

佘志坤(博导)

职     称

教授

所属系别

信息与计算科学系

学科专业

混成系统自动验证、微分方程和动力系统、符号-数值计算

办公地点

图书馆西配楼518房间

办公电话

电子邮件

zhikun.she@buaa.edu.cn

教育背景
19959月到1999年7月,就读于北京大学数学科学学院,获理学学士学位;
19999月到20056月,就读于北京大学数学科学学院,获理学博士学位。
工作简历
20041月到200612月,工作于德国马普计算机科学研究所;
2006年12月迄今,工作于北京航空航天大学数学与系统科学学院(于2009年被破格聘为博士生导师)。
科研项目


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

发表论文

   
   
ACM Transactions on Embedded Computing SystemsSIAM Journal on Control and OptimizationJournal of Symbolic ComputationCelestial Mechanics and Dynamical Astronomy等领域国际顶级期刊和CAVISSACHSCC等领域国际顶级会议上发表学术论文30余篇。研究成果被来自于Stanford UniversityCarnegie Mellon UniversityUniversity of California at BerkeleyUniversity of Cambridge、University of OxfordETH ZurichCNRSMPIIINRIA、中国科学院、清华大学等国内外著名机构的学者引用,特别地,美国工程院院士Alberto L. Sangiovanni-Vincentelli、美国工程院院士、欧洲科学院院士Moshe Y. Vardi、欧洲科学院院士Marta Kwiatkowska、清华大学孙家广院士、斯坦福大学著名教授Zohre MannaIEEE会士、ACM会士Prof. John A. StankovicIEEE会士Prof. Bud MishraIEEE会士Prof. Insup LeeIEEE会士Prof. John Lygeros等给予了积极的正面评价。

 

1)   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为“混成系统”领域的国际领先会议)28regular papers中唯一一篇来自亚洲的论文,且其中有一篇论文的署名作者是图灵奖得主Edmund M. Clarke一篇论文的署名作者是欧洲科学院院士Prof. Marta Kwiatkowska,还有至少6篇论文的署名作者是ACM Fellow/IEEE Fellow,例如IEEE Transactions on Automatic Control主编Prof. Panos J. AntsaklisIEEE Transactions on Control Systems Technology前主编Prof. Bruce H. Krogh等)

2)   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 1AUS评价为A+(德国卡塞尔大学Prof. Werner M. Seiler在《美国数学评论》上针对该文发表了评论,指出“they avoid the computationally demanding use of generic quantifier elimination techniques)

3)   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 1AUS评价为A+)Scholar google 搜索结果,20余次引用)(34regular papers中有一篇论文的署名作者是是图灵奖得主Edmund M. Clarke,另有三篇论文的署名作者是欧洲科学院院士Thomas A. Henzinger17tool papers中有一篇论文的署名作者是图灵奖得主Amir Pnueli。特别地, 欧洲科学院院士、英国计算机协会会士、牛津大学Prof. Marta Kwiatkowska IEEE会士、ETH自动控制实验室主任Prof. John Lygeros等引用了该文。)

4)   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

5)   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共接受40regular papers,其中有一篇论文的署名作者是图灵奖得主Edmund M. Clarke、有一篇论文的署名作者是美国工程院院士Shankar Sastry、有两篇论文的署名作者是美国工程院院士Alberto L. Sangiovanni-Vincentelli)(Scholar google 搜索结果,80余次引用。特别地,由美国工程院院士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)在134140页介绍的就是此工作,指出“HSolver improves the 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”)

6)   Zhikun She and Xuhua Cheng. The Existence of a Smale Horseshoe in a Planar Circular Restricted Four-Body Problem. Celestial Mechanics and Dynamical Astronomy, 2014. DOI: 10.1007/s10569-013-9528-1.

7)   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.

8)   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.

9)   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.

10)  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.

11)  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. (美国Vanderbilt大学Prof . X. Koutsoukos对该文专门写了DiscussionDiscussion 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”,在中间指出“The proposed method in [5] employs over-approximations of non-probabilistic hybrid automata in order to compute reachable sets, and thus, inherits the advantages and limitations of such methods especially in terms of the class of systems that can be analyzed”,在将结束时指出“the main contribution of the paper lies on the construction of probabilistic finite abstractions that preserve safety properties. This result allows verification methods developed for non-probabilistic hybrid systems to be applied to probabilistic ones”,在结束时指出“Efforts to extend current approaches such as the methods presented in [5] are valuable for making progress toward verification of complex systems”)

12)  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.

13)  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.Scholar google 搜索结果,15次引用)

14)  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. (德国勃兰登堡理工大学计算机科学学院理论计算机科学主席Prof. Klaus Meer在《美国数学评论》上针对该文发表了评论)

15)  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-RahmanLecture Notes in Computer ScienceVol. 6244, pp. 267-279)通过引用该论文指出从代数角度高效计算Lyapunov函数为“Some Possible Future Directions”的第5个问题)

16)  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.(俄罗斯圣彼得堡国立大学运筹学系主任Prof. N. N. Petrov 在《美国数学评论》上针对该文发表了评论)

17)  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 搜索结果,80余次引用,特别地,该论文已被多名的国外院士、IEEE会士、ACM会士引用,如美国工程院院士Alberto L. Sangiovanni-Vincentell,美国工程院院士、欧洲科学院院士Moshe Y. VardiIEEE会士、ACM会士Prof. John A. StankovicIEEE会士Prof. Insup Lee等)

18)  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. Scholar google 搜索结果,15次引用)

19)  Zhikun She and Haoyang Li. Verifiable Conditions on Asymptotic Stabilisability for a 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.

20)  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.

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

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

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

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

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

26)  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, 2013.

27)  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份投稿)

28)  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.

29)  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.

30)  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.

31)  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.

32)  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.

33)  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.

34)  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. Scholar google 搜索结果,8次引用)

35)  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分钟报告)

 

教学活动
讲授中法工程师学院本科生必修课程《数学分析》;
讲授数学与系统科学学院研究生专业课程《微分动力系统》。
所获奖励

2007年度北京市优秀人才,2007年度北京航空航天大学蓝天新秀,2008年度北京市科技新星,2013年度教育部新世纪优秀人才。

社会工作
推荐链接