{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/129869"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/129869","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Learning in dynamical systems with guarantees: from system identification to safety verification and fast adaptation","abstract":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-20 without embargo terms","abstract_html":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-20 without embargo terms","abstract_has_math":false,"creators":["Musavi, Negin"],"institution":"University of Illinois Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Mechanical Engineering","degree_department":null,"school":null,"contributors":["Dullerud, Geir E.","Dullerud, Geir","Li, Yingying","Mitra, Sayan","Srikant, Rayadurgam","West, Matthew"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2025,"date_issued":"2025-07-16","date_published":"2025-07-16","updated_at":"2026-07-22T22:25:06Z","subjects":["System Identification","Safety Verification","Meta Learning"],"languages":["en","eng"],"rights":["Copyright 2025 Negin Musavi"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2142/129869","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Dullerud, Geir E.","Dullerud, Geir","Li, Yingying","Mitra, Sayan","Srikant, Rayadurgam","West, Matthew"]},{"key":"dc:creator","label":"Author","values":["Musavi, Negin"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2025-07-16","2025-08"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"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 Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["System Identification","Safety Verification","Meta Learning"]}]},{"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 2025 Negin Musavi"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://hdl.handle.net/2142/129869"]}]},{"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 2025-10-20 without embargo terms","The student, Negin Musavi, accepted the attached license on 2025-07-11 at 15:04.","The student, Negin Musavi, submitted this Dissertation for approval on 2025-07-11 at 17:42.","This Dissertation was approved for publication on 2025-07-16 at 10:31.","DSpace SAF Submission Ingestion Package generated from Vireo submission #22523 on 2025-10-20 at 16:57:52","This thesis investigates the sample complexity of data-driven algorithms for learning in controlled dynamical systems. As more systems operate in environments where models are unknown but data are available, understanding how efficiently learning algorithms use data becomes increasingly important. The thesis addresses three central problems in this context. First, it establishes conditions under which unknown parameters in nonlinear systems can be efficiently learned via non-active exploration, showing that linearly parameterized systems with real-analytic features can be identified using least-squares and set-membership estimators. Second, it develops a framework for verifying safety and synthesizing parameters in unknown systems with hybrid state spaces, leveraging a new bandit-based method—Hybrid Hierarchical Optimistic Optimization (HyHOO)—that extends prior work in black-box optimization. Finally, the thesis explores meta-learning for optimal control, proposing methods to exploit shared structure across related control tasks for fast adaptation in new control tasks. The results contribute theoretical guarantees, practical algorithms, and experimental validations toward a deeper understanding of data efficiency in learning dynamical systems."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Learning in dynamical systems with guarantees: from system identification to safety verification and fast adaptation"]}]}],"canonical_facts":{"dc:contributor":["Dullerud, Geir E.","Dullerud, Geir","Li, Yingying","Mitra, Sayan","Srikant, Rayadurgam","West, Matthew"],"dc:creator":["Musavi, Negin"],"dc:date":["2025-07-16","2025-08"],"dc:description":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-20 without embargo terms","The student, Negin Musavi, accepted the attached license on 2025-07-11 at 15:04.","The student, Negin Musavi, submitted this Dissertation for approval on 2025-07-11 at 17:42.","This Dissertation was approved for publication on 2025-07-16 at 10:31.","DSpace SAF Submission Ingestion Package generated from Vireo submission #22523 on 2025-10-20 at 16:57:52","This thesis investigates the sample complexity of data-driven algorithms for learning in controlled dynamical systems. As more systems operate in environments where models are unknown but data are available, understanding how efficiently learning algorithms use data becomes increasingly important. The thesis addresses three central problems in this context. First, it establishes conditions under which unknown parameters in nonlinear systems can be efficiently learned via non-active exploration, showing that linearly parameterized systems with real-analytic features can be identified using least-squares and set-membership estimators. Second, it develops a framework for verifying safety and synthesizing parameters in unknown systems with hybrid state spaces, leveraging a new bandit-based method—Hybrid Hierarchical Optimistic Optimization (HyHOO)—that extends prior work in black-box optimization. Finally, the thesis explores meta-learning for optimal control, proposing methods to exploit shared structure across related control tasks for fast adaptation in new control tasks. The results contribute theoretical guarantees, practical algorithms, and experimental validations toward a deeper understanding of data efficiency in learning dynamical systems."],"dc:format":["application/pdf"],"dc:identifier":["https://hdl.handle.net/2142/129869"],"dc:language":["en","eng"],"dc:rights":["Copyright 2025 Negin Musavi"],"dc:subject":["System Identification","Safety Verification","Meta Learning"],"dc:title":["Learning in dynamical systems with guarantees: from system identification to safety verification and fast adaptation"],"dc:type":["text"],"thesis:degree_discipline":["Mechanical Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:06Z"}