[PDF][PDF] Military applications of artificial intelligence
FE Morgan, B Boudreaux, AJ Lohn, M Ashby… - Santa Monica: RAND …, 2020 - rand.org
The research in this report was conducted over the course of one year, from October 2017 to
September 2018. The completed report was originally delivered to the sponsor in October …
September 2018. The completed report was originally delivered to the sponsor in October …
Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems
More than three miles above the Arizona desert, an F-16 student pilot experienced a gravity-
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …
induced loss of consciousness, passing out while turning at nearly 9Gs (nine times the force …
[PDF][PDF] Challenge problem: Assured satellite proximity operations
CD Petersen, S Phillips… - 31st AAS/AIAA …, 2021 - seanaphillipscom.wordpress.com
Assuring safety of a spacecraft during autonomous rendezvous, proximity operations, and
docking is a non-trivial, multi-constraint challenge. This paper presents a challenge problem …
docking is a non-trivial, multi-constraint challenge. This paper presents a challenge problem …
Stream runtime monitoring on UAS
Abstract Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities
are of increasing interest for a wide area of applications such as logistics and disaster …
are of increasing interest for a wide area of applications such as logistics and disaster …
Autonomous flight-test data in support of safety of flight certification
DH Costello III, J Jewell, H Xu - Journal of Air Transportation, 2021 - arc.aiaa.org
The current safety of flight clearances for unmanned aircraft requires a qualified operator
who can make decisions and ultimately bears the responsibility for the safe operations of the …
who can make decisions and ultimately bears the responsibility for the safe operations of the …
Formal specification and analysis of spacecraft collision avoidance run time assurance requirements
KL Hobbs, J Davis, L Wagner… - 2021 IEEE Aerospace …, 2021 - ieeexplore.ieee.org
One of the greatest challenges preventing the use of advanced controllers in aerospace is
develo** methods to verify, validate, and certify them with high assurance. One emerging …
develo** methods to verify, validate, and certify them with high assurance. One emerging …
Run-time assurance: A rising technology
JG Fuller - 2020 AIAA/IEEE 39th Digital Avionics Systems …, 2020 - ieeexplore.ieee.org
Run-Time Assurance (RTA) is a control architecture wherein a complex or nondeterministic
controller operates freely under the supervision of a monitor that may transfer control away …
controller operates freely under the supervision of a monitor that may transfer control away …
Generating certification evidence for autonomous aerial vehicles decision-making
DH Costello III, H Xu - Journal of Aerospace Information Systems, 2021 - arc.aiaa.org
The last 15 years have seen a large uptick in the use of unmanned aircraft. However, the
current safety of flight clearances for unmanned aircraft requires a qualified operator who …
current safety of flight clearances for unmanned aircraft requires a qualified operator who …
Geofencing requirements for onboard safe operation monitoring
The new concept for operation of drones, published by EASA in 2015, enables new ways to
influence and possibly reduce the necessary safety targets of certain system components …
influence and possibly reduce the necessary safety targets of certain system components …
Risk-based formal requirement elicitation for automatic spacecraft maneuvering
View Video Presentation: https://doi. org/10.2514/6.2021-1122. vid As space continues to
become more congested, automated techniques for spacecraft maneuvering become …
become more congested, automated techniques for spacecraft maneuvering become …