Elizabeth Dietrich

Real-time monitoring of robotic systems can now achieve superior risk detection under uncertainty with significantly less data.

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.