首页    期刊浏览 2024年11月08日 星期五
登录注册

文章基本信息

  • 标题:Safety Verification for Impulsive Systems ⁎
  • 本地全文:下载
  • 作者:Petro Feketa ; Sergiy Bogomolov ; Thomas Meurer
  • 期刊名称:IFAC PapersOnLine
  • 印刷版ISSN:2405-8963
  • 出版年度:2020
  • 卷号:53
  • 期号:2
  • 页码:1949-1954
  • DOI:10.1016/j.ifacol.2020.12.2589
  • 语种:English
  • 出版社:Elsevier
  • 摘要:AbstractThe problem of safety verification for a subclass of hybrid systems, namely for impulsive systems with fixed moments of jumps is considered. Sufficient conditions are derived for the safety of impulsive systems whose continuous dynamics may steer the state outside the safe region. For this purpose auxiliary barrier certificates with nonlinear rates are introduced and equipped with appropriate dwell-time conditions which restrict the upper bound for the inter-jump interval in order to ensure the desired safety property. The proposed approach is demonstrated by performing safety verification of linear and nonlinear impulsive systems.
  • 关键词:KeywordsSafety analysisHybrid systemsImpulsive systemsBarrier certificatesNonlinear rate functions
国家哲学社会科学文献中心版权所有