Fei He

• Affiliations:

• School of Software, Tsinghua University, Beijing, China,Tsinghua National Laboratory for Information Science and Technology, China,Key Laboratory for Information System Security, MOE, China

• Organizations:

• China Nat. Pet. Corp.;China Nat. Pet. Corp.;China Nat. Pet. Corp.;Corporate Research Beijing;School of Software College;MOE Key Laboratory for Biodiversity Science and Ecological Engineering and College of Life Sciences;Tsinghua University;Key Laboratory for Information System Security (Tsinghua University);Tsinghua Univ. Tsinghua National Laboratory for Information Science and Technology;

• Fields:
• safety verification Exponential Condition Exponential-Condition-Based barrier certificate generation barrier certificate conservative barrier certificate critical safety property hybrid systemsA barrier certificate new barrier certificate condition hybrid system nonlinear hybrid system

• Exponential-Condition-Based barrier certificate generation for safety verification of hybrid systems

  Hui Kong;Fei He;Xiaoyu Song;William N. N. Hung;Ming Gu

  CAV'13 Proceedings of the 25th international conference on Computer Aided Verification