A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems

• 成果类型: Article
• 署名作者: Lavaei, Abolfazl; Soudjani, Sadegh; Frazzoli, Emilio
• 署名单位: Newcastle University - UK; Swiss Federal Institutes of Technology Domain; ETH Zurich
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3260729
• 发表日期: 2023
• 页码: 7240-7253
• 关键词: Compositional dissipativity approach; continuous-time stochastic systems; data-driven safety verification; robust optimization program; scenario optimization program; storage and barrier certificates

摘要

This work is concerned with a compositional data-driven approach for formal safety verification of large-scale continuous-time dynamical systems with unknown models. The proposed framework enjoys the interconnection matrix and joint dissipativity-type properties of subsystems, described by the notion of stochastic storage certificates. In the first part of the paper, we cast the required conditions for constructing storage certificates as a robust optimization program (ROP). Since the proposed ROP is not tractable due to the unknown model appearing in one of its constraints, we propose a scenario optimization program (SOP) corresponding to the original ROP by collecting finite numbers of data from trajectories of each subsystem. By establishing a probabilistic relation between the optimal value of SOP and that of ROP, we construct a storage certificate for each unknown subsystem based on the number of data and a required level of confidence. We accordingly propose a compositional technique based on dissipativity reasoning to construct stochastic barrier certificates of interconnected systems based on storage certificates of individual subsystems. By leveraging the acquired barrier certificate, we quantify a lower bound on the probability that an interconnected system never reaches a certain unsafe region in finite-time horizons with an a-priori guaranteed confidence. We also propose an auxiliary compositional approach without requiring any compositionality condition but at the cost of providing a potentially conservative safety guarantee. In the second part of the paper, we propose our approaches for deterministic continuous-time systems with unknown dynamics. We verify our results over an unknown room temperature network containing 100 rooms.