Regularity Properties of Reachability Maps for Hybrid Dynamical Systems with Applications to Safety

In this paper, motivated by the safety problem in hybrid systems, two set-valued reachability maps are introduced. The outer semicontinuity, the continuity, and the local boundedness of the proposed reachability maps with respect to their arguments are analyzed under mild regularity conditions. This study is then used to revisit and improve the existing converse safety statements in terms of barrier functions. In particular, for safe hybrid systems satisfying the aforementioned regularity conditions, we construct time-varying barrier functions that depend on the proposed reachability maps. Consequently, we show that the constructed barrier functions inherit the continuity properties established for the proposed reachability maps.

[1]  P. Wolenski,et al.  Proximal Analysis and the Minimal Time Function , 1998 .

[2]  Ricardo G. Sanfelice,et al.  Local lipschitzness of reachability maps for hybrid systems with applications to safety , 2020, HSCC.

[3]  P. Wolenski.  The exponential formula for the reachable set of a Lipschitz differential inclusion , 1990 .

[4]  Ricardo G. Sanfelice,et al.  Hybrid Systems: Limit Sets and Zero Dynamics with a View Toward Output Regulation , 2008 .

[5]  Anders Rantzer,et al.  On the necessity of barrier certificates , 2005 .

[6]  Ricardo G. Sanfelice,et al.  Characterization of Safety and Conditional Invariance for Nonlinear Systems , 2019, 2019 American Control Conference (ACC).

[7]  Halina Frankowska.  Local controllability of control systems with feedback , 1986, 1986 25th IEEE Conference on Decision and Control.

[8]  Jessy W. Grizzle,et al.  Feedback Linearization of Discrete-Time Systems , 1986 .

[9]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[10]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[11]  J. Aubin,et al.  Differential inclusions set-valued maps and viability theory , 1984 .

[12]  Zdzisław Denkowski,et al.  Set-Valued Analysis , 2021 .

[13]  Asen L. Dontchev,et al.  Difference Methods for Differential Inclusions: A Survey , 1992, SIAM Rev..

[14]  E. Michael.  Continuous Selections. I , 1956 .

[15]  Ricardo G. Sanfelice,et al.  Characterizations of safety in hybrid inclusions via barrier functions , 2019, HSCC.