Get up and running with routes, views, and templates in Python’s most popular web framework, including new features found ...
Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...
Abstract: This paper considers the general problem of transitioning theoretically safe controllers to hardware. Concretely, we explore the application of control barrier functions (CBFs) to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results