They didn’t wear capes. They didn’t save cities. But in the quietest, most ordinary moments: on buses, in grocery lines, in ...

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 ...