Search Results for author:
Found 5 papers, 0 papers with code
Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering
Monte Carlo simulation results as well as plots of example cases are shown and evaluated for a three degree of freedom spacecraft with reaction wheel attitude control.
Safety, Trust, and Ethics Considerations for Human-AI Teaming in Aerospace Control
Designing a safe, trusted, and ethical AI may be practically impossible; however, designing AI with safe, trusted, and ethical use in mind is possible and necessary in safety and mission-critical domains like aerospace.
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture
This work examines leveraging the core theory behind ASIF as assurance argument explaining novel satisfaction of 516C compliance criteria.
Run Time Assurance for Autonomous Spacecraft Inspection
A comparison is made between centralized and decentralized control, where simulations of the inspection problem then demonstrate that RTA can assure safety of all constraints.
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System
This research considers the problem of identifying safety constraints and developing Run Time Assurance (RTA) for Deep Reinforcement Learning (RL) Tactical Autopilots that use neural network control systems (NNCS).
