MIT Libraries homeMIT Libraries logoDSpace@MIT

MIT
View Item 
  • DSpace@MIT Home
  • MIT Libraries
  • MIT Theses
  • Theses - Dept. of Aeronautics and Astronautics
  • Aeronautics and Astronautics - Ph.D. / Sc.D.
  • View Item
  • DSpace@MIT Home
  • MIT Libraries
  • MIT Theses
  • Theses - Dept. of Aeronautics and Astronautics
  • Aeronautics and Astronautics - Ph.D. / Sc.D.
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Data-driven methods for statistical verification of uncertain nonlinear systems

Author(s)
Quindlen, John Francis
Thumbnail
DownloadFull printable version (6.536Mb)
Other Contributors
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics.
Advisor
Jonathan P. How.
Terms of use
MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission. http://dspace.mit.edu/handle/1721.1/7582
Metadata
Show full item record
Abstract
Due to the increasing complexity of autonomous, adaptive, and nonlinear systems, engineers commonly rely upon statistical techniques to verify that the closed-loop system satisfies specified performance requirements at all possible operating conditions. However, these techniques require a large number of simulations or experiments to exhaustively search the set of possible parametric uncertainties for conditions that lead to failure. This work focuses on resource-constrained applications, such as preliminary control system design or experimental testing, which cannot rely upon exhaustive search to analyze the robustness of the closed-loop system to those requirements. This thesis develops novel statistical verification frameworks that combine data-driven statistical learning techniques and control system verification. First, two frameworks are introduced for verification of deterministic systems with binary and non-binary evaluations of each trajectory's robustness. These frameworks implement machine learning models to learn and predict the satisfaction of the requirements over the entire set of possible parameters from a small set of simulations or experiments. In order to maximize prediction accuracy, closed-loop verification techniques are developed to iteratively select parameter settings for subsequent tests according to their expected improvement of the predictions. Second, extensions of the deterministic verification frameworks redevelop these procedures for stochastic systems and these new stochastic frameworks achieve similar improvements. Lastly, the thesis details a method for transferring information between simulators or from simulators to experiments. Moreover, this method is introduced as part of a new failure-adverse closed-loop verification framework, which is shown to successfully minimize the number of failures during experimental verification without undue conservativeness. Ultimately, these data-driven verification frameworks provide principled approaches for efficient verification of nonlinear systems at all stages in the control system development cycle.
Description
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, 2018.
 
This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
 
Cataloged from student-submitted PDF version of thesis.
 
Includes bibliographical references (pages 277-290).
 
Date issued
2018
URI
http://hdl.handle.net/1721.1/115591
Department
Massachusetts Institute of Technology. Department of Aeronautics and Astronautics.
Publisher
Massachusetts Institute of Technology
Keywords
Aeronautics and Astronautics.

Collections
  • Aeronautics and Astronautics - Ph.D. / Sc.D.
  • Aeronautics and Astronautics - Ph.D. / Sc.D.

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

Login

Statistics

OA StatisticsStatistics by CountryStatistics by Department
MIT Libraries homeMIT Libraries logo

MIT Libraries navigation

HomeSearchHours & locationsBorrow & requestResearch supportAbout the Libraries
MIT
Massachusetts Institute of Technology77 Massachusetts AvenueCambridge MA 02139-4307
All items in DSpace@MIT are protected by original copyright, with all rights reserved, unless otherwise indicated. Notify us about copyright concerns.