Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems

Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid (2020): Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems. In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1856-1861

Abstract

In 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. Copyright (C) 2020 The Authors.

• Dokumententyp: Zeitschriftenartikel
• Fakultät: Mathematik, Informatik und Statistik > Informatik
• Themengebiete: 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik
• ISSN: 2405-8963
• Sprache: Englisch