Quadratic Programs for High Relative Degree Spatial Constraints and Spatiotemporal Specifications with Spacecraft Applications.

Abstract

This paper presents a new methodology for ensuring forward invariance of sublevel sets of high relative degree functions, and convergence of the state to these sets. We introduce the notion of the boundary layer of a set defined by multiple constraints, and develop polynomially-derived trajectory constraints as means to enforce set invariance by redirecting trajectories that enter this boundary layer. This strategy is then extended to achieve convergence to and invariance of goal sets that are specified using Signal Temporal Logic. A quadratic program computes control inputs online that yield trajectories that achieve high level objectives specified by these sets, such as obstacle avoidance and target observation. We present a case study utilizing this controller for a spacecraft position and attitude control problem requiring observation of targets on the surface of a small body.

Bib

@inproceedings{DBLP:conf/cdc/BreedenP20,
  author       = {Joseph Breeden and
                  Dimitra Panagou},
  title        = {Quadratic Programs for High Relative Degree Spatial Constraints and
                  Spatiotemporal Specifications with Spacecraft Applications},
  booktitle    = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
                  South Korea, December 14-18, 2020},
  pages        = {1496--1502},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/CDC42340.2020.9304162},
  doi          = {10.1109/CDC42340.2020.9304162},
  timestamp    = {Fri, 04 Mar 2022 13:31:02 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/BreedenP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}