{"id":{"repo_id":"auckland-ms","oai_identifier":"oai:researchspace.auckland.ac.nz:2292/76158"},"canonical_url":"https://search.dev.ndltd.org/etd/auckland-ms/oai:researchspace.auckland.ac.nz:2292/76158","repository":{"repo_id":"auckland-ms","name":"University of Auckland","base_url":"https://researchspace.auckland.ac.nz/server/oai/request"},"display":{"title":"Compositional Machine Learning for Time-Verifiable, Safe, and Explainable Cyber-Physical Systems","abstract":"The integration of Machine Learning (ML) into safety-critical Cyber-Physical Systems (CPSs) presents a fundamental challenge: how to leverage the performance benefits of ML while ensuring the rigorous safety, timing, and explainability requirements of critical applications. Traditional monolithic machine learning approaches create blackbox systems that are di!cult to verify, implement on hardware for timing analysis, and explain to stakeholders. This thesis addresses these challenges by introducing a novel paradigm of compositional machine learning that builds ML-based CPSs that are safe, time-verifiable, and explainable by construction. In this thesis, we introduce the systematic decomposition of monolithic models into smaller models. This decomposition preserves functional behaviour while enabling parallel execution and modular verification. We develop novel compilation frameworks that translate Python-based Artificial Neural Network (ANN) models to both VHDL (for Field Programmable Gate Array (FPGA) implementation) and C code (for embedded systems), enabling Worst-Case Execution Time (WCET) analysis. Our compilers specifically support compositional ANN architectures, addressing a critical gap in existing tools. Moreover, we introduce a policy-driven framework for safe-by-construction ML systems that mines safety properties from data and uses them to guide the training of compositional models. Additionally, our runtime enforcement mechanism ensures policy adherence in real-time, providing a safety net for unexpected scenarios. Finally, we develop a novel compositional explainability paradigm combining multiple explainability techniques to provide actionable insights at sub-model and system levels. We validate our framework through comprehensive case studies in autonomous vehicles and healthcare, demonstrating generalisability, practical applicability and concrete benefits. Through extensive evaluation, we demonstrate that compositional ANN models can achieve up to 85% reduction in WCET, 53% reduction in hardware resources, and 40% reduction in computations while maintaining comparable performance to monolithic approaches. Furthermore, we illustrate how a compositional policy-mining approach helps obtain ML models that are safer than their monolithic counterparts. Finally, we also show how compositional ML models are inherently more explainable than monolithic models. Overall, the results establish that compositionality enables the development of ML-based CPSs that are not only more performant but also more verifiable, implementable, and trustworthy.","abstract_html":"The integration of Machine Learning (ML) into safety-critical Cyber-Physical Systems (CPSs) presents a fundamental challenge: how to leverage the performance benefits of ML while ensuring the rigorous safety, timing, and explainability requirements of critical applications. Traditional monolithic machine learning approaches create blackbox systems that are di!cult to verify, implement on hardware for timing analysis, and explain to stakeholders. This thesis addresses these challenges by introducing a novel paradigm of compositional machine learning that builds ML-based CPSs that are safe, time-verifiable, and explainable by construction. In this thesis, we introduce the systematic decomposition of monolithic models into smaller models. This decomposition preserves functional behaviour while enabling parallel execution and modular verification. We develop novel compilation frameworks that translate Python-based Artificial Neural Network (ANN) models to both VHDL (for Field Programmable Gate Array (FPGA) implementation) and C code (for embedded systems), enabling Worst-Case Execution Time (WCET) analysis. Our compilers specifically support compositional ANN architectures, addressing a critical gap in existing tools. Moreover, we introduce a policy-driven framework for safe-by-construction ML systems that mines safety properties from data and uses them to guide the training of compositional models. Additionally, our runtime enforcement mechanism ensures policy adherence in real-time, providing a safety net for unexpected scenarios. Finally, we develop a novel compositional explainability paradigm combining multiple explainability techniques to provide actionable insights at sub-model and system levels. We validate our framework through comprehensive case studies in autonomous vehicles and healthcare, demonstrating generalisability, practical applicability and concrete benefits. Through extensive evaluation, we demonstrate that compositional ANN models can achieve up to 85% reduction in WCET, 53% reduction in hardware resources, and 40% reduction in computations while maintaining comparable performance to monolithic approaches. Furthermore, we illustrate how a compositional policy-mining approach helps obtain ML models that are safer than their monolithic counterparts. Finally, we also show how compositional ML models are inherently more explainable than monolithic models. Overall, the results establish that compositionality enables the development of ML-based CPSs that are not only more performant but also more verifiable, implementable, and trustworthy.","abstract_has_math":false,"creators":["Chatterjee, Sobhan"],"institution":"ResearchSpace@Auckland","degree_name":"PhD","degree_level":"Doctoral","degree_discipline":"Electrical and Electronic Engineering","degree_department":null,"school":null,"contributors":[],"advisors":["Roop, Partha","Patel, Nitsh"],"committee_chairs":[],"committee_members":[],"year":2026,"date_issued":"2026","date_published":"2026","updated_at":"2026-07-24T01:04:52Z","subjects":["Formal methods and Software (461203)","Machine Learning (4611)","Safety"],"languages":[],"rights":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated."],"rights_urls":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2292/76158","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Roop, Partha","Patel, Nitsh"]},{"key":"dc:creator","label":"Author","values":["Chatterjee, Sobhan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2026-07-01T03:19:38Z"]},{"key":"dc:date.issued","label":"Date","values":["2026"]},{"key":"dc:publisher","label":"Institution","values":["ResearchSpace@Auckland"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical and Electronic Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Doctoral"]},{"key":"thesis:degree_name","label":"Degree Name","values":["PhD"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["The University of Auckland"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Formal methods and Software (461203)","Machine Learning (4611)","Safety"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:rights","label":"Dc Rights","values":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated."]},{"key":"dc:rights.uri","label":"Rights URI","values":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/2292/76158"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["The integration of Machine Learning (ML) into safety-critical Cyber-Physical Systems (CPSs) presents a fundamental challenge: how to leverage the performance benefits of ML while ensuring the rigorous safety, timing, and explainability requirements of critical applications. Traditional monolithic machine learning approaches create blackbox systems that are di!cult to verify, implement on hardware for timing analysis, and explain to stakeholders. This thesis addresses these challenges by introducing a novel paradigm of compositional machine learning that builds ML-based CPSs that are safe, time-verifiable, and explainable by construction. In this thesis, we introduce the systematic decomposition of monolithic models into smaller models. This decomposition preserves functional behaviour while enabling parallel execution and modular verification. We develop novel compilation frameworks that translate Python-based Artificial Neural Network (ANN) models to both VHDL (for Field Programmable Gate Array (FPGA) implementation) and C code (for embedded systems), enabling Worst-Case Execution Time (WCET) analysis. Our compilers specifically support compositional ANN architectures, addressing a critical gap in existing tools. Moreover, we introduce a policy-driven framework for safe-by-construction ML systems that mines safety properties from data and uses them to guide the training of compositional models. Additionally, our runtime enforcement mechanism ensures policy adherence in real-time, providing a safety net for unexpected scenarios. Finally, we develop a novel compositional explainability paradigm combining multiple explainability techniques to provide actionable insights at sub-model and system levels. We validate our framework through comprehensive case studies in autonomous vehicles and healthcare, demonstrating generalisability, practical applicability and concrete benefits. Through extensive evaluation, we demonstrate that compositional ANN models can achieve up to 85% reduction in WCET, 53% reduction in hardware resources, and 40% reduction in computations while maintaining comparable performance to monolithic approaches. Furthermore, we illustrate how a compositional policy-mining approach helps obtain ML models that are safer than their monolithic counterparts. Finally, we also show how compositional ML models are inherently more explainable than monolithic models. Overall, the results establish that compositionality enables the development of ML-based CPSs that are not only more performant but also more verifiable, implementable, and trustworthy."]},{"key":"dc:title","label":"Title","values":["Compositional Machine Learning for Time-Verifiable, Safe, and Explainable Cyber-Physical Systems"]}]}],"canonical_facts":{"dc:contributor.advisor":["Roop, Partha","Patel, Nitsh"],"dc:creator":["Chatterjee, Sobhan"],"dc:date.accessioned":["2026-07-01T03:19:38Z"],"dc:date.issued":["2026"],"dc:description.abstract":["The integration of Machine Learning (ML) into safety-critical Cyber-Physical Systems (CPSs) presents a fundamental challenge: how to leverage the performance benefits of ML while ensuring the rigorous safety, timing, and explainability requirements of critical applications. Traditional monolithic machine learning approaches create blackbox systems that are di!cult to verify, implement on hardware for timing analysis, and explain to stakeholders. This thesis addresses these challenges by introducing a novel paradigm of compositional machine learning that builds ML-based CPSs that are safe, time-verifiable, and explainable by construction. In this thesis, we introduce the systematic decomposition of monolithic models into smaller models. This decomposition preserves functional behaviour while enabling parallel execution and modular verification. We develop novel compilation frameworks that translate Python-based Artificial Neural Network (ANN) models to both VHDL (for Field Programmable Gate Array (FPGA) implementation) and C code (for embedded systems), enabling Worst-Case Execution Time (WCET) analysis. Our compilers specifically support compositional ANN architectures, addressing a critical gap in existing tools. Moreover, we introduce a policy-driven framework for safe-by-construction ML systems that mines safety properties from data and uses them to guide the training of compositional models. Additionally, our runtime enforcement mechanism ensures policy adherence in real-time, providing a safety net for unexpected scenarios. Finally, we develop a novel compositional explainability paradigm combining multiple explainability techniques to provide actionable insights at sub-model and system levels. We validate our framework through comprehensive case studies in autonomous vehicles and healthcare, demonstrating generalisability, practical applicability and concrete benefits. Through extensive evaluation, we demonstrate that compositional ANN models can achieve up to 85% reduction in WCET, 53% reduction in hardware resources, and 40% reduction in computations while maintaining comparable performance to monolithic approaches. Furthermore, we illustrate how a compositional policy-mining approach helps obtain ML models that are safer than their monolithic counterparts. Finally, we also show how compositional ML models are inherently more explainable than monolithic models. Overall, the results establish that compositionality enables the development of ML-based CPSs that are not only more performant but also more verifiable, implementable, and trustworthy."],"dc:identifier.uri":["https://hdl.handle.net/2292/76158"],"dc:publisher":["ResearchSpace@Auckland"],"dc:rights":["Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated."],"dc:rights.uri":["https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm"],"dc:subject":["Formal methods and Software (461203)","Machine Learning (4611)","Safety"],"dc:title":["Compositional Machine Learning for Time-Verifiable, Safe, and Explainable Cyber-Physical Systems"],"dc:type":["Thesis"],"thesis:degree_discipline":["Electrical and Electronic Engineering"],"thesis:degree_level":["Doctoral"],"thesis:degree_name":["PhD"],"thesis:institution_name":["The University of Auckland"]},"updated_at":"2026-07-24T01:04:52Z"}