Air Force Institute of Technology AFIT Scholar Theses and Dissertations Student Graduate Works 3-2021 Safe Spacecraft Rendezvous and Proximity Operations via Reachability Analysis Paul A. Grossi Follow this and additional works at: https://scholar.afit.edu/etd Part of the Aerospace Engineering Commons Recommended Citation Grossi, Paul A., "Safe Spacecraft Rendezvous and Proximity Operations via Reachability Analysis" (2021). Theses and Dissertations. 4977. https://scholar.afit.edu/etd/4977 This Thesis is brought to you for free and open access by the Student Graduate Works at AFIT Scholar. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of AFIT Scholar. For more information, please contact
[email protected]. Safe Spacecraft Rendezvous and Proximity Operations via Reachability Analysis THESIS Paul A. Grossi, Captain, USSF AFIT-ENY-MS-21-M-302 DEPARTMENT OF THE AIR FORCE AIR UNIVERSITY AIR FORCE INSTITUTE OF TECHNOLOGY Wright-Patterson Air Force Base, Ohio Distribution Statement A. APPROVED FOR PUBLIC RELEASE: DISTRIBUTION UNLIMITED. The views expressed in this document are those of the author and do not reflect the official policy or position of the United States Air Force, the United States Department of Defense or the United States Government. This material is declared a work of the U.S. Government and is not subject to copyright protection in the United States. AFIT-ENY-MS-21-M-302 SAFE SPACECRAFT RENDEZVOUS AND PROXIMITY OPERATIONS VIA REACHABILITY ANALYSIS THESIS Presented to the Faculty Department of Aeronautics & Astronautics Graduate School of Engineering and Management Air Force Institute of Technology Air University Air Education and Training Command in Partial Fulfillment of the Requirements for the Degree of Master of Aeronautical Engineering Paul A.