Peak estimation of hybrid systems aims to upper bound extreme values of a state function
along trajectories, where this state function could be different in each subsystem. This finite …

This research extends an occupation measure framework to analyze and quantify the safety
of dynamical systems. A motivating application of trajectory analysis is in peak estimation …

Bipedal robots have the potential to traverse a wide range of unstructured environments,
which are otherwise inaccessible to wheeled vehicles. Though roboticists have successfully …