文章基本信息

标题：Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems ⁎
本地全文：下载
作者：Ameneh Nejati ; Sadegh Soudjani ; Majid Zamani 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：2
页码：1856-1861
DOI：10.1016/j.ifacol.2020.12.2354
语种：English
出版社：Elsevier
摘要：AbstractIn this paper, we propose a compositional framework for the construction of control barrier functions for networks of continuous-time stochastic control systems. The proposed scheme is based on a notion of so-called pseudo-barrier functions computed for subsystems, using which one can synthesize state-feedback controllers for interconnected systems enforcing safety specifications over a finite-time horizon. Particularly, we first leverage sufficient small-gain type conditions to compositionally construct control barrier functions for interconnected systems based on the corresponding pseudo-barrier functions computed for subsystems. Then, using the constructed control barrier functions, we quantify upper bounds on exit probabilities - the probability that an interconnected system reaches certain unsafe regions - in a finite-time horizon. We employ a systematic technique based on the sum-of-squares optimization program to search for pseudo-barrier functions of subsystems while synthesizing safety controllers. We demonstrate our proposed results by applying them to a temperature regulation in a network of 1000 rooms.
关键词：KeywordsCompositional Control Barrier FunctionsContinuous-Time Stochastic SystemsSmall-Gain ConditionsNetworks of Stochastic Systems