Safety Verification of Interconnected Hybrid Systems Using Barrier Certificates

被引:0
|
作者
Wang, Guobin [1 ,2 ]
He, Jifeng [1 ,2 ]
Liu, Jing [1 ,2 ]
Sun, Haiying [1 ,2 ]
Ding, Zuohua [3 ]
Zhang, Miaomiao [4 ]
机构
[1] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China
[2] E China Normal Univ, Natl Trustworthy Embedded Software Engn Technol R, Shanghai 200062, Peoples R China
[3] Zhejiang Sci Tech Univ, Sch Informat & Elect, Hangzhou 310018, Zhejiang, Peoples R China
[4] Tongji Univ, Sch Software Engn, Shanghai 201804, Peoples R China
关键词
INVARIANTS; SUM;
D O I
10.1155/2016/4149059
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
Safety verification determines whether any trajectory starting from admissible initial states would intersect with a set of unsafe states. In this paper, we propose a numerical method for verifying safety of a network of interconnected hybrid dynamical systems with a state constraint based on bilinear sum-of-squares programming. The safety verification is conducted by the construction of a function of states called barrier certificate. We consider a finite number of interconnected hybrid systems satisfying the input-to-state property and the networked interconnections satisfying a dissipativity property. Through constructing a barrier certificate for each subsystem and imposing dissipation-inequality-like constraints on the interconnections, safety verification is formulated as a bilinear sum-of-squares feasibility problem. As a result, safety of the interconnected hybrid systems could be determined by solving an optimization problem, rather than solving differential equations. The proposed method makes it possible to verify the safety of interconnected hybrid systems, which is demonstrated by a numerical example.
引用
收藏
页数:10
相关论文
共 50 条
  • [21] Verification of Hyperproperties for Dynamical Systems via Barrier Certificates
    Anand, Mahathi
    Murali, Vishnu
    Trivedi, Ashutosh
    Zamani, Majid
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (10) : 6920 - 6934
  • [22] Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates
    Barry, Andrew J.
    Majumdar, Anirudha
    Tedrake, Russ
    2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2012, : 484 - 490
  • [23] Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates
    University of Colorado, Department of Computer Science, Boulder
    CO
    80309, United States
    IEEE Control Syst. Lett., (3183-3188):
  • [24] A Dissipativity Approach to Safety Verification for Interconnected Systems
    Coogan, Samuel
    Arcak, Murat
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (06) : 1722 - 1727
  • [25] Compositional Safety Analysis using Barrier Certificates
    Sloth, Christoffer
    Pappas, George J.
    Wisniewski, Rafael
    HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 15 - 23
  • [26] Safety verification for distributed parameter systems using barrier functionals
    Ahmadi, Mohamadreza
    Valmorbida, Giorgio
    Papachristodoulou, Antonis
    SYSTEMS & CONTROL LETTERS, 2017, 108 : 33 - 39
  • [27] A contract negotiation scheme for safety verification of interconnected systems☆
    Tan, Xiao
    Papachristodoulou, Antonis
    Dimarogonas, Dimos V.
    EUROPEAN JOURNAL OF CONTROL, 2024, 80
  • [28] Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
    Li, Yonghan
    Wu, Chenyu
    Wu, Taoran
    Wang, Shijie
    Xue, Bai
    arXiv,
  • [29] Safety verification for Regime-Switching Jump Diffusions via barrier certificates
    Liu, Kairong
    She, Zhikun
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2023, 50
  • [30] Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach
    Salamati, Ali
    Zamani, Majid
    LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 168, 2022, 168