SHE Zhikun

佘志坤

Postdoc at Programming Logics Group (AG2)
of MPI fuer Informatik, Saarbruecken, Germany

Contact:

Note: After December 11, 2006, I will move to School of Science, Beihang University, Beijing, China.
Please contact me via the Email: zkshe77@hotmail.com or the Mobile: (0086)13681295121.

Research Interests

• Reachability and Stability of Hybrid Systems
  
• Constraint Solving
  
• Real Computation and Complexity
  

Projects

• AVACS

Free Software

• HSOLVER

PHD Thesis

• Zhikun She, supervised by Prof. Zhiming Zheng
  Pseudo-Division Machine, Semi-Algebraic Systems and the Complexity Analysis (in Chinese)
  伪除机理论、半代数系统及其复杂性分析
  

Publications

• Stefan Ratschan and Zhikun She
  Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.
  A revised and extended version of our HSCC'05 paper.
  ACM Transactions on Embedded Computing Systems. To appear, 2007.
  pdf
  
• Felix Klaedtke and Stefan Ratschan and Zhikun She
  Language Based Abstraction Refinement for Hybrid System Verification.
  In B. Cook and A. Podelski (Eds.): VMCAI 2007, LNCS 4349, pp. 151-166, Springer-Verlag, 2007.
  pdf
  
• Zhikun She and Bican Xia and Rong Xiao
  A Semi-Algebraic Approach for the Computation of Lyapunov Functions.
  In B. Kovalerchuk, editor, Proceedings of the 2nd IASTED International Conference on COMPUTATIONAL INTELLIGENCE, ACTA Press, 2006.
  pdf
  
• 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.
  pdf
  
• Stefan Ratschan and Zhikun She
  Constraints for Continuous Reachability in the Verification of Hybrid Systems.
  In Jacques Calmet, Tetsuo Ida and Dongming Wang (Eds.): Proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, LNAI 4120, pp. 196-210, Springer-Verlag, 2006.
  pdf
  
• Stefan Ratschan and Zhikun She
  Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.
  In M. Morari and L. Thiele (Eds.): HSCC 2005, LNCS 3414, pp. 573-589, Springer-Verlag, 2005.
  pdf
  
• Stefan Ratschan and Zhikun She
  Constraint Based Verification of Hybrid Systems.
  In Sung-il Pae and Hyungju Park (Eds.), Proceedings of the Seventh Asian Symposium on Computer Mathematics (ASCM 2005), pp. 66-68, 2005.
  
• Zhikun She and Zhiming Zheng
  Complexity Estimate for Solving Algebraic Systems.
  In Dongming Wang and Lihong Zhi, editors, International Workshop on Symbolic-Numeric Computation SNC 2005 Proceedings, pages 364-380, 2005.
  
• She Zhikun and Zheng Zhiming
  Algebraic Systems and the Complexity Analysis.
  Proceedings of the Second Asian Workshop on Foundations of Software, Southeast University Press, Nanjing, pp. 32-38, 2003.
  
• She Zhikun, Xia Bican and Zheng Zhiming
  Pseudo-Division Machine (I): A Model of Symbolic Computation.
  In Arjeh M. Cohen, Xiao-Shan Gao and Nobuki Takayama, editors, Proceedings of the First International Congress of Mathematical Software: Mathematical Software (ICMS 2002), pp. 115-125, World Scientific, Singapore, 2002.
  

Submitted Papers

• Stefan Ratschan and Zhikun She
  Recursive and Backward Reasoning in the Verification of Hybrid Systems.
  Submitted.
  pdf
  
• She Zhikun, Xia Bican and Zheng Zhiming
  Pseudo-Division Machine
  Submitted.
  
• She Zhikun, Xia Bican and Zheng Zhiming
  A Singly Exponential Algorithm for Solving Polynomial Systems
  Submitted
  

A Short CV