摘要：AbstractThis paper proposes a compositional approach for constructing control barrier certificates of large-scale interconnected discrete-time stochastic control systems. The proposed compositional methodology is based on a notion ofcontrol sub-barrier certificatesenabling one to construct control barrier certificates of interconnected systems by leveraging some small-gain type conditions. The main goal is to synthesize control policies satisfying safety properties for interconnected systems utilizing those control sub-barrier certificates of subsystems while providing upper bounds on the probability that interconnected systems reach unsafe regions in finite-time horizons. A sum-of-squares optimization problem is formulated for searching control sub-barrier certificates and corresponding local control policies satisfying safety specifications. The proposed compositional approaches are illustrated on a temperature regulation in a circular building containing 1000 rooms by compositionally synthesizing safety controllers to maintain the temperature of each room in a comfort zone in a bounded-time horizon.
