1 option
Ood-resilient safety monitoring for safety-critical cyber-physical systems Vivian Lin
- Format:
- Book
- Thesis/Dissertation
- Author/Creator:
- Lin, Vivian, author.
- Language:
- English
- Subjects (All):
- Electrical engineering.
- Computer science.
- Systems science.
- 0544.
- 0984.
- 0790.
- Local Subjects:
- Electrical engineering.
- Computer science.
- Systems science.
- 0544.
- 0984.
- 0790.
- Genre:
- Academic theses
- Physical Description:
- 1 online resource (171 pages)
- Contained In:
- Dissertations Abstracts International 87-12B
- Place of Publication:
- Ann Arbor : ProQuest Dissertations and Theses, 2026
- Language Note:
- English
- Summary:
- Out-of-distribution (OOD) data presents a significant challenge for data-driven runtime monitors of safety-critical cyber-physical systems. In particular, such monitors are rarely resilient to OOD data: both theoretical guarantees and empirical performance are difficult to maintain when the input to the data-driven component lies outside of the training distribution. In this thesis, we aim to develop a data-driven safety monitor for cyber-physical systems that overcomes these challenges. First, we present a safety monitor that achieves this resiliency through adaptive conformal prediction and incremental learning. The former allows for theoretical guarantees even on OOD data, and the latter boosts empirical performance on OOD data. Next, we consider potential alternatives to the building blocks of our safety monitor. As an alternative method for achieving empirical resiliency, we explore a technique for distribution shift reversal. We also present a diffusion model for forecasting highly structured temporal sequences, which can be employed as the data-driven component of our safety monitor in the appropriate settings. Finally, we consider the practical applications of our safety monitor. We investigate extensions to make this monitor more applicable to real-world learning-enabled cyber-physical systems with rapidly changing distributions, and we apply the technique to medical cyber-physical systems
- Notes:
- Source: Dissertations Abstracts International, Volume: 87-12, Section: B.
- Advisors: Lee, Insup Committee members: Sokolsky, Oleg; Pappas, George J.; Mangharam, Rahul; Kaur, Ramneet
- Ph.D. University of Pennsylvania 2026
- Vendor supplied data
- Local Notes:
- School code: 0175
- ISBN:
- 9798247973577
- Access Restriction:
- Restricted for use by site license
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.