ACM International Conference on Embedded Software, EMSOFT 2016


Article Details
Title: Darboux-type barrier certificates for safety verification of nonlinear hybrid systems
Article URLs:
Alternative Article URLs:
Authors: Xia Zeng
  • East China Normal University, Shanghai 200062, China, Shanghai Key Laboratory of Trustworthy Computing
Wang Lin
  • AMSS, Beijing 100190, China, Key Laboratory of Mathematics Mechanization
Zhengfeng Yang
  • East China Normal University, Shanghai 200062, China, Shanghai Key Laboratory of Trustworthy Computing
Xin Chen
  • Nanjing University, Jiangsu 210032, China, State Key Laboratory for Novel Software Technology
Lilei Wang
  • East China Normal University, Shanghai 200062, China, Shanghai Key Laboratory of Trustworthy Computing
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/emsoft/ZengLYCW16
Author Comments:

Discuss this paper and its artifacts below