Satellite Mission Planning with Signal Temporal Logic Specifications

Athanasios Pantazides, Derya Aksaray, Demoz Gebre-Egziabher

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Satellites in low-Earth orbit have complex missions involving various time-dependent attitude requirements. For instance, a satellite must point an antenna toward a ground station to communicate with Earth and point its solar panels toward the Sun to collect power. At the same time, the mission of a satellite may make certain attitudes desirable or unacceptable. These complex constraints on a satellite’s control design can be dealt with succinctly by Signal Temporal Logic (STL) specifications. In this work, we leverage the robustness degree metric on STL expressions—quantifying the degree to which an STL specification is satisfied by a signal— and formulate an optimization problem that maximizes the robustness degree to generate control trajectories for the small satellite IMPRESS. We utilize the smooth approximation of robustness degree and use a gradient-based optimization framework to generate these control trajectories. The proposed approach is validated on simulated data for a mission scenario involving communication with ground stations and maintaining onboard power.

Original languageEnglish (US)
Title of host publicationAIAA SciTech Forum 2022
PublisherAmerican Institute of Aeronautics and Astronautics Inc, AIAA
ISBN (Print)9781624106316
DOIs
StatePublished - 2022
EventAIAA Science and Technology Forum and Exposition, AIAA SciTech Forum 2022 - San Diego, United States
Duration: Jan 3 2022Jan 7 2022

Publication series

NameAIAA Science and Technology Forum and Exposition, AIAA SciTech Forum 2022

Conference

ConferenceAIAA Science and Technology Forum and Exposition, AIAA SciTech Forum 2022
Country/TerritoryUnited States
CitySan Diego
Period1/3/221/7/22

Bibliographical note

Publisher Copyright:
© 2022, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

Fingerprint

Dive into the research topics of 'Satellite Mission Planning with Signal Temporal Logic Specifications'. Together they form a unique fingerprint.

Cite this