CaltechTHESIS
  A Caltech Library Service

Safe and Interpretable Autonomous Systems Design: Behavioral Contracts and Semantic-Based Perception

Citation

Cai, Karena X. (2021) Safe and Interpretable Autonomous Systems Design: Behavioral Contracts and Semantic-Based Perception. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/w3m8-es32. https://resolver.caltech.edu/CaltechTHESIS:04022021-033321217

Abstract

We are on the verge of experiencing a new, integrated society where autonomous vehicles will become a fabric of our everyday lives. And yet, seamless integration of autonomous vehicles into our society will require vehicles to interface safely with humans in an incredibly complex, fast-paced, and dynamic environment. Premature deployment of these new autonomous systems — without safety guarantees or interpretability of algorithms, could prove catastrophic. How can algorithms governing vehicle behavior be designed in a way that guarantees safety, performance, interpretability and scalability? This is the question this thesis seeks to answer.

First, we present a framework for architecting the decision-making module of autonomous vehicles so that safety and progress of agents can be formally guaranteed. In particular, all agents are defined to act according to what is termed an assume-guarantee contract, which is broadly defined as a set of behavioral preferences. The first version of the assume-guarantee contract is a behavioral profile, which is a set of ordered rules that agents must use to select actions in a way that is interpretable. With all agents operating according to a behavioral profile, the interactions however, are not necessarily coordinated. We then constrain agent behavior with an additional set of interaction rules. The behavioral profile combined with these additional constraints, are what we term a behavioral protocol. With all agents operating according to a local, decentralized behavioral protocol, we can provide formal proofs of the correctness of agent behavior, i.e. all agents will never collide and agents will make it to their respective destinations. Not only does the protocol so defined allow us to make formal guarantees, but it is also designed in a way that scales well in the number of agents and provides interpretability of agent behaviors. Safety and progress guarantees are proven and verified in simulation.

Second, we focus on using information from object classifiers to enhance an autonomous vehicle's ability to localize where it is within its environment. The proposed approach for incorporating this semantic information is based on solving the maximum likelihood problem. With a hierarchical formulation, we are not only able to improve upon the accuracy of traditional localization techniques, but we are also able to improve our confidence in the accuracy of object detection classifications. The improvement in robustness and accuracy of these algorithms are shown in simulation.

Item Type:Thesis (Dissertation (Ph.D.))
Subject Keywords:Autonomous Systems, Formal Methods, Contracts, Distributed Control, Semantic Estimation
Degree Grantor:California Institute of Technology
Division:Engineering and Applied Science
Major Option:Control and Dynamical Systems
Thesis Availability:Public (worldwide access)
Research Advisor(s):
  • Murray, Richard M. (co-advisor)
  • Chung, Soon-Jo (co-advisor)
Thesis Committee:
  • Burdick, Joel Wakeman (chair)
  • Murray, Richard M.
  • Chung, Soon-Jo
  • Chandy, K. Mani
Defense Date:5 March 2021
Non-Caltech Author Email:cai.karena (AT) gmail.com
Funders:
Funding AgencyGrant Number
NSF1545126
AeroVironmentUNSPECIFIED
Record Number:CaltechTHESIS:04022021-033321217
Persistent URL:https://resolver.caltech.edu/CaltechTHESIS:04022021-033321217
DOI:10.7907/w3m8-es32
Related URLs:
URLURL TypeDescription
https://doi.org/10.1109/CDC40024.2019.9030068DOIArticle adapted for Chapter 2.
https://arxiv.org/abs/2011.14148v2arXivArticle adapted for Chapter 3.
https://doi.org/10.23919/ACC.2019.8814793DOIArticle adapted for Chapter 4.
ORCID:
AuthorORCID
Cai, Karena X.0000-0002-8392-4158
Default Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:14115
Collection:CaltechTHESIS
Deposited By: Karena Cai
Deposited On:20 Apr 2021 01:35
Last Modified:20 Apr 2021 01:35

Thesis Files

[img] PDF - Final Version
See Usage Policy.

6MB

Repository Staff Only: item control page