Case Studies in Data-Driven Verification of Dynamical Systems
By: Researcher
Disclaimer: The provided code links for this paper are external links. Science Nest has no responsibility for the accuracy, legality or content of these links. Also, by downloading this code(s), you agree to comply with the terms of use as set out by the author(s) of the code(s).
Please contact us in case of a broken link from here
| Authors | Alexandar Kozarev, John F. Quindlen, J. How, U. Topcu |
| Journal/Conference Name | H |
| Paper Category | Computer Science Applications |
| Paper Abstract | 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. |
| Date of publication | 2016 |
| Code Programming Language | Matlab |
| Comment |
Copyright Researcher 2022