Leveraging Large Language Models (Llms) For Automated Generation Of Sysml V2 State Machines In Guidance, Navigation, And Control (Gnc) Systems,
2025
Air Force Institute of Technology
Leveraging Large Language Models (Llms) For Automated Generation Of Sysml V2 State Machines In Guidance, Navigation, And Control (Gnc) Systems, Andrea Louise Ames
Theses and Dissertations
Modern defense systems continue to grow in complexity, placing increasing pressure on engineering workflows to be faster and more adaptable. While Model-Based Systems Engineering (MBSE) with the emerging SysML v2 standard provides a framework for capturing system behavior, its practical use is often limited by the expertise and time required for manual modeling. This research investigates whether large language models (LLMs) can help overcome that barrier by automatically generating SysML v2 state machines from Guidance, Navigation, and Control (GNC) textual inputs. Three LLM Flowise-based models were developed and evaluated: the Structured Transformation Model (STM), which uses a structured extraction and …
Hardware-In-The-Loop Testing For The Polysim Adcs Lab,
2025
California Polytechnic State University, San Luis Obispo
Hardware-In-The-Loop Testing For The Polysim Adcs Lab, Shealyn P. Miller
Master's Theses
Hardware-in-the-loop, HIL, testing is an important tool for the validation and verification of systems in the aerospace industry. A common subsystem to be tested using HIL testing is the attitude, dynamics, and controls subsystem, ADCS. This is due to HIL tests using realistic simulations of the space environment to control physical hardware. To create a HIL test, a simulation and HIL interface are needed to test and communicate with hardware. Using a Speedgoat Performance Real-Time Target Machine to communicate with a Raspberry Pi and a Simulink model, three tests were conducted to ensure communication was functioning properly. A simulation, in …
Design And Development Of A Laboratory Star Tracker System,
2025
California Polytechnic State University, San Luis Obispo
Design And Development Of A Laboratory Star Tracker System, Kevin D. Iverson
Master's Theses
This thesis presents the design, calibration, and validation of a low-cost star tracker system and hardware-in-the-loop testbed intended for small satellite applications. The system is composed entirely of commercial off-the-shelf components and integrates both a custom star tracker and a screen-based star field simulator for controlled, repeatable testing. An analytical modeling approach was used in the early design phase to predict system accuracy based on key optical and geometric parameters, informing the selection and configuration of components and guiding the development of calibration routines.
A simulation environment was developed to validate the star tracker software and assess the impact of …
Solar Sailing Adaptive Control Around The Earth-Moon Lagrange Point L4 For Stellar Observations,
2025
Embry-Riddle Aeronautical University
Solar Sailing Adaptive Control Around The Earth-Moon Lagrange Point L4 For Stellar Observations, Luis Mendoza Zambrano
Doctoral Dissertations and Master's Theses
To expand our knowledge about the influence of the Sun in the cislunar region, as well as our understanding of shocks due to Coronal Mass Ejections and large coronal magnetic reconnection, a solar sailing approach is proposed to separately capture lunar occultations and observe the solar corona from L4 of the Earth-Moon system. Single and multiple shooting techniques are described along with a pseudo arc-length continuation method for preliminary orbit design. Periodic orbits in the vicinity of L4 are obtained in the context of the Earth-Moon circular restricted three-body problem (CR3BP) and the Sun-Earth-Moon bi-circular restricted four-body problem …
Satellite Reorientation Using Reinforcement Learning Under Unknown Attitude Failure,
2025
Embry-Riddle Aeronautical University
Satellite Reorientation Using Reinforcement Learning Under Unknown Attitude Failure, Matthew Willoughby
Doctoral Dissertations and Master's Theses
This study presents a reinforcement learning (RL) approach for reestablishing communication with deep-space satellites under unknown attitude determination and control system (ADCS) failures. When traditional fault-tolerant control methods cannot restore signal, the proposed RL controller acts as a last-resort measure by autonomously reorienting the satellite’s antenna toward Earth while charging the battery via solar panels. A generic reward function, designed for the RL-based method, enables the controller to adapt to diverse failure scenarios, including severe actuator noise, misalignment, and complete actuator failure. Simulations are conducted in the Basilisk environment and trained with the tonic framework and demonstrate ranging capabilities of …
Reconfigurable Python Autopilot Software For Rc Aircraft,
2025
University of South Alabama
Reconfigurable Python Autopilot Software For Rc Aircraft, Kate Doiron
Honors Theses
No abstract provided.
Developing End-To-End Imitation Learning For Asteroid Proximity Operations,
2025
Florida Institute of Technology
Developing End-To-End Imitation Learning For Asteroid Proximity Operations, Patrick David Quinn
Theses and Dissertations
Asteroid exploration remains a popular topic in the scientific community, however hurdles still exist for controlling spacecraft within the asteroid environment. Communication delays often require the usage of limited onboard computing hardware for navigation. Additionally, long mission timelines must be accommodated with highly efficient fuel use. Considering these issues, it is apparent that any guidance, navigation, and control (GNC) system in these spacecraft should emphasize both computational and fuel efficiency in its design. Furthermore, the integration of a robust state estimation system is necessary for the successful deployment of such systems. The development of a controller aiming to address these …
Implementation Of Unscented Kalman Filter-Based State Estimation For Multiple Spacecraft Using Global Positioning System Measurements,
2025
Florida Institute of Technology
Implementation Of Unscented Kalman Filter-Based State Estimation For Multiple Spacecraft Using Global Positioning System Measurements, Bala Prenith Reddy Gopu
Theses and Dissertations
This study presents an implementation of state estimation for a drag-based rendezvous mission involving multiple chaser spacecraft and a single target, using Unscented Kalman Filtering (UKF) with Global Positioning System (GPS) measurements. The implemented method combines GPS navigation solutions with UKF to provide real- time state estimates of all spacecraft involved. Nonlinear least squares method is employed to process pseudorange and pseudorange rate measurements to determine receiver states, UKF utilizes these states as measurements to estimate absolute space- craft positions and velocities. This implementation also addresses practical challenges including raw GPS measurement processing, and varying GPS satellite geometries.
Towards Visual Inertial Navigation With Fixed Tetrahedral Targets,
2025
Florida Institute of Technology
Towards Visual Inertial Navigation With Fixed Tetrahedral Targets, Joao Leonardo Silva Cotta
Theses and Dissertations
This dissertation presents a robust method for 6DoF position estimation under impaired visual conditions utilizing a minimum 4-point Perspective-n-Point (P4P) solver designed for tetrahedral targets. Using SO(3) × R 3 instead of SE(3), the method uses a Lie group-based formulation to discriminate between rotation and translation, thereby enabling computationally efficient, resource-conscious op- optimization while preserving correct geometric behavior. Designed using the contemporary C++17 library ShomerTarget, the solver is analytically formulated and assessed under pragmatic robotic conditions. Particularly in low-light and high-dynamic environments, experiments on embedded systems, UAVs, and NASA’s Astrobee show that the proposed solver attains enhanced accuracy compared to …
Nonlinear Control System Design And Hardware Testing Of An Overactuated Multicopter,
2025
University of South Alabama
Nonlinear Control System Design And Hardware Testing Of An Overactuated Multicopter, William A. Wearren
Graduate Theses and Dissertations (2019 - present)
For the concept of Urban Air Mobility to be implemented into everyday life, the safety of passengers, bystanders, and surrounding infrastructure needs to be held paramount [1]. In previous work done at the University of South Alabama Facility for Aerospace Systems and Technology (FAST) lab, a reconfigurable control law was derived and tested on a scratch built multicopter [2]. The goal of the control law was to stabilize an X8 model multicopter in the event of motor outages [2]. The control law was tested on a simulated model and flight tested on a small-scale X8 multicopter to verify the effectiveness …
Autonomous Control Of A Hybrid Unmanned Aerial Towed System On A Moving Platform,
2025
University of South Alabama
Autonomous Control Of A Hybrid Unmanned Aerial Towed System On A Moving Platform, Zachary M. Miller
Graduate Theses and Dissertations (2019 - present)
With tethered rotor drones being more popular for aerial surveillance, moving platforms for tethered drones are being researched. However, these systems require constant power to the rotor drones for stabilization. With this difficulty in power consumption, a hybrid drone solution is presented. The hybrid drone is similar to an airplane, with quadcopter motors attached for stabilization and thrust when not moving.
The controller for the hybrid drone was tested and verified in simulation. The simulation of the system was built in Fortran and consists of a driver, a tether, and a hybrid drone. The driver was modeled after a generic …
Campus Navigator: A Mobile App For Seamless University Navigation,
2025
Kennesaw State University
Campus Navigator: A Mobile App For Seamless University Navigation, Hafsa Mohammed, Ali Rahimzadehfard, Rachab Wilson, Mathias Rossi, Turaj Ashuri, Amir Ali Amiri Moghadam
Symposium of Student Scholars
Navigation services play a big role in everyone’s daily lives, from directing them on new roads to guiding them through buildings. Outdoor navigation services have evolved from physical maps to digital ones like Google Maps for ease of use and accessibility. Upon conducting literature research, the team found that many navigation apps lack clear and accurate instructions for how to navigate university campuses such as Marietta campus. Due to the size of KSU’s Marietta campus and its buildings, effortless navigation has been a common challenge for students, faculty, and visitors alike. Additionally, all buildings are referred to by letters, numbers, …
Utilizing Augmented Reality For Immersive Space Mission Design,
2025
Embry-Riddle Aeronautical University
Utilizing Augmented Reality For Immersive Space Mission Design, Joseph Anderson
Doctoral Dissertations and Master's Theses
Designing spacecraft mission trajectories is a complex, tedious, and stringent process that requires a strong background in astrodynamics and programming due to the complex dynamical environment of space. The current 2D visualization methods for displaying these geometrically abstract trajectories make it difficult to understand the true nature of more complex orbits. Advancements in immersive headsets and their intuitive interaction capabilities make them ideal for solving and understanding 3D problems that require complex spatial representations, revealing an innovative and unique opportunity for the astrodynamics and space mission planning field. This effort covers the development of an immersive space mission design tool …
L2 Certification Rocket Launch,
2025
Fort Hays State University
L2 Certification Rocket Launch, Seungyou Cho
SACAD: Scholarly Activities
The LOC 835 high-power rocket with J275W-12 motor at Argonia, KS, for L2 certification, was auspiciously launched and returned. J means the motor can exert 640-1280 Ns of impulse, which makes a sizeable propelling sound. Even though four main hindrances occurred from the construction to the launch, the issues were revised correctly. The rail button and the tracker were severe issues, so I devised the method of drilling a hole for the rail button, but there was no way to replace a broken tracker. The wind speed on the launch day was so strong that the rocket flew 1-2 miles …
Adaptive Control Of Thrusters To Account For Deficiencies In Actuator Effectiveness And Model Uncertainties,
2025
Embry-Riddle Aeronautical University
Adaptive Control Of Thrusters To Account For Deficiencies In Actuator Effectiveness And Model Uncertainties, Matthew Stanko
Doctoral Dissertations and Master's Theses
Future space missions are expected to become ever more ambitious and challenging. A successful mission requires advanced and resilient control algorithms that enable missions, such as satellite refueling, on-orbit inspection, and end-of-life servicing. This thesis explores the development and application of robust and adaptive control laws for an over-actuated spacecraft system with 3 degrees of freedom (DoF) to mitigate the effects of actuator deficiencies and system uncertainties. Additionally, the nature of the system being over-actuated allows for particular actuator degradation and failure. For stability and command tracking, a novel controller is designed and augmented with sliding mode control, adaptive control, …
Dual Quaternions For Gravity Recovery Missions,
2025
Embry-Riddle Aeronautical University
Dual Quaternions For Gravity Recovery Missions, Ryan Kinzie
Doctoral Dissertations and Master's Theses
A dual quaternion-based modeling, state estimation and control approach is introduced as a better alternative to the traditional methods which are currently utilized for gravity recovery missions. The proposed modeling and control approach was verified against and compared to the tangent bundle to Special Euclidean Group 3 through MATLAB simulations. The dual quaternion-based approach shows superior performance over traditional linearized and uncoupled methodologies, in both modeling accuracy of spacecraft translational position, and the ability to control the pose of a test mass relative to its host spacecraft. Utilizing data products from the Gravity Recovery and Climate Experiment Follow-On mission, a …
Coupled Dynamics In The Cislunar Region And Spacecraft Attitude Prediction In A Higher-Fidelity Model,
2025
Embry-Riddle Aeronautical University
Coupled Dynamics In The Cislunar Region And Spacecraft Attitude Prediction In A Higher-Fidelity Model, Annika Anderson
Doctoral Dissertations and Master's Theses
The cislunar region of space is a complex, multi-body dynamical environment that cannot be modeled trivially. Traditional point-mass assumptions made to simplify the mission design process may be insufficient for accurately predicting spacecraft motion in environments where orbit-attitude coupling is non-negligible. One of the most famous of such models is the circular restricted three-body problem. This thesis advances the state of the art in astrodynamics by modeling all bodies in the problem as rigid bodies, allowing for spacecraft orientation to be propagated and considered. Two models are under consideration—the circular restricted full three-body problem (CRF3BP) and a full higher-fidelity ephemeris …
Machine Learning Methods For Hypervelocity Fragment Flyout Characterization,
2025
Embry-Riddle Aeronautical University
Machine Learning Methods For Hypervelocity Fragment Flyout Characterization, Katharine Larsen
Doctoral Dissertations and Master's Theses
Resulting from breakup events, such as collisions and explosions, hypervelocity fragments create potential hazards for both terrestrial and on-orbit environments, such as terrestrial weapons explosions and satellite breakup events, respectively. To avoid unnecessary damage, an accurate understanding or characterization of hypervelocity fragmentation events is vital. Currently, publicly available two-line elements collected from on-orbit breakup events are limited, excluding pre-detonation parent body conditions, such as orientation, and information of smaller fragments. The uncertainty of these datasets varies between each collected set. Therefore, the overall goal of this work is to employ machine learning to estimate distribution characteristics of a space debris …
Modeling The Dynamics Of Flexible Aerospace Vehicles Using The Theory Of Functional Connections,
2025
Embry-Riddle Aeronautical University
Modeling The Dynamics Of Flexible Aerospace Vehicles Using The Theory Of Functional Connections, Carlo Lombardi
Doctoral Dissertations and Master's Theses
Modeling and control of flexible vehicles is a topic of high interest in the aerospace field and a key challenge lies in finding accurate mathematical representations of the flexible dynamics of continuous elastic structures that allow simple integration into estimation and control algorithms. The answer was found in approximating the dynamics of these systems with sets of coupled Ordinary Differential Equations (ODE) for which a well-established estimation and control theory is available. Each of the techniques employed to achieve this goal is characterized by its own strengths and limitations. Hence, the main objective of this research is to develop the …
Stability Limits Of Uncertain Systems In The Presence Of Unmatched Coupled Dynamics And Actuator Dynamics With Adaptive Architectures,
2025
Embry-Riddle Aeronautical University
Stability Limits Of Uncertain Systems In The Presence Of Unmatched Coupled Dynamics And Actuator Dynamics With Adaptive Architectures, Bronson Saulo
Doctoral Dissertations and Master's Theses
Uncertain systems with coupled dynamics and actuator dynamics are prevalent in various applications spanning private, commercial, and government sectors. While stabilization and command tracking strategies exist, they often rely on idealized assumptions, such as negligible actuator bandwidth limitations and matched coupled dynamics. In order to mitigate actuator-induced limitations, we first employ standard model reference adaptive control (MRAC) architectures. We then proposed two architectures: modified hedging reference modeled based MRAC and modified expanded reference model based MRAC. In order to deal with coupled dynamics, we used an observer design to estimate the states of unmatched coupled dynamics. In addition, Lyapunov stability …
