Abstract: The identification of a mathematical dynamics model is a crucial step in the designing process of a controller. However, it is often very difficult to identify the system’s governing ...
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