Graphical FPGA design for a predictive controller with application to spacecraft rendezvous

A reconfigurable field-programmable gate array (FPGA)-based predictive controller based on Nesterov’s fast gradient method is designed using Simulink and converted to VHDL using Mathworks’ HDL Coder. The implementation is verified by application to a spacecraft rendezvous and capture scenario, with communication between the FPGA and a simulation of the relative dynamics occuring over Ethernet. For a problem with 120 decision variables and 240 constraints, computation times of 0.95 ms are achieved with a clock rate of 50 MHz, corresponding to a speed up of more than 2000 over running the algorithm directly on a MicroBlaze microprocessor implemented on the same FPGA.This work was supported by the Engineering and Physical Sciences Research Council (Grant EP/G030308/1) as well as industrial support from Xilinx, Mathworks and the European Space Agency.52nd IEEE Conference on Decision and Control, December 10-13, 2013, Palazzo dei Congressi, Florence, Italy

Field programmable gate array based predictive control system for spacecraft rendezvous in elliptical orbits

A field programmable gate array (FPGA)-based model predictive controller (MPC) for two phases of spacecraft rendezvous is presented. Linear time varying prediction models are used to accommodate elliptical orbits, and a variable prediction horizon is used to facilitate finite time completion of the longer-range man{\oe}uvres, whilst a fixed and receding prediction horizon is used for fine-grained tracking at close range. The resulting constrained optimisation problems are solved using a primal dual interior point algorithm. The majority of the computational demand is in solving a system of simultaneous linear equations at each iteration of this algorithm. To accelerate these operations, a custom circuit is implemented, using a combination of Mathworks HDL Coder and Xilinx System Generator for DSP, and used as a peripheral to a MicroBlaze soft core processor on the FPGA, on which the remainder of the system is implemented. Certain logic that can be hard-coded for fixed sized problems is implemented to be configurable online, in order to accommodate the varying problem sizes associated with the variable prediction horizon. The system is demonstrated in closed loop by linking the FPGA with a simulation of the spacecraft dynamics running in Simulink on a PC, using Ethernet. Timing comparisons indicate that the custom implementation is substantially faster than pure embedded software-based interior point methods running on the same MicroBlaze, and could be competitive with a pure custom hardware implementation.This work was supported by the Engineering and Physical Sciences Research Council Grant Number [EP/G030308/1] as well as industrial support from Xilinx, Mathworks, and the European Space Agency

A tutorial on model predictive control for spacecraft rendezvous

This tutorial paper provides a review of recent advances in the field of spacecraft rendezvous using model predictive control (MPC), an advanced optimal control strategy based on on-line constrained optimisation of control inputs based on predictions of future trajectories. Firstly, the rendezvous objectives, and the generic constrained MPC problem formulation are summarised. This is followed by a discussion of how to select the three key ingredients used in an MPC design: the prediction model, the constraints and the cost function. Since MPC implementation relies on finding the solution to constrained optimisation problems in real-time, computational aspects are also briefly examined. The paper concludes with conjecture on ways the use of MPC in this application could be further advanced.This is the author accepted manuscript. The final version is available from IEEE via http://dx.doi.org/10.1109/ECC.2015.733072

2020 NASA Technology Taxonomy

This document is an update (new photos used) of the PDF version of the 2020 NASA Technology Taxonomy that will be available to download on the OCT Public Website. The updated 2020 NASA Technology Taxonomy, or "technology dictionary", uses a technology discipline based approach that realigns like-technologies independent of their application within the NASA mission portfolio. This tool is meant to serve as a common technology discipline-based communication tool across the agency and with its partners in other government agencies, academia, industry, and across the world

Embedded ADMM-based QP solver for MPC with polytopic constraints

We propose an algorithm for solving quadratic programming (QP) problems with inequality and equality constraints arising from linear MPC. The proposed algorithm is based on the ‘alternating direction method of multipliers’ (ADMM), with the introduction of slack variables. In comparison with algorithms available in the literature, our proposed algorithm can handle the so-called sparse MPC formulation with general inequality constraints. Moreover, our proposed algorithm is suitable for implementation on embedded platforms where computational resources are limited. In some cases, our algorithm is division-free when certain fixed matrices are computed offline. This enables our algorithm to be implemented in fixed-point arithmetic on a FPGA. In this paper, we also propose heuristic rules to select the step size of ADMM for a good convergence rate.This is the author accepted manuscript. The final version is available from IEEE via http://dx.doi.org/10.1109/ECC.2015.733106

Design principles for the development of space technology maturation laboratories aboard the International Space Station

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2005.Includes bibliographical references (v. 2, p. 339-349).This thesis formulates seven design principles for the development of laboratories which utilize the International Space Station (ISS) to demonstrate the maturation of space technologies. The principles are derived from the lessons learned from more than two decades of space technology research at the MIT Space Systems Laboratory and the existence of unique resources aboard the ISS. The thesis provides scientists with a design framework for new laboratories and an evaluation framework to responds to a call by the National Research Council to institutionalize science activities aboard the ISS. Experience from previous missions and research on the resources available at the ISS led to the development of the SPHERES Laboratory for Distributed Satellite Systems (DSS), which constitutes the experimental part of the thesis. SPHERES allows tests in a representative, risk-tolerant environment aboard the ISS to demonstrate metrology, control, and autonomy algorithms for DSS. The implementation of ground-based and ISS-based facilities permits incremental technology maturation by enabling iterative research; algorithms can mature through multiple research cycles with increasing complexity. The SPHERES Guest Scientist Program supports research by multiple scientists: since the Spring of 2000 SPHERES has enabled research on formation flight, communications requirements, mass properties identification, autonomous rendezvous and docking, and tethered formation flight.(cont.) The design principles were formulated by first identifying the features of the SPHERES laboratory which allow it to fulfill the MIT SSL Laboratory Design Philosophy and utilize the ISS correctly, and then finding the applicability of these features to space technology maturation research. The seven principles are: Principle of Iterative Research, Principle of Enabling a Field of Study, Principle of Optimized Utilization, Principle of Focused Modularity, Principle of Remote Operations and Usability, Principle of Incremental Technology Maturation, and Principle of Requirements Balance. The design framework is used to assess SPHERES and suggest a new design iteration which better satisfies the design principles. The evaluation of SPHERES concludes that it is ready for operations aboard the ISS, since the modular design of SPHERES allows most of the proposed design changes to occur after the initial deployment.by Alvar Saenz-Otero.Ph.D

ESMD Space Grant Faculty Report

The strength of the Exploration Systems Mission Directorate ESMD Faculty Project lies in its ability to meet National Aeronautics Space Administration NASA's Strategic Educational Outcome 1 by developing a sustainable and long-term integration of student involvement at academic institutions with all NASA Centers. This outcome is achieved by a three-fold approach: 1) by collecting Senior Design projects pertaining to Constellation work performed at each of the ten NASA Centers, 2) by engaging students at Minority Serving Institutions in the art of systems engineering and systems design of technologies required for space exploration, and 3) by identifying potential internships at each Center relative to exploration that provide students who are supported by their institutional Space Grant to engage in on-going mission-level and explorative systems designs. The objectives of the ESMD Faculty Project are to: 1. Aid the Centers (both Education Offices and associated technical organizations) in providing relevant opportunities for the ESMD Space Grant Program to support student and faculty in Senior Design projects 2. Enable better matches between the ESMD work required and what the Space Grant Consortia can do to effectively contribute to NASA programs 3. Provide the Space Grant Consortia an opportunity to strengthen relations with the NASA Centers 4. Develop better collective understanding of the U.S. Space Exploration Policy by the Center, Space Grant, faculty, Education Office, and students 5. Enable Space Grant institution faculty to better prepare their students to meet current and future NASA needs 6. Enable the Center Education Offices to strengthen their ties to their technical organizations and Space Grant Consortia 7. Aid KSC in gaining a greater and more detailed understanding of each of the Center activities Senior Design projects are intended to stimulate undergraduate students on current NASA activities related to lunar, Mars, and other planetary missions and to bring out innovative and novel ideas that can be used to complement those currently under development at respective NASA Centers. Additionally, such academic involvement would better the prospects for graduating seniors to pursue graduate studies and to seek careers in the space industry with a strong sense for systems engineering and understanding of design concepts. Internships, on the other hand, are intended to provide hands-on experience to students by engaging them in diverse state-of-the-art technology development, prototype bread-boarding, computer modeling and simulations, hardware and software testing, and other activities that provide students a strong perspective of NASA's vision and mission in enhancing the knowledge of Earth and space planetary sciences. Ten faculty members, each from a Space Grant Consortium-affiliated university, worked at ten NASA Centers for five weeks between June 2 and July 3, 2008. The project objectives listed above were achieved. In addition to collecting data on Senior Design ideas and identifying possible internships that would benefit NASA/ESMD, the faculty fellows promoted and collected data when required for other ESMD-funded programs and helped the Center's Education Office, as,needed.

A Bibliography of NPS Space Systems Related Student Research, 2013-2022

Dudley Knox Library, Naval Postgraduate School.Approved for Public Release; distribution is unlimite

NASA Tech Briefs, September 2009

opics covered include: Filtering Water by Use of Ultrasonically Vibrated Nanotubes; Computer Code for Nanostructure Simulation; Functionalizing CNTs for Making Epoxy/CNT Composites; Improvements in Production of Single-Walled Carbon Nanotubes; Progress Toward Sequestering Carbon Nanotubes in PmPV; Two-Stage Variable Sample-Rate Conversion System; Estimating Transmitted-Signal Phase Variations for Uplink Array Antennas; Board Saver for Use with Developmental FPGAs; Circuit for Driving Piezoelectric Transducers; Digital Synchronizer without Metastability; Compact, Low-Overhead, MIL-STD-1553B Controller; Parallel-Processing CMOS Circuitry for M-QAM and 8PSK TCM; Differential InP HEMT MMIC Amplifiers Embedded in Waveguides; Improved Aerogel Vacuum Thermal Insulation; Fluoroester Co-Solvents for Low-Temperature Li+ Cells; Using Volcanic Ash to Remove Dissolved Uranium and Lead; High-Efficiency Artificial Photosynthesis Using a Novel Alkaline Membrane Cell; Silicon Wafer-Scale Substrate for Microshutters and Detector Arrays; Micro-Horn Arrays for Ultrasonic Impedance Matching; Improved Controller for a Three-Axis Piezoelectric Stage; Nano-Pervaporation Membrane with Heat Exchanger Generates Medical-Grade Water; Micro-Organ Devices; Nonlinear Thermal Compensators for WGM Resonators; Dynamic Self-Locking of an OEO Containing a VCSEL; Internal Water Vapor Photoacoustic Calibration; Mid-Infrared Reflectance Imaging of Thermal-Barrier Coatings; Improving the Visible and Infrared Contrast Ratio of Microshutter Arrays; Improved Scanners for Microscopic Hyperspectral Imaging; Rate-Compatible LDPC Codes with Linear Minimum Distance; PrimeSupplier Cross-Program Impact Analysis and Supplier Stability Indicator Simulation Model; Integrated Planning for Telepresence With Time Delays; Minimizing Input-to-Output Latency in Virtual Environment; Battery Cell Voltage Sensing and Balancing Using Addressable Transformers; Gaussian and Lognormal Models of Hurricane Gust Factors; Simulation of Attitude and Trajectory Dynamics and Control of Multiple Spacecraft; Integrated Modeling of Spacecraft Touch-and-Go Sampling; Spacecraft Station-Keeping Trajectory and Mission Design Tools; Efficient Model-Based Diagnosis Engine; and DSN Simulator

Development of a guidance, navigation and control architecture and validation process enabling autonomous docking to a tumbling satellite

Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2007.Includes bibliographical references (p. 307-324).The capability to routinely perform autonomous docking is a key enabling technology for future space exploration, as well as assembly and servicing missions for spacecraft and commercial satellites. Particularly, in more challenging situations where the target spacecraft or satellite is tumbling, algorithms and strategies must be implemented to ensure the safety of both docking entities in the event of anomalies. However, difficulties encountered in past docking missions conducted with expensive satellites on orbit have indicated a lack of maturity in the technologies required for such operations. Therefore, more experimentation must be performed to improve the current autonomous docking capabilities. The main objectives of the research presented in this thesis are to develop a guidance, navigation and control (GN&C) architecture that enables the safe and fuel-efficient docking with a free tumbling target in the presence of obstacles and anomalies, and to develop the software tools and verification processes necessary in order to successfully demonstrate the GN&C architecture in a relevant environment. The GN&C architecture was developed by integrating a spectrum of GN&C algorithms including estimation, control, path planning, and failure detection, isolation and recovery algorithms.(cont.) The algorithms were implemented in GN&C software modules for real-time experimentation using the Synchronized Position Hold Engage and Reorient Experimental Satellite (SPHERES) facility that was created by the MIT Space Systems Laboratory. Operated inside the International Space Station (ISS), SPHERES allow the incremental maturation of formation flight and autonomous docking algorithms in a risk-tolerant, microgravity environment. Multiple autonomous docking operations have been performed in the ISS to validate the GN&C architecture. These experiments led to the first autonomous docking with a tumbling target ever achieved in microgravity. Furthermore, the author also demonstrated successful docking in spite of the presence of measurement errors that were detected and rejected by an online fault detection algorithm. The results of these experiments will be discussed in this thesis. Finally, based on experiments in a laboratory environment, the author establishes two processes for the verification of GN&C software prior to on-orbit testing on the SPHERES testbed.by Simon Nolet.Sc.D