Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914678362341376 |
|---|---|
| author | Rober, Nicholas Mahesh, Karan Paine, Tyler M. Greene, Max L. Lee, Steven Monteiro, Sildomar T. Benjamin, Michael R. How, Jonathan P. |
| author_facet | Rober, Nicholas Mahesh, Karan Paine, Tyler M. Greene, Max L. Lee, Steven Monteiro, Sildomar T. Benjamin, Michael R. How, Jonathan P. |
| contents | 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 real-time that the system avoids dangerous regions of the state space. Specifically, we employ an optimization-based moving horizon estimator (MHE) to characterize the disturbance affecting the system, which is incorporated into an online reachability calculation. Reachable sets are calculated using a computational graph analysis tool to predict the possible future states of the system and verify that they satisfy safety constraints. We include theoretical arguments proving our approach generates reachable sets that bound the future states of the system, as well as numerical results demonstrating how it can be used for safety verification. Finally, we present results from hardware experiments demonstrating our approach's ability to perform online reachability calculations for an unmanned surface vehicle subject to currents and actuator failures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_19256 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances Rober, Nicholas Mahesh, Karan Paine, Tyler M. Greene, Max L. Lee, Steven Monteiro, Sildomar T. Benjamin, Michael R. How, Jonathan P. Systems and Control 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 real-time that the system avoids dangerous regions of the state space. Specifically, we employ an optimization-based moving horizon estimator (MHE) to characterize the disturbance affecting the system, which is incorporated into an online reachability calculation. Reachable sets are calculated using a computational graph analysis tool to predict the possible future states of the system and verify that they satisfy safety constraints. We include theoretical arguments proving our approach generates reachable sets that bound the future states of the system, as well as numerical results demonstrating how it can be used for safety verification. Finally, we present results from hardware experiments demonstrating our approach's ability to perform online reachability calculations for an unmanned surface vehicle subject to currents and actuator failures. |
| title | Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances |
| topic | Systems and Control |
| url | https://arxiv.org/abs/2310.19256 |