1D Spacecraft Docking Example (Preprint)

Abstract

This document explains the dynamics, objective, safety constraints, pre-processing, and post-processing for a 1D spacecraft docking reinforcement learning and neural network verification challenge problem.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 26, 2022
Accession Number
AD1169808

Entities

People

  • James Cunningham
  • John Mccarroll
  • Kerianne L. Hobbs
  • Kyle Dunlap
  • Umberto J. Ravaioli
  • Xin Chen

Organizations

  • Air Force Research Laboratory
  • Jacobs Engineering Group
  • University of Cincinnati
  • University of Dayton

Tags

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Air Force Research Laboratories
  • Control Systems
  • Coordinate Systems
  • Department Of Defense
  • Docking
  • Docks
  • Dynamics
  • Engineering
  • Learning
  • Military Research
  • Neural Networks
  • Reinforcement Learning
  • Spacecraft
  • Spacecraft Docking
  • United States
  • United States Government
  • Universities
  • Verification

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - Machine Learning Algorithms
  • AI & ML - Neural Networks
  • Space
  • Space - Spacecraft Maneuvers