Parallel Optimization of Polynomials for Large-scale Problems in Stability and Control
In this thesis, we focus on some of the NP-hard problems in control theory. Thanks to the converse Lyapunov theory, these problems can often be modeled as optimization over polynomials. To avoid the problem of intractability, we establish a trade off between accuracy and complexity. In particular, w...
Saved in:
| Main Author: | |
|---|---|
| Format: | Dissertation |
| Language: | English |
| Published: |
ProQuest Dissertations & Theses
01.01.2016
|
| Subjects: | |
| ISBN: | 1339704986, 9781339704982 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | In this thesis, we focus on some of the NP-hard problems in control theory. Thanks to the converse Lyapunov theory, these problems can often be modeled as optimization over polynomials. To avoid the problem of intractability, we establish a trade off between accuracy and complexity. In particular, we develop a sequence of tractable optimization problems — in the form of Linear Programs (LPs) and/or Semi-Definite Programs (SDPs) — whose solutions converge to the exact solution of the NP-hard problem. However, the computational and memory complexity of these LPs and SDPs grow exponentially with the progress of the sequence - meaning that improving the accuracy of the solutions requires solving SDPs with tens of thousands of decision variables and constraints. Setting up and solving such problems is a significant challenge. The existing optimization algorithms and software are only designed to use desktop computers or small cluster computers — machines which do not have sufficient memory for solving such large SDPs. Moreover, the speed-up of these algorithms does not scale beyond dozens of processors. This in fact is the reason we seek parallel algorithms for setting-up and solving large SDPs on large cluster- and/or super-computers. We propose parallel algorithms for stability analysis of two classes of systems: 1) Linear systems with a large number of uncertain parameters; 2) Nonlinear systems defined by polynomial vector fields. First, we develop a distributed parallel algorithm which applies Polya's and/or Handelman's theorems to some variants of parameter-dependent Lyapunov inequalities with parameters defined over the standard simplex. The result is a sequence of SDPs which possess a block-diagonal structure. We then develop a parallel SDP solver which exploits this structure in order to map the computation, memory and communication to a distributed parallel environment. Numerical tests on a supercomputer demonstrate the ability of the algorithm to efficiently utilize hundreds and potentially thousands of processors, and analyze systems with 100+ dimensional state-space. Furthermore, we extend our algorithms to analyze robust stability over more complicated geometries such as hypercubes and arbitrary convex polytopes. Our algorithms can be readily extended to address a wide variety of problems in control such as H∞ synthesis for systems with parametric uncertainty and computing control Lyapunov functions. |
|---|---|
| AbstractList | In this thesis, we focus on some of the NP-hard problems in control theory. Thanks to the converse Lyapunov theory, these problems can often be modeled as optimization over polynomials. To avoid the problem of intractability, we establish a trade off between accuracy and complexity. In particular, we develop a sequence of tractable optimization problems — in the form of Linear Programs (LPs) and/or Semi-Definite Programs (SDPs) — whose solutions converge to the exact solution of the NP-hard problem. However, the computational and memory complexity of these LPs and SDPs grow exponentially with the progress of the sequence - meaning that improving the accuracy of the solutions requires solving SDPs with tens of thousands of decision variables and constraints. Setting up and solving such problems is a significant challenge. The existing optimization algorithms and software are only designed to use desktop computers or small cluster computers — machines which do not have sufficient memory for solving such large SDPs. Moreover, the speed-up of these algorithms does not scale beyond dozens of processors. This in fact is the reason we seek parallel algorithms for setting-up and solving large SDPs on large cluster- and/or super-computers. We propose parallel algorithms for stability analysis of two classes of systems: 1) Linear systems with a large number of uncertain parameters; 2) Nonlinear systems defined by polynomial vector fields. First, we develop a distributed parallel algorithm which applies Polya's and/or Handelman's theorems to some variants of parameter-dependent Lyapunov inequalities with parameters defined over the standard simplex. The result is a sequence of SDPs which possess a block-diagonal structure. We then develop a parallel SDP solver which exploits this structure in order to map the computation, memory and communication to a distributed parallel environment. Numerical tests on a supercomputer demonstrate the ability of the algorithm to efficiently utilize hundreds and potentially thousands of processors, and analyze systems with 100+ dimensional state-space. Furthermore, we extend our algorithms to analyze robust stability over more complicated geometries such as hypercubes and arbitrary convex polytopes. Our algorithms can be readily extended to address a wide variety of problems in control such as H∞ synthesis for systems with parametric uncertainty and computing control Lyapunov functions. |
| Author | Kamyar, Reza |
| Author_xml | – sequence: 1 givenname: Reza surname: Kamyar fullname: Kamyar, Reza |
| BookMark | eNotjc1KAzEYRQMqaGvfIeB6IL-TyVKKfzDQAYvb8sX5pkQySU3SRX16B3R1F4dz7opcxxTxiqy4lNYwZbv2lmxK8Y4xZqVkStyRjwEyhICB7k7Vz_4Hqk-RpokOKVximj2EQqeUaQ_5iE35hIB0yMkFnAv1kb5XcD74eqEQR7pNseYU7snNtIi4-d812T8_7bevTb97eds-9s2xFaxRU4uI0ljdjcAFIriWw6jHljFtQEvtlMaFsVFY11mjhJoAueBSKQlCrsnDX_aU0_cZSz18pXOOy-OBG8uVZkYz-QsmkU7R |
| ContentType | Dissertation |
| Copyright | Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works. |
| Copyright_xml | – notice: Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works. |
| DBID | 053 054 0BH 0EK ABJCF ABQRF ABRGS AFLLJ AFOKG ARAPS BGLVJ CBPLH EU9 G20 HCIFZ M8- PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI |
| DatabaseName | Dissertations & Theses Europe Full Text: Science & Technology Dissertations & Theses Europe Full Text: Social Sciences ProQuest Dissertations and Theses Professional Dissertations & Theses @ Arizona State University Materials Science & Engineering Collection Technology Collection - hybrid linking Materials Science & Engineering Collection - hybrid linking SciTech Premium Collection - hybrid linking Advanced Technologies & Aerospace Collection - hybrid linking Advanced Technologies & Computer Science Collection Technology collection ProQuest Dissertations & Theses Global: The Sciences and Engineering Collection ProQuest Dissertations & Theses A&I ProQuest Dissertations & Theses Global SciTech Premium Collection ProQuest Dissertations and Theses A&I: The Sciences and Engineering Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition |
| DatabaseTitle | Advanced Technologies & Aerospace Collection Technology Collection ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition SciTech Premium Collection ProQuest Dissertations & Theses Global: The Sciences and Engineering Collection ProQuest Dissertations and Theses Professional ProQuest Dissertations and Theses A&I: The Sciences and Engineering Collection ProQuest Dissertations & Theses Global Dissertations & Theses Europe Full Text: Science & Technology Dissertations & Theses @ Arizona State University ProQuest One Applied & Life Sciences Dissertations & Theses Europe Full Text: Social Sciences ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest Central (New) ProQuest One Academic ProQuest Dissertations & Theses A&I ProQuest One Academic (New) |
| DatabaseTitleList | Advanced Technologies & Aerospace Collection |
| Database_xml | – sequence: 1 dbid: G20 name: ProQuest Dissertations & Theses Global url: https://www.proquest.com/pqdtglobal1 sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| ExternalDocumentID | 4068490011 |
| Genre | Dissertation/Thesis |
| GroupedDBID | 053 054 0BH 0EK 8R4 8R5 ABJCF ARAPS BGLVJ CBPLH EU9 G20 HCIFZ M8- PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI Q2X |
| ID | FETCH-LOGICAL-g620-4f6eee37958da12eeab61ad5d60057a535b45e8da0d29b897424fae1213443a23 |
| IEDL.DBID | G20 |
| ISBN | 1339704986 9781339704982 |
| IngestDate | Mon Jun 30 03:20:47 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-g620-4f6eee37958da12eeab61ad5d60057a535b45e8da0d29b897424fae1213443a23 |
| Notes | SourceType-Dissertations & Theses-1 ObjectType-Dissertation/Thesis-1 content type line 12 |
| PQID | 1791450750 |
| PQPubID | 18750 |
| ParticipantIDs | proquest_journals_1791450750 |
| PublicationCentury | 2000 |
| PublicationDate | 20160101 |
| PublicationDateYYYYMMDD | 2016-01-01 |
| PublicationDate_xml | – month: 01 year: 2016 text: 20160101 day: 01 |
| PublicationDecade | 2010 |
| PublicationYear | 2016 |
| Publisher | ProQuest Dissertations & Theses |
| Publisher_xml | – name: ProQuest Dissertations & Theses |
| SSID | ssib000933042 |
| Score | 1.7103945 |
| Snippet | In this thesis, we focus on some of the NP-hard problems in control theory. Thanks to the converse Lyapunov theory, these problems can often be modeled as... |
| SourceID | proquest |
| SourceType | Aggregation Database |
| SubjectTerms | Energy Mathematics Mechanical engineering |
| Title | Parallel Optimization of Polynomials for Large-scale Problems in Stability and Control |
| URI | https://www.proquest.com/docview/1791450750 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagMAADb_EoyAOrRZPYSTwxFCqGUjJUVbfKic-oUklKU5D67zm7bqmExMIY3RL57Lvvuychdy2dapA8YYHRnPGwkEyFkWTou3UrAiMTl8EfdJNeLx0OZeYDbrUvq1zZRGeodVXYGPm9HaPJhXVwD9MPZrdG2eyqX6GxTXZsd61r9t2EP2u2jkxMJgiG09iPeVp9h79ssHMsncP__tIROXjcyKgfky0oT8j-y3oYa31KBpma2Y0pE_qK9uHdN17SytCsmixsWzJeQYrglXZtWTirUW1As-WmmZqOS4qI1NXQLqgqNW0vq9vPSL_z1G8_M79Ogb3FyBG5iQEgSqRItQpCAJXHgdJCx7YhVYlI5FwAylo6lHmKPCPkRoEb-cYjVOA5aZRVCReEikiqApkY8AThS5GjEGINwkhlkPIGl6S5OrCRfxL16Oe0rv4WX5M9RCU-ztEkjfnsE27IbvE1H9ezW6fhb9eRr_U |
| linkProvider | ProQuest |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT8JAEN4QNPFx8B0fqHvQYyNtt489GA8ggVCwB0K4Ndvu1JBgqxQ1_Cj_o7OlRRITbxw8NnPqzuzMN7Mz3xByU5euBM4cTY8l05gRcU0YJtcwdsu6CTF38hf8oef0--5oxP0K-SpnYVRbZekTc0ct00jVyO8UjSazVIB7eH3T1NYo9bpartBYmEUX5p-YsmX3nSbq99YwWo-DRlsrtgpozzamSiy2AcB0uOVKoRsAIrR1IS1pq7lMYZlWyCxAWV0aPHQRbhssFpAznzFTKJ4D9PgbTDHdqdniVbS1LA5g4scdxN6uXbBKld_GL5efx7HW3j87gX2y21zpFzggFUgOyU5vSTWbHZGhL6ZqH8yEPqH3eynGSmkaUz-dzNXQNV4witCceqrpXcvQKIH6iz06GR0nFPF23iE8pyKRtLHo3T8mg3X81AmpJmkCp4RaJhcR5pnAHARnUYhCsCVYMRcxJvT6GamV-gmKC58FP8o5_1t8Tbbag54XeJ1-94JsI_4qKjo1Up1N3-GSbEYfs3E2vcqNi5Jgzar8Bi8oCyE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adissertation&rft.genre=dissertation&rft.title=Parallel+Optimization+of+Polynomials+for+Large-scale+Problems+in+Stability+and+Control&rft.DBID=053%3B054%3B0BH%3B0EK%3BABJCF%3BABQRF%3BABRGS%3BAFLLJ%3BAFOKG%3BARAPS%3BBGLVJ%3BCBPLH%3BEU9%3BG20%3BHCIFZ%3BM8-%3BPHGZM%3BPHGZT%3BPKEHL%3BPQEST%3BPQGLB%3BPQQKQ%3BPQUKI&rft.PQPubID=18750&rft.au=Kamyar%2C+Reza&rft.date=2016-01-01&rft.pub=ProQuest+Dissertations+%26+Theses&rft.isbn=1339704986&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=4068490011 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781339704982/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781339704982/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781339704982/sc.gif&client=summon&freeimage=true |