Abstract:In this work, we propose a compositional framework for the construction of control barrier functions for networks of continuous-time stochastic hybrid systems enforcing complex logic specifications expressed by finite-state automata. The proposed scheme is based on a notion of so-called pseudo-barrier functions computed for subsystems, by employing which one can synthesize hybrid controllers for interconnected systems enforcing complex 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 provide probabilistic guarantees on the satisfaction of given complex specifications in a bounded time horizon. In this respect, we decompose the given complex specification to simpler reachability tasks based on automata representing the complements of original finite-state automata. We then provide systematic approaches to solve those simpler reachability tasks by computing corresponding pseudo-barrier functions. Two different systematic techniques are provided based on (i) the sum-of-squares (SOS) optimization program and (ii) counter-example guided inductive synthesis (CEGIS) to search for pseudo-barrier functions of subsystems while synthesizing local controllers. We demonstrate the effectiveness of our proposed results by applying them to a fully-interconnected Kuramoto network of 100 nonlinear oscillators with Markovian switching signals.

Barrier Functions for Switched and Impulsive Systems

Distributed Adaptive Safe Fault-Tolerant Control for Nonlinear Systems Based on Barrier Function

First Attempt of Barrier Functions for Caputo's Fractional-Order Nonlinear Dynamical Systems

A Novel Attempt of Barrier Function to the Safety of Caputo's Fractional-Order Systems.

Control Barrier Functions for Stochastic Systems and Safety-critical Control Designs

A New Safety Criterion for Dynamics Systems by Barrier Function Based on Forward Invariant Set

Non-positive Barrier Function:A New Notion of Barrier Function for State-Safety Control of Nonlinear Dynamical Systems

Construction of parametric barrier functions for dynamical systems using interval analysis

Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems

Safety MPC of Constrained Switched Systems with Control Barrier Function

Control Barrier Functionals: Safety-critical Control for Time Delay Systems

Extent-compatible control barrier functions

Robustness of Control Barrier Functions for Safety Critical Control

Learning Local Control Barrier Functions for Hybrid Systems

Barrier Pairs for Safety Control of Uncertain Output Feedback Systems

Compositional construction of control barrier functions for continuous-time stochastic hybrid systems

Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems

Learning Control Barrier Functions with High Relative Degree for Safety-Critical Control

Robust performance for switched systems with constrained switching and its application to weakly hard real-time control systems

Piecewise Stochastic Barrier Functions