國立虎尾科技大學 |

Constrained Control and Online Safety Filtering for Autonomous Space Systems.

Record Type:	Language materials, manuscript : Monograph/item
Title/Author:	Constrained Control and Online Safety Filtering for Autonomous Space Systems./
Author:	Breeden, Joseph M.
Description:	1 online resource (300 pages)
Notes:	Source: Dissertations Abstracts International, Volume: 85-12, Section: B.
Contained By:	Dissertations Abstracts International85-12B.
Subject:	Mathematics. -
Online resource:	click for full text (PQDT)
ISBN:	9798382741239

Constrained Control and Online Safety Filtering for Autonomous Space Systems.
Breeden, Joseph M.

Constrained Control and Online Safety Filtering for Autonomous Space Systems. - 1 online resource (300 pages)

Source: Dissertations Abstracts International, Volume: 85-12, Section: B.

Thesis (Ph.D.)--University of Michigan, 2024.

Includes bibliographical references

This dissertation presents advances in the design of constrained control laws, specifically control barrier function (CBF) quadratic program (QP) based control laws, herein called safety filters, with a focus on space systems applications. At present, most complex space systems tasks are solved by computing trajectories on the ground and then uplinking these trajectories to the spacecraft to follow. As humans venture further into the Solar System, and launch an ever increasing number of Earth-orbiting satellites each year, there is a need for control laws that can perform more complex tasks with less ground-based supervision. At the same time, on the ground, people are surrounded by more and more autonomous systems, and there is a need for controls tools for the safety supervision of such systems. CBF-QP safety-filters provide a computationally efficient framework for both constructing constrained control laws for these ground and space applications, including nonlinear systems, and for provably demonstrating that systems satisfy given safety constraints without requiring an engineer to review every trajectory. However, constructing a CBF and safety filter for given system dynamics is still a nontrivial problem. In brief, this dissertation presents 1) tools to constructively design CBFs that are applicable to common spacecraft dynamics, and 2) extensions to safety filters that account for realistic control law implementation in space. Though motivated by spacecraft, both of these topics are equally relevant to other robotic systems. Following an introductory chapter reviewing constrained control methodologies, the second chapter provides a thorough technical overview of CBFs and safety filters. The third chapter presents the "high relative-degree problem", and constructive methodologies for deriving CBFs that solve this problem while respecting input constraints. This chapter assumes a deterministic system, so the fourth chapter extends safety filters to provably guarantee safety for systems with bounded uncertainties, and then modifies these constructions accordingly. Notably, these constructions still provably satisfy input constraints, whereas prior work usually relaxes input constraints if the model is uncertain. This chapter also presents conditions on when so-called "tight-tolerance objectives" are feasible with an uncertain model, and constructive tools for achieving such objectives with safety filters. The fifth chapter considers the effect of sampled measurements and both zero-order-hold and impulsive actuators. These phenomena more closely model how real spacecraft hardware operates. Emphasis is placed on quantifying and then minimizing conservatism. The sixth chapter presents results on how to modify the CBF construction when the safety filter is tasked with enforcing many constraints simultaneously. The seventh chapter presents one more tool for constructing CBFs, specifically for systems with large time-scales and small actuators. This type of CBF relies on future predictions of the state trajectory, but is distinct from model predictive control (MPC) and incurs a fraction of the computational cost of MPC. The eighth chapter presents conclusions and application remarks. Rather than focusing on a single space system, case studies for various robotic and space systems are presented throughout. In summary, this dissertation presents an array of tools for designing CBFs for several space (weak gravity asteroid, high gravity asteroid, planetary orbits, attitude control, relative-motion/docking) and robotic (unicycle, double integrator, car intersection) domains and safety filters for several implementation scenarios (continuous, zero-order-hold, impulsive, perturbed), and thus enables space missions and other constrained control applications that would require higher degrees of autonomy than was previously achievable.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2024

Mode of access: World Wide Web

ISBN: 9798382741239Subjects--Topical Terms:

527692
Mathematics.
Subjects--Index Terms:

Constrained controlIndex Terms--Genre/Form:

554714
Electronic books.

Constrained Control and Online Safety Filtering for Autonomous Space Systems.
LDR:05395ntm a22004337 4500 001 1151657
005 20241113060918.5
006 m o d
007 cr mn ---uuuuu
008 250605s2024 xx obm 000 0 eng d
020 $a 9798382741239
035 $a (MiAaPQ)AAI31349139
035 $a (MiAaPQ)umichrackham005434
035 $a AAI31349139
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Breeden, Joseph M. $3 1478466
245 1 0 $a Constrained Control and Online Safety Filtering for Autonomous Space Systems.
264 0 $c 2024
300 $a 1 online resource (300 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 85-12, Section: B.
500 $a Advisor: Panagou, Dimitra.
502 $a Thesis (Ph.D.)--University of Michigan, 2024.
504 $a Includes bibliographical references
520 $a This dissertation presents advances in the design of constrained control laws, specifically control barrier function (CBF) quadratic program (QP) based control laws, herein called safety filters, with a focus on space systems applications. At present, most complex space systems tasks are solved by computing trajectories on the ground and then uplinking these trajectories to the spacecraft to follow. As humans venture further into the Solar System, and launch an ever increasing number of Earth-orbiting satellites each year, there is a need for control laws that can perform more complex tasks with less ground-based supervision. At the same time, on the ground, people are surrounded by more and more autonomous systems, and there is a need for controls tools for the safety supervision of such systems. CBF-QP safety-filters provide a computationally efficient framework for both constructing constrained control laws for these ground and space applications, including nonlinear systems, and for provably demonstrating that systems satisfy given safety constraints without requiring an engineer to review every trajectory. However, constructing a CBF and safety filter for given system dynamics is still a nontrivial problem. In brief, this dissertation presents 1) tools to constructively design CBFs that are applicable to common spacecraft dynamics, and 2) extensions to safety filters that account for realistic control law implementation in space. Though motivated by spacecraft, both of these topics are equally relevant to other robotic systems. Following an introductory chapter reviewing constrained control methodologies, the second chapter provides a thorough technical overview of CBFs and safety filters. The third chapter presents the "high relative-degree problem", and constructive methodologies for deriving CBFs that solve this problem while respecting input constraints. This chapter assumes a deterministic system, so the fourth chapter extends safety filters to provably guarantee safety for systems with bounded uncertainties, and then modifies these constructions accordingly. Notably, these constructions still provably satisfy input constraints, whereas prior work usually relaxes input constraints if the model is uncertain. This chapter also presents conditions on when so-called "tight-tolerance objectives" are feasible with an uncertain model, and constructive tools for achieving such objectives with safety filters. The fifth chapter considers the effect of sampled measurements and both zero-order-hold and impulsive actuators. These phenomena more closely model how real spacecraft hardware operates. Emphasis is placed on quantifying and then minimizing conservatism. The sixth chapter presents results on how to modify the CBF construction when the safety filter is tasked with enforcing many constraints simultaneously. The seventh chapter presents one more tool for constructing CBFs, specifically for systems with large time-scales and small actuators. This type of CBF relies on future predictions of the state trajectory, but is distinct from model predictive control (MPC) and incurs a fraction of the computational cost of MPC. The eighth chapter presents conclusions and application remarks. Rather than focusing on a single space system, case studies for various robotic and space systems are presented throughout. In summary, this dissertation presents an array of tools for designing CBFs for several space (weak gravity asteroid, high gravity asteroid, planetary orbits, attitude control, relative-motion/docking) and robotic (unicycle, double integrator, car intersection) domains and safety filters for several implementation scenarios (continuous, zero-order-hold, impulsive, perturbed), and thus enables space missions and other constrained control applications that would require higher degrees of autonomy than was previously achievable.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2024
538 $a Mode of access: World Wide Web
650 4 $a Mathematics. $3 527692
650 4 $a Aerospace engineering. $3 686400
650 4 $a Electrical engineering. $3 596380
650 4 $a Applied mathematics. $3 1069907
653 $a Constrained control
653 $a Control barrier functions
653 $a Spacecraft control
653 $a Safety critical control
653 $a Autonomous systems
653 $a Nonlinear control
655 7 $a Electronic books. $2 local $3 554714
690 $a 0538
690 $a 0405
690 $a 0544
690 $a 0364
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a University of Michigan. $b Aerospace Engineering. $3 1179282
773 0 $t Dissertations Abstracts International $g 85-12B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=31349139 $z click for full text (PQDT)