Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
Nicholas Rober,Karan Mahesh,Tyler M. Paine,Max L. Greene,Steven Lee,Sildomar T. Monteiro,Michael R. Benjamin,Jonathan P. How,Nicholas Rober,Karan Mahesh,Tyler M. Paine,Max L. Greene,Steven Lee,Sildomar T. Monteiro,Michael R. Benjamin,Jonathan P. How
Deploying autonomous systems in safety critical settings necessitates methods to verify their safety properties. This is challenging because real-world systems may be subject to disturbances that affect their performance, but are unknown a priori. This work develops a safety-verification strategy wherein data is collected online and incorporated into a reachability analysis approach to check in re...
