Case Studies in Data-Driven Verification of Dynamical Systems
We interpret several dynamical system verification questions, e.g., region of attraction and reachability analyses, as data classification problems. We discuss some of the tradeoffs between conventional optimization-based certificate constructions with certainty in the outcomes and this new date-dri...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Association for Computing Machinery (ACM)
2016
|
| Online Access: | http://hdl.handle.net/1721.1/105224 https://orcid.org/0000-0001-8576-1930 https://orcid.org/0000-0002-0464-4108 |
| _version_ | 1826189757581885440 |
|---|---|
| author | Kozarev, Alexandar Topcu, Ufuk How, Jonathan P Quindlen, John Francis |
| author2 | Massachusetts Institute of Technology. Aerospace Controls Laboratory |
| author_facet | Massachusetts Institute of Technology. Aerospace Controls Laboratory Kozarev, Alexandar Topcu, Ufuk How, Jonathan P Quindlen, John Francis |
| author_sort | Kozarev, Alexandar |
| collection | MIT |
| description | We interpret several dynamical system verification questions, e.g., region of attraction and reachability analyses, as data classification problems. We discuss some of the tradeoffs between conventional optimization-based certificate constructions with certainty in the outcomes and this new date-driven approach with quantified confidence in the outcomes. The new methodology is aligned with emerging computing paradigms and has the potential to extend systematic verification to systems that do not necessarily admit closed-form models from certain specialized families. We demonstrate its effectiveness on a collection of both conventional and unconventional case studies including model reference adaptive control systems, nonlinear aircraft models, and reinforcement learning problems. |
| first_indexed | 2024-09-23T08:21:30Z |
| format | Article |
| id | mit-1721.1/105224 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T08:21:30Z |
| publishDate | 2016 |
| publisher | Association for Computing Machinery (ACM) |
| record_format | dspace |
| spelling | mit-1721.1/1052242022-09-23T12:28:55Z Case Studies in Data-Driven Verification of Dynamical Systems Kozarev, Alexandar Topcu, Ufuk How, Jonathan P Quindlen, John Francis Massachusetts Institute of Technology. Aerospace Controls Laboratory Massachusetts Institute of Technology. Department of Aeronautics and Astronautics How, Jonathan P Quindlen, John Francis We interpret several dynamical system verification questions, e.g., region of attraction and reachability analyses, as data classification problems. We discuss some of the tradeoffs between conventional optimization-based certificate constructions with certainty in the outcomes and this new date-driven approach with quantified confidence in the outcomes. The new methodology is aligned with emerging computing paradigms and has the potential to extend systematic verification to systems that do not necessarily admit closed-form models from certain specialized families. We demonstrate its effectiveness on a collection of both conventional and unconventional case studies including model reference adaptive control systems, nonlinear aircraft models, and reinforcement learning problems. United States. Air Force Research Laboratory (FA8650-15-C-2546) United States. Office of Naval Research (N000141310778) United States. Army Research Office (W911NF- 15-1-0592) National Science Foundation (U.S.) (1550212) United States. Defense Advanced Research Projects Agency (W911NF-16-1-0001) 2016-11-04T21:48:02Z 2016-11-04T21:48:02Z 2016-04 Article http://purl.org/eprint/type/ConferencePaper 9781450339551 http://hdl.handle.net/1721.1/105224 Kozarev, Alexandar et al. “Case Studies in Data-Driven Verification of Dynamical Systems.” ACM Press, 2016. 81–86. https://orcid.org/0000-0001-8576-1930 https://orcid.org/0000-0002-0464-4108 en_US http://dx.doi.org/10.1145/2883817.2883846 Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control - HSCC '16 Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/ application/pdf Association for Computing Machinery (ACM) MIT web domain |
| spellingShingle | Kozarev, Alexandar Topcu, Ufuk How, Jonathan P Quindlen, John Francis Case Studies in Data-Driven Verification of Dynamical Systems |
| title | Case Studies in Data-Driven Verification of Dynamical Systems |
| title_full | Case Studies in Data-Driven Verification of Dynamical Systems |
| title_fullStr | Case Studies in Data-Driven Verification of Dynamical Systems |
| title_full_unstemmed | Case Studies in Data-Driven Verification of Dynamical Systems |
| title_short | Case Studies in Data-Driven Verification of Dynamical Systems |
| title_sort | case studies in data driven verification of dynamical systems |
| url | http://hdl.handle.net/1721.1/105224 https://orcid.org/0000-0001-8576-1930 https://orcid.org/0000-0002-0464-4108 |
| work_keys_str_mv | AT kozarevalexandar casestudiesindatadrivenverificationofdynamicalsystems AT topcuufuk casestudiesindatadrivenverificationofdynamicalsystems AT howjonathanp casestudiesindatadrivenverificationofdynamicalsystems AT quindlenjohnfrancis casestudiesindatadrivenverificationofdynamicalsystems |