Show simple item record

dc.contributor.authorQuartz, Thanin
dc.date.accessioned2023-01-27 19:27:32 (GMT)
dc.date.available2023-01-27 19:27:32 (GMT)
dc.date.issued2023-01-27
dc.date.submitted2023-01-26
dc.identifier.urihttp://hdl.handle.net/10012/19139
dc.description.abstractThis thesis focuses on data-driven methods applied to system identification and stability analysis of dynamical systems. In the first major contribution of the theorem we propose a learning framework to simultaneously stabilize an unknown nonlinear system with a neural controller and learn a neural Lyapunov function to certify a region of attraction (ROA) for the closed-loop system. The algorithmic structure consists of two neural networks and a satisfiability modulo theories (SMT) solver. The first neural network is responsible for learning the unknown dynamics. The second neural network aims to identify a valid Lyapunov function and a provably stabilizing nonlinear controller. The SMT solver then verifies that the candidate Lyapunov function indeed satisfies the Lyapunov conditions. We provide theoretical guarantees of the proposed learning framework in terms of the closed-loop stability for the unknown nonlinear system. We illustrate the effectiveness of the approach with a set of numerical experiments. We then examine another popular data driven method for system identification involving the Koopman operator. Methods based on the Koopman operator aim to approximate advancements of the state under the flow operator by a high-dimensional linear operator. This is accomplished by the extended mode decomposition (eDMD) algorithm which takes non-linear measurements of the state. Under the suitable conditions we have a result on the weak convergence of the eigenvalues and eigenfunctions of the eDMD operator that can serve as components of Lyapunov functions. Finally, we review methods for finding the region of attraction of an asymptotically stable fixed point and compare this method to the two methods mentioned above.en
dc.language.isoenen
dc.publisherUniversity of Waterlooen
dc.subjectDynamic Systemsen
dc.subjectControl Systemsen
dc.subjectNeural Networksen
dc.subjectKoopman Operatoren
dc.titleData-Driven Methods for System Identification and Lyapunov Stabilityen
dc.typeMaster Thesisen
dc.pendingfalse
uws-etd.degree.departmentApplied Mathematicsen
uws-etd.degree.disciplineApplied Mathematicsen
uws-etd.degree.grantorUniversity of Waterlooen
uws-etd.degreeMaster of Mathematicsen
uws-etd.embargo.terms0en
uws.contributor.advisorDe Sterck, Hans
uws.contributor.advisorLiu, Jun
uws.contributor.affiliation1Faculty of Mathematicsen
uws.published.cityWaterlooen
uws.published.countryCanadaen
uws.published.provinceOntarioen
uws.typeOfResourceTexten
uws.peerReviewStatusUnrevieweden
uws.scholarLevelGraduateen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


UWSpace

University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages