Abstract: This paper provides an introduction and overview of recent work on control barrier functions and their use to verify and enforce safety properties in the context of (optimization based) ...

Let’s start with what’s probably the most tired, overused joke in math: A topologist is someone who can’t tell a coffee cup from a doughnut. Both, you see, have a hole in them. Topology is usually ...