{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/115483"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/115483","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"An adjoint-based formalism for optimal design of time-delay systems and uncertainty quantification in stochastic systems","abstract":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms","abstract_html":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms","abstract_has_math":false,"creators":["Ahsan, Zaid"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Mechanical Engineering","degree_department":null,"school":null,"contributors":["Dankowicz, Harry","Matlack, Kathryn","Rapti, Zoi","Salapaka, Srinivasa"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2022,"date_issued":"2022-05","date_published":"2022-05","updated_at":"2026-07-22T22:24:54Z","subjects":["Adjoints","Delay","Uncertainty"],"languages":["en","eng"],"rights":["Copyright 2022 Zaid Ahsan"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2142/115483","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Dankowicz, Harry","Matlack, Kathryn","Rapti, Zoi","Salapaka, Srinivasa"]},{"key":"dc:creator","label":"Author","values":["Ahsan, Zaid"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2022-05","2022-04-20"]},{"key":"dc:type","label":"Dc Type","values":["text","Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Mechanical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Adjoints","Delay","Uncertainty"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en","eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2022 Zaid Ahsan"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://hdl.handle.net/2142/115483"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms","The student, Zaid Ahsan, accepted the attached license on 2022-04-18 at 18:16.","The student, Zaid Ahsan, submitted this Dissertation for approval on 2022-04-18 at 18:28.","This Dissertation was approved for publication on 2022-04-20 at 13:05.","DSpace SAF Submission Ingestion Package generated from Vireo submission #17768 on 2022-11-11 at 13:15:38","The objectives of this dissertation are to develop computational techniques for i) tracking solutions to multi-segment, delay-coupled boundary-value problems, with particular emphasis on periodic orbits and quasiperiodic invariant tori for delay differential equations (DDEs), ii) solving single-objective optimal design problems along families of such solutions using a technique of successive continuation, and iii) characterizing the effects of noise on the asymptotic dynamics in the vicinity of transversally stable periodic and quasiperiodic solutions in deterministic limits of stochastic differential equations (SDEs). Considerable attention is placed on an algorithmic formalism and problem discretization that supports straightforward implementation in the Matlab-based software package coco. In the case of delay-coupled boundary-value problems, the analysis in this dissertation demonstrates how a Lagrangian formulation for constrained design optimization may be used to derive the necessary optimality conditions in terms of additional delay-coupled adjoint boundary-value problems that are linear in corresponding sets of Lagrange multipliers. Importantly, these adjoint boundary-value problems are shown to decompose into contributions associated with individual differential or algebraic constraints. As a consequence, their construction is found to conform with the staged construction paradigm of coco, and complex problems may be constructed by gluing together instances of simpler problems. In particular, this dissertation shows how a boundary-value problem for design optimization along families of quasiperiodic invariant tori may be constructed by gluing together multiple instances of single-segment trajectory problems using all-to-all boundary conditions. Several candidate implementations of this paradigm in a set of coco-compatible toolbox constructors are used to demonstrate such optimization according to a previously developed sequential methodology for finding stationary points of an objective function along implicitly defined manifolds. By their generality, these constructors are also shown to be compatible with problems from optimal control, phase response analysis, and continuation of homo- and heteroclinic trajectories. For transversally stable periodic orbits (limit cycles) and quasiperiodic invariant tori in the deterministic limit of SDEs, this dissertation proposes a novel covariance boundary-value problem to quantify the asymptotic dynamics near these objects in the presence of small amounts of Brownian noise. Here, the adjoint boundary-value problems associated with phase response analysis are used to construct a continuous family of projections onto transversal hyperplanes that are invariant under the linearized flow near the limit cycle or quasiperiodic invariant torus. The asymptotic dynamics in the presence of noise are shown to be represented by a stationary distribution whose restriction to individual hyperplanes is Gaussian with a covariance given by the solution to the corresponding covariance boundary-value problem. In the case of limit cycles, the analysis improves upon results in the literature through the explicit use of transversal projections and modifications that ensure uniqueness of the solution despite the lack of hyperbolicity along the limit cycle. These same innovations are then generalized to the case of a two-dimensional quasiperiodic invariant torus, as a model of the formalism required for a torus of arbitrary dimension. As in the case of DDEs, using a coco implementation of suitable toolbox constructors, the covariance analysis of a quasiperiodic invariant torus is shown to parallel the decomposition into multiple instances of single-segment trajectory problems using all-to-all boundary conditions derived for design optimization."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["An adjoint-based formalism for optimal design of time-delay systems and uncertainty quantification in stochastic systems"]}]}],"canonical_facts":{"dc:contributor":["Dankowicz, Harry","Matlack, Kathryn","Rapti, Zoi","Salapaka, Srinivasa"],"dc:creator":["Ahsan, Zaid"],"dc:date":["2022-05","2022-04-20"],"dc:description":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms","The student, Zaid Ahsan, accepted the attached license on 2022-04-18 at 18:16.","The student, Zaid Ahsan, submitted this Dissertation for approval on 2022-04-18 at 18:28.","This Dissertation was approved for publication on 2022-04-20 at 13:05.","DSpace SAF Submission Ingestion Package generated from Vireo submission #17768 on 2022-11-11 at 13:15:38","The objectives of this dissertation are to develop computational techniques for i) tracking solutions to multi-segment, delay-coupled boundary-value problems, with particular emphasis on periodic orbits and quasiperiodic invariant tori for delay differential equations (DDEs), ii) solving single-objective optimal design problems along families of such solutions using a technique of successive continuation, and iii) characterizing the effects of noise on the asymptotic dynamics in the vicinity of transversally stable periodic and quasiperiodic solutions in deterministic limits of stochastic differential equations (SDEs). Considerable attention is placed on an algorithmic formalism and problem discretization that supports straightforward implementation in the Matlab-based software package coco. In the case of delay-coupled boundary-value problems, the analysis in this dissertation demonstrates how a Lagrangian formulation for constrained design optimization may be used to derive the necessary optimality conditions in terms of additional delay-coupled adjoint boundary-value problems that are linear in corresponding sets of Lagrange multipliers. Importantly, these adjoint boundary-value problems are shown to decompose into contributions associated with individual differential or algebraic constraints. As a consequence, their construction is found to conform with the staged construction paradigm of coco, and complex problems may be constructed by gluing together instances of simpler problems. In particular, this dissertation shows how a boundary-value problem for design optimization along families of quasiperiodic invariant tori may be constructed by gluing together multiple instances of single-segment trajectory problems using all-to-all boundary conditions. Several candidate implementations of this paradigm in a set of coco-compatible toolbox constructors are used to demonstrate such optimization according to a previously developed sequential methodology for finding stationary points of an objective function along implicitly defined manifolds. By their generality, these constructors are also shown to be compatible with problems from optimal control, phase response analysis, and continuation of homo- and heteroclinic trajectories. For transversally stable periodic orbits (limit cycles) and quasiperiodic invariant tori in the deterministic limit of SDEs, this dissertation proposes a novel covariance boundary-value problem to quantify the asymptotic dynamics near these objects in the presence of small amounts of Brownian noise. Here, the adjoint boundary-value problems associated with phase response analysis are used to construct a continuous family of projections onto transversal hyperplanes that are invariant under the linearized flow near the limit cycle or quasiperiodic invariant torus. The asymptotic dynamics in the presence of noise are shown to be represented by a stationary distribution whose restriction to individual hyperplanes is Gaussian with a covariance given by the solution to the corresponding covariance boundary-value problem. In the case of limit cycles, the analysis improves upon results in the literature through the explicit use of transversal projections and modifications that ensure uniqueness of the solution despite the lack of hyperbolicity along the limit cycle. These same innovations are then generalized to the case of a two-dimensional quasiperiodic invariant torus, as a model of the formalism required for a torus of arbitrary dimension. As in the case of DDEs, using a coco implementation of suitable toolbox constructors, the covariance analysis of a quasiperiodic invariant torus is shown to parallel the decomposition into multiple instances of single-segment trajectory problems using all-to-all boundary conditions derived for design optimization."],"dc:format":["application/pdf"],"dc:identifier":["https://hdl.handle.net/2142/115483"],"dc:language":["en","eng"],"dc:rights":["Copyright 2022 Zaid Ahsan"],"dc:subject":["Adjoints","Delay","Uncertainty"],"dc:title":["An adjoint-based formalism for optimal design of time-delay systems and uncertainty quantification in stochastic systems"],"dc:type":["text","Thesis"],"thesis:degree_discipline":["Mechanical Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:54Z"}