Abstract: An important tool for proving the safety of dynamical systems is the notion of a barrier certificate. In this paper, we prove that every robustly safe ordinary differential equation has a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback