서브메뉴
검색
Architectures for Safe Autonomy: Provable Guarantees Across Control, Planning, and Perception
Architectures for Safe Autonomy: Provable Guarantees Across Control, Planning, and Perception
상세정보
- 자료유형
- 학위논문 서양
- 최종처리일시
- 20260202103647
- ISBN
- 9798314875308
- DDC
- 629.1
- 서명/저자
- Architectures for Safe Autonomy: Provable Guarantees Across Control, Planning, and Perception
- 발행사항
- [Sl] : University of Michigan, 2025
- 발행사항
- Ann Arbor : ProQuest Dissertations & Theses, 2025
- 형태사항
- 214 p
- 주기사항
- Source: Dissertations Abstracts International, Volume: 86-11, Section: B.
- 주기사항
- Advisor: Panagou, Dimitra.
- 학위논문주기
- Thesis (Ph.D.)--University of Michigan, 2025.
- 초록/해제
- 요약This thesis focuses on the design of safety-critical autonomous systems - systems that must always satisfy a set of safety constraints. The primary objective is to develop a cohesive architecture for the entire autonomy stack, ensuring that, under specific and verifiable assumptions, a robot can execute its mission while maintaining safety.Modern autonomous systems present unique challenges because their autonomy stacks are composed of interdependent modules: (1) a mission-level planning module that makes high-level decisions, (2) a perception module that processes sensor data to estimate the robot's state and the operating environment, (3) a planning module that generates a trajectory for execution, and (4) a control module that computes actuation commands. Guaranteeing safety requires a systematic approach to the design and integration of these modules.To achieve this, we take a bottom-up approach, starting with the design of a safety-critical controller and identifying the assumptions necessary for its safe operation. These assumptions impose requirements on upstream autonomy modules, such as the planning and perception modules. We then propose methods to design or augment each module to ensure that, when composed, the entire autonomy stack maintains safety guarantees. The focus is not only on individual module correctness but making assumptions for each module that can be satisfied by upstream modules, to be able to achieve system-level guarantees.The main contributions of this thesis include: (A) the gatekeeper architecture - a flexible framework for establishing rigorous safety guarantees at the planning level, (B) the development of certifiably correct perception algorithms that generate accurate obstacle maps while providing error bounds to account for odometry drift, and (C) the introduction of clarity and perceivability - concepts that quantify a robotic system's ability to gather information about its environment, considering the environment model as well as the robot's actuation and sensing capabilities.Each contribution is supported by formal proofs and validated through simulations and hardware experiments with aerial and mobile robots.
- 일반주제명
- Aerospace engineering
- 일반주제명
- Robotics
- 기타저자
- University of Michigan Aerospace Engineering
- 기본자료저록
- Dissertations Abstracts International. 86-11B.
- 전자적 위치 및 접속
- 로그인 후 원문을 볼 수 있습니다.
MARC
008260126s2025 us c eng d■001000017358121
■00520260202103647
■006m o d
■007cr#unu||||||||
■020 ▼a9798314875308
■035 ▼a(MiAaPQ)AAI32092645
■035 ▼a(MiAaPQ)umichrackham006024
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a629.1
■1001 ▼aAgrawal, Devansh R.
■24510▼aArchitectures for Safe Autonomy: Provable Guarantees Across Control, Planning, and Perception
■260 ▼a[Sl]▼bUniversity of Michigan▼c2025
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2025
■300 ▼a214 p
■500 ▼aSource: Dissertations Abstracts International, Volume: 86-11, Section: B.
■500 ▼aAdvisor: Panagou, Dimitra.
■5021 ▼aThesis (Ph.D.)--University of Michigan, 2025.
■520 ▼aThis thesis focuses on the design of safety-critical autonomous systems - systems that must always satisfy a set of safety constraints. The primary objective is to develop a cohesive architecture for the entire autonomy stack, ensuring that, under specific and verifiable assumptions, a robot can execute its mission while maintaining safety.Modern autonomous systems present unique challenges because their autonomy stacks are composed of interdependent modules: (1) a mission-level planning module that makes high-level decisions, (2) a perception module that processes sensor data to estimate the robot's state and the operating environment, (3) a planning module that generates a trajectory for execution, and (4) a control module that computes actuation commands. Guaranteeing safety requires a systematic approach to the design and integration of these modules.To achieve this, we take a bottom-up approach, starting with the design of a safety-critical controller and identifying the assumptions necessary for its safe operation. These assumptions impose requirements on upstream autonomy modules, such as the planning and perception modules. We then propose methods to design or augment each module to ensure that, when composed, the entire autonomy stack maintains safety guarantees. The focus is not only on individual module correctness but making assumptions for each module that can be satisfied by upstream modules, to be able to achieve system-level guarantees.The main contributions of this thesis include: (A) the gatekeeper architecture - a flexible framework for establishing rigorous safety guarantees at the planning level, (B) the development of certifiably correct perception algorithms that generate accurate obstacle maps while providing error bounds to account for odometry drift, and (C) the introduction of clarity and perceivability - concepts that quantify a robotic system's ability to gather information about its environment, considering the environment model as well as the robot's actuation and sensing capabilities.Each contribution is supported by formal proofs and validated through simulations and hardware experiments with aerial and mobile robots.
■590 ▼aSchool code: 0127.
■650 4▼aAerospace engineering
■650 4▼aRobotics
■653 ▼aSafety-critical autonomy
■653 ▼aModern autonomous systems
■653 ▼aSafety constraints
■653 ▼aSensing capabilities
■690 ▼a0771
■690 ▼a0538
■71020▼aUniversity of Michigan▼bAerospace Engineering.
■7730 ▼tDissertations Abstracts International▼g86-11B.
■790 ▼a0127
■791 ▼aPh.D.
■792 ▼a2025
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T17358121▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
