ag平台网址,ag平台app下载

佘志坤

https://cms2.buaa.edu.cn/_vsl/2B708476702B54FADB95F9A4324AF731/78CC555C/5E1E?e=.jpg

   

佘志坤(博导)

   

教授

所属系别

信息与计算科学系

学科专业

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

办公地点

图书馆西配楼518房间  

办公电话


电子邮件

zhikun.she@buaa.edu.cn

 

教育背景

19959月到19997月,就读于北京大学ag平台网址,获理学学士学位;

19999月到20056月,就读于北京大学ag平台网址,获理学博士学位(导师:郑志明教授)。

 

工作简历

20041月到200612月,工作于德国马普计算机科学研究所(博士后合作导师:Stefan   Ratschan);

200612月迄今,工作于北京航空航天大学数学与系统科学ag平台app下载(于2009年被破格聘为博士生导师)。

 

科研项目


1)  
主持北京市自然科学基金重点研究专题项目复杂网络协同性的优化理论与高效算法研究(项目批准号:Z1800052018.12-2022.12200)

2)   主持国家优秀青年科学基金项目混成系统验证与分析(项目批准号:114221112015.01-2017.12100)

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

4)   主持国家自然基金项目基于代数分析与符号计算的混成系统自动验证2011.01-2013.1220万);

5)   主持国家军口863项目“XXXXXXXXXXXXXX可靠性研究2010.07-2011.0630万);

6)   主持国家军口863项目“XXXXXXXXXXXXXXXX关键技术研究2008.07-2010.0670)

7)   主持2008年度北京市科技新星计划项目混杂系统自动验证及其在App可靠性中的应用2009.01-2011.1225)

8)   主持2007年度北京市优秀人才资助项目混杂系统自动验证和分析2007.01-2008.122.5万);

 

发表论文

     ACM Transactions on Embedded Computing SystemsSIAM Journal on Control and OptimizationIEEE   Transactions on Automatic ControlIEEE Transactions   on CyberneticsIEEE Transactions on Systems, Man and   Cybernetics: SystemsIEEE Transactions on Circuits   and Systems II: Express BriefsNonlinear Analysis:   Hybrid SystemsInternational Journal of Robust and   Nonlinear ControlJournal of Symbolic ComputationCelestial Mechanics and Dynamical Astronomy等领域国际顶级刊物和AAAICAVISSACHSCCCDC等领域国际顶级会议上发表学术论文80余篇。研究成果被来自于Massachusetts Institute of   TechnologyStanford UniversityUniversity of California at BerkeleyUniversity   of CambridgeUniversity of OxfordETH ZurichCarnegie Mellon UniversityRWTH Aachen、日本早稻田大学、新加坡国立大学、清华大学、CNRSINRIAMPII、中国科ag平台app下载App所等国内外著名机构的学者正面评价与引用。其中,2007年图灵奖获得者Edmund M. Clarke2008年自动推理杰出成就奖Herbrand奖获得者)、美国工程院院士Alberto L. Sangiovanni-Vincentelli、美国工程院院士、美国科ag平台app下载院士、欧洲科ag平台app下载院士Moshe Y. Vardi哥德尔奖获得者)、英国皇家学会院士Prof. Lawrence   PaulsonIsabelle创始人、2017年自动推理杰出成就奖Herbrand奖获得者)、清华大学孙家广院士、斯坦福大学资深教授、ACM会士Prof. Zohre Manna2016年自动推理杰出成就奖Herbrand奖获得者)、欧洲科ag平台app下载院士、IEEE会士Guanronghttp://www.ee.cityu.edu.hk/~gchen/images/spacer.gif Chen、欧洲科ag平台app下载院士、ACM/IEEE会士Thomas A. Henzinger、国际自动控制联合会主席Prof. Janan Zaytoon、德国科学与工程院院士Werner Damm、欧洲科ag平台app下载院士、IEEE会士Bernd Becker、欧洲科ag平台app下载院士、ACM会士Marta Kwiatkowska、欧洲科ag平台app下载院士Joost-Pieter Katoen、欧洲科ag平台app下载院士Holger HermannsIEEE会士Prof. John A. StankovicIEEE会士Prof. Bruce KroghIEEE会士Prof. Maria Domenica Di BenedettoIEEE会士Prof. Bud MishraIEEE会士Prof. Insup LeeIEEE会士Prof. John LygerosIEEE会士Prof. George Pappas(美国总统青年科技奖获得者)、IEEE会士Prof. Boudewijn R. HaverkortIEEE会士Prof. Calin BeltIEEE会士Prof. Weixing ZhengIEEE会士Prof. Daniel W. C. HoIEEE会士Prof. Xinghuo Yu等给予了诸如“改进了传统方法”、“显著的”、“最早工具”、“明显优势”、“对于推动复杂系统验证是有价值的”、“灵感之源”、“更经得起检验”等等的正面评价。特别地,由图灵奖获得者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, butin additionit 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 1AUS评价为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   1AUS评价为A+。欧洲科ag平台app下载院士、牛津大学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为“混成系统”领域的国际领先会议)28regular   papers中唯一一篇来自亚洲的论文,且其中有一篇论文的署名编辑是图灵奖得主Edmund M.   Clarke、一篇论文的署名编辑是欧洲科ag平台app下载院士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等。)

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 1AUS评价为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 1AUS评价为A+)Scholar google搜索结果,40余次引用)(34regular   papers中有一篇论文的署名编辑是是图灵奖得主Edmund M. Clarke,另有三篇论文的署名编辑是欧洲科ag平台app下载院士Thomas A. Henzinger17tool papers中有一篇论文的署名编辑是图灵奖得主Amir Pnueli。特别地,欧洲科ag平台app下载院士、牛津大学Prof. Marta KwiatkowskaIEEE会士、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,另有一篇论文的署名编辑是欧洲科ag平台app下载院士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共接受40regular   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)在134140页利用一整节的篇幅详细先容了此工作,指出“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)    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.

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

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

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

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

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

14)  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, 2020. DOI: 10.1142/S1793524520500369.

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

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

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

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

19)  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): 23332350, 2019. DOI: 10.1002/rnc.4495.

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

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

22)    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): 51915212. DOI: 10.1002/rnc.4280]. International Journal of Robust and   Nonlinear Control, 28(17): 5665-5666, 2018.

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

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

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

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

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

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

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

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

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

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

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

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

35)  Xin Jiang, Kairong LiuGang   Meng and Zhikun She. Continuity of the Eigenvalues for a Vibrating Beam.   Applied Mathematics Letters, Vol. 67, pp. 60-66, 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)  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.

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

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

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

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

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

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

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

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

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

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

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

49)  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   CheckingLecture Notes in Computer ScienceVolume 8974, pp 26-402015)首先指出“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对该文专门写了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”。)

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

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

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

53)  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个问题。)

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

55)  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,美国工程院院士、欧洲科ag平台app下载院士Moshe Y. VardiACM会士、IEEE会士Prof. John A. StankovicACM会士Prof. Lawrence PaulsonIEEE会士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   IEEEVol. 103No. 11pp. 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.”;美国工程院院士、美国科ag平台app下载院士、欧洲科ag平台app下载院士Moshe Y. VardiE Plaku, L. E. Kavraki and   M. Y. Vardi, Form Methods in System Design, 34: 157182,2009)引用该论文,指出“the abstraction method makes verification more amenable to   analysis by constructing a simplified model that simulates the original   system”)

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

57)  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. ?-?, 2020.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

83)  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年出生,硕博连读,20143月毕业(本科毕业于天津职业技术师范大学;2013年度国家奖学金获得者;曾于201304月至201307月访问美国University of Colorado Boulder20145月至20159月为新加坡南洋理工大学博士后,201510月至201710月为德国奥尔登堡大学博士后,现为中科院App所副研究员、“百人计划”C类入选者)

(2)       程旭华:女,1978年出生,博士生,20153月毕业(本科毕业于河北师范大学,硕士毕业于河北工业大学;2014年度国家奖学金获得者;曾于201311月至201402月访问美国Northwestern University,曾为清华大学数学科学系博士后,现为河北工业大学副教授)

(3)       李海银:女,1977年出生,博士生,20157月毕业(本科与硕士都毕业于河南师范大学;2014年度北京航空航天大学博士生创新基金获得者;曾于20149月至201412月访问美国University of Miami,现为河南政法财经大学数学与信息科学ag平台app下载副教授)

(4)       卢俊杰:女,1989年出生,硕博连读,20183月毕业(本科毕业于河南师范大学;20159月至20169月新加坡国立大学,国家留学公派联合培养博士生,国外引导老师:葛树志教授,现任北京科技大学讲师)

(5)       梁全义:男,1987年出生,博士生,20187月毕业(本科与硕士都毕业于郑州大学;曾于20173月至20176月访问英国University of Southampton,现为新加坡国立大学机械工程ag平台app下载博士后)

(6)       郑秀亮:男,1981年出生,在职博士生,20197月毕业(本科毕业于廊坊师范ag平台app下载,硕士毕业于陕西师范大学;现为河北北方ag平台app下载讲师)

(7)       姜鑫:  女,1991年出生,硕博连读,20207月毕业(本科毕业于山东师范大学;2017年度国家奖学金获得者;2019年度北京航空航天大学博士生卓越学术基金获得者;201811月至201910月美国University of Miami国家留学公派联合培养博士生,国外引导老师:阮世贵教授;现为北方工业大学讲师)

 

所获奖励

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

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

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

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

 

社会工作

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

 

推荐链接


 



Copyright ©版权所有:ag平台网址 地址:北京市海淀区ag平台app下载路37号      邮编:100191

XML 地图 | Sitemap 地图