COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Know the Unknowns: Holistically Addressing Uncertainties and Disturbances in Learning-Enabled Cyber-Physical Systems
Know the Unknowns: Holistically Addressing Uncertainties and Disturbances in Learning-Enabled Cyber-Physical SystemsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. VSO2 - Verified software Future cyber-physical systems will employ complex learning-based sensing, computation, and communication components for their perception, planning, control, and coordination, and could operate in highly dynamic and uncertain environment with safety and security assurance. To realize this vision, we have to better understand and address the challenges from the “unknowns” – the inherent uncertainties from system inputs and model inaccuracies, the unexpected disturbances from component failures, environment interferences, and malicious attacks, and the lack of analyzability of neural network-based machine learning techniques. In this talk, I will discuss these challenges and present some of our recent work to address these challenges in a holistic manner, including 1) end-to-end verification, design and adaptation methods for ensuring robust and safe application of neural networks in perception and decision making; and 2) cross-layer methods for mitigating execution disturbances (e.g., timing violations, soft errors, malicious attacks) using weakly-hard paradigm. This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCentre for Commonwealth Education (CCE) Sustainability Leadership LaboratoriesOther talksAutomating the Archive: From Card Catalogues to Computer Bots Gateway- CCIMI Rank 2 Amalgams and Fusion Systems String amplitudes and automorphic forms II Baja California |