{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/121525"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/121525","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Autonomous system safety: Towards targeted and scalable approaches for validation and behaviour analysis","abstract":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-12-04 without embargo terms","abstract_html":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-12-04 without embargo terms","abstract_has_math":false,"creators":["Du, Peter Boyu"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical & Computer Engr","degree_department":null,"school":null,"contributors":["Driggs-Campbell, Katherine","Dullerud, Geir","Mitra, Sayan","Ornik, Melkior","Dong, Roy"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023-08","date_published":"2023-08","updated_at":"2026-07-22T22:25:00Z","subjects":["Autonomous Systems","Safety","Validation","Machine Learning","Robotics"],"languages":["en","eng"],"rights":["Copyright 2023 Peter Du"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2142/121525","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Driggs-Campbell, Katherine","Dullerud, Geir","Mitra, Sayan","Ornik, Melkior","Dong, Roy"]},{"key":"dc:creator","label":"Author","values":["Du, Peter Boyu"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2023-08","2023-07-14"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical & Computer Engr"]},{"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":["Autonomous Systems","Safety","Validation","Machine Learning","Robotics"]}]},{"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 2023 Peter Du"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://hdl.handle.net/2142/121525"]}]},{"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 2023-12-04 without embargo terms","The student, Peter Du, accepted the attached license on 2023-07-13 at 15:30.","The student, Peter Du, submitted this Dissertation for approval on 2023-07-13 at 15:37.","This Dissertation was approved for publication on 2023-07-14 at 13:19.","DSpace SAF Submission Ingestion Package generated from Vireo submission #19685 on 2023-12-04 at 17:02:34","Autonomous systems are rapidly making their way into the physical domain, where they have to interact with human users in unstructured and safety-critical scenarios. The complexity of the jobs autonomy is tasked with is reflected in the diversity of components that make up the software and hardware stacks of autonomous systems. This diversity enables the performance we see, but also poses a challenge when trying to analyze the safety and behaviour properties of the systems — preventing the feasibility of a one-size-fits-all approach. In this dissertation, we approach the problem of safety analysis through the development of targeted and scalable methodologies that can cater to various forms of autonomous system design. In the first part of this work, we introduce methods for the validation of deterministic and stochastic white box models. Using reachability analysis, we develop a real-time safety monitor for automated systems interacting with human agents. The monitor incorporates human motion prediction with data driven reachability to provide a statement of safety assurance with formal guarantees in an online manner. In the stochastic setting, we develop safety analysis methods through examining the exit-time distribution of dynamics governed by stochastic differential equations (SDEs). Given some appropriately defined SDE, the moments of exit-times from a safe set are computed through an infinite dimensional convex optimization, where the constraints consist of linear and PSD matrices, resulting in a semidefinite program (SDP). In the latter sections, we present methods for the validation and behaviour analysis of black and semi-black box systems. In particular, the problem of failure search is posed as a sequential decision making process, enabling the use of efficient reinforcement learning (RL) methods to uncover the failure space of the autonomy under test. Using similar adaptive search techniques, we address the comparison of autonomous agent policies through contrastive summaries. The structured search of behaviour summaries demonstrates both computational efficiency and high interpretability."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Autonomous system safety: Towards targeted and scalable approaches for validation and behaviour analysis"]}]}],"canonical_facts":{"dc:contributor":["Driggs-Campbell, Katherine","Dullerud, Geir","Mitra, Sayan","Ornik, Melkior","Dong, Roy"],"dc:creator":["Du, Peter Boyu"],"dc:date":["2023-08","2023-07-14"],"dc:description":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-12-04 without embargo terms","The student, Peter Du, accepted the attached license on 2023-07-13 at 15:30.","The student, Peter Du, submitted this Dissertation for approval on 2023-07-13 at 15:37.","This Dissertation was approved for publication on 2023-07-14 at 13:19.","DSpace SAF Submission Ingestion Package generated from Vireo submission #19685 on 2023-12-04 at 17:02:34","Autonomous systems are rapidly making their way into the physical domain, where they have to interact with human users in unstructured and safety-critical scenarios. The complexity of the jobs autonomy is tasked with is reflected in the diversity of components that make up the software and hardware stacks of autonomous systems. This diversity enables the performance we see, but also poses a challenge when trying to analyze the safety and behaviour properties of the systems — preventing the feasibility of a one-size-fits-all approach. In this dissertation, we approach the problem of safety analysis through the development of targeted and scalable methodologies that can cater to various forms of autonomous system design. In the first part of this work, we introduce methods for the validation of deterministic and stochastic white box models. Using reachability analysis, we develop a real-time safety monitor for automated systems interacting with human agents. The monitor incorporates human motion prediction with data driven reachability to provide a statement of safety assurance with formal guarantees in an online manner. In the stochastic setting, we develop safety analysis methods through examining the exit-time distribution of dynamics governed by stochastic differential equations (SDEs). Given some appropriately defined SDE, the moments of exit-times from a safe set are computed through an infinite dimensional convex optimization, where the constraints consist of linear and PSD matrices, resulting in a semidefinite program (SDP). In the latter sections, we present methods for the validation and behaviour analysis of black and semi-black box systems. In particular, the problem of failure search is posed as a sequential decision making process, enabling the use of efficient reinforcement learning (RL) methods to uncover the failure space of the autonomy under test. Using similar adaptive search techniques, we address the comparison of autonomous agent policies through contrastive summaries. The structured search of behaviour summaries demonstrates both computational efficiency and high interpretability."],"dc:format":["application/pdf"],"dc:identifier":["https://hdl.handle.net/2142/121525"],"dc:language":["en","eng"],"dc:rights":["Copyright 2023 Peter Du"],"dc:subject":["Autonomous Systems","Safety","Validation","Machine Learning","Robotics"],"dc:title":["Autonomous system safety: Towards targeted and scalable approaches for validation and behaviour analysis"],"dc:type":["text"],"thesis:degree_discipline":["Electrical & Computer Engr"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:00Z"}