
This paper proposes a compositional framework based on dissipativity approaches to construct control barrier certificates for networks of continuous-time stochastic hybrid systems. The proposed scheme leverages the structure of the interconnection topology and a notion of so-called control storage certificates to construct control barrier certificates compositionally. By utilizing those certificates, one can compositionally synthesize state-feedback controllers for interconnected systems enforcing safety specifications over a finite-time horizon. In particular, we leverage dissipativity-type compositionality conditions to construct control barrier certificates for interconnected systems based on corresponding control storage certificates computed for subsystems. Using those constructed control barrier certificates, one can quantify upper bounds on probabilities that interconnected systems reach certain unsafe regions in finite-time horizons. We employ a systematic technique based on the sum-of-squares optimization program to search for storage certificates of subsystems together with their corresponding safety controllers. We demonstrate our proposed results by applying them to a temperature regulation in a circular building containing 1000 rooms. To show the applicability of our approaches to dense networks, we also apply our proposed techniques to a fully-interconnected network.
Technology, TK7800-8360, Theory of computation~Timed and hybrid models, T, Stochastic hybrid systems, Computer systems organization~Embedded and cyber-physical systems, Compositional barrier certificates, Dissipativity theory, dissipativity theory, 004, TK1-9971, compositional barrier certificates, Mathematics of computing~Stochastic processes, Electrical engineering. Electronics. Nuclear engineering, Large-scale networks, Electronics, Formal controller synthesis, large-scale networks, stochastic hybrid systems, formal controller synthesis, ddc: ddc:004
Technology, TK7800-8360, Theory of computation~Timed and hybrid models, T, Stochastic hybrid systems, Computer systems organization~Embedded and cyber-physical systems, Compositional barrier certificates, Dissipativity theory, dissipativity theory, 004, TK1-9971, compositional barrier certificates, Mathematics of computing~Stochastic processes, Electrical engineering. Electronics. Nuclear engineering, Large-scale networks, Electronics, Formal controller synthesis, large-scale networks, stochastic hybrid systems, formal controller synthesis, ddc: ddc:004
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
