Our approach is based on a notion of path-complete barrier functions, which utilizes a collection of barrier functions associated with a directed labeled graph that can encode all the possible ...

Abstract: We provide an algorithmic procedure allowing to compare stability certificates for discrete-time switching systems and in specific Path ... definite functions and a set of Lyapunov ...