V. Madabushi

Guaranteeing robustness for legged robots just got easier: this work provides a computationally tractable method to compute invariant sets around periodic orbits, enabling controller design that explicitly maximizes stability margins.

Guaranteeing robustness of hybrid systems just got easier: this work offers a computationally tractable method to find invariant sets with probabilistic guarantees, even when dynamics are only accessible through simulation.