Anish Muthali

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2024-203

December 1, 2024

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2024/EECS-2024-203.pdf

We present several methods for improving the robustness of and providing assurance for control stacks that involve learning-enabled components, particularly deep learning algorithms. We leverage uncertainty quantification as a primary tool towards this goal, and we present several algorithms for translating arbitrary measures of uncertainty to practical and usable assurances. In our analysis, we separately address methods where our learning-enabled components can make predictions and receive ground truth information in real time, and methods where ground truth data would not be available at runtime. In the first case, we provide exact assurances on the behavior of our control stack, and in the second case, we empirically demonstrate robustness according to a desired operating specification. We discuss applications of these methods in practical systems, including autonomous vehicles, quadrupedal robots, and autonomous aircraft.

Advisors: Claire Tomlin

---

BibTeX citation:

@mastersthesis{Muthali:EECS-2024-203,
    Author= {Muthali, Anish},
    Title= {Towards Robust Autonomous Systems through Uncertainty Quantification},
    School= {EECS Department, University of California, Berkeley},
    Year= {2024},
    Month= {Dec},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2024/EECS-2024-203.html},
    Number= {UCB/EECS-2024-203},
    Abstract= {We present several methods for improving the robustness of and providing assurance for control stacks that involve learning-enabled components, particularly deep learning algorithms. We leverage uncertainty quantification as a primary tool towards this goal, and we present several algorithms for translating arbitrary measures of uncertainty to practical and usable assurances. In our analysis, we separately address methods where our learning-enabled components can make predictions and receive ground truth information in real time, and methods where ground truth data would not be available at runtime. In the first case, we provide exact assurances on the behavior of our control stack, and in the second case, we empirically demonstrate robustness according to a desired operating specification. We discuss applications of these methods in practical systems, including autonomous vehicles, quadrupedal robots, and autonomous aircraft.},
}

EndNote citation:

%0 Thesis
%A Muthali, Anish 
%T Towards Robust Autonomous Systems through Uncertainty Quantification
%I EECS Department, University of California, Berkeley
%D 2024
%8 December 1
%@ UCB/EECS-2024-203
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2024/EECS-2024-203.html
%F Muthali:EECS-2024-203