1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Li Wang, Dongkun Han, Magnus Egerstedt
Motivated by the need to simultaneously guarantee safety and stability of safety-critical dynamical systems, we construct permissive barrier certificates in this paper that explici…