Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
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 …
Runtime verification triggers real-time, autonomous fault recovery on the CySat-I
CubeSats are low-cost platforms that are popular for conducting spaceborne experiments,
however they are known to have high failure rates (∼ 25% failure rate). In order to improve …
however they are known to have high failure rates (∼ 25% failure rate). In order to improve …
Elucidation and analysis of specification patterns in aerospace system telemetry
Z Luppen, M Jacks, N Baughman, M Stilic… - NASA Formal Methods …, 2022 - Springer
Experimental aerospace projects often require flight vehicle platforms for testing, such as
high-altitude balloons, sounding rockets, unmanned aerial systems (UAS), and CubeSats …
high-altitude balloons, sounding rockets, unmanned aerial systems (UAS), and CubeSats …
Generating certification evidence for the certification of collision avoidance in autonomous surface vessels
D Costello, H Xu - Maritime Policy & Management, 2024 - Taylor & Francis
ABSTRACT The United States Navy plans on fielding autonomous surface vessels in the
near future. This paper presents a preliminary approach for certifying an autonomous …
near future. This paper presents a preliminary approach for certifying an autonomous …
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 …
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 …
Assurance guidance for space mission use of data-driven machine learning
MS Feather, S Guerrini, PC Slingerland… - 2023 IEEE Aerospace …, 2023 - ieeexplore.ieee.org
We report on our experience develo** guidance for assurance personnel on how to
assure data-driven Machine Learning (ML) systems to be used in the space domain. The …
assure data-driven Machine Learning (ML) systems to be used in the space domain. The …
Formal specification and analysis approaches for spacecraft attitude control requirements
KH Gross - 2017 IEEE Aerospace Conference, 2017 - ieeexplore.ieee.org
The cost to develop software in aerospace systems is on an exponential curve driven by
increasing system complexity, which is exacerbated by a systems engineering process that …
increasing system complexity, which is exacerbated by a systems engineering process that …
Accounting for helpful and harmful human reactions in run-time assurance frameworks
Run-Time Assurance is a hybrid controller architecture that bounds the behavior of a
nondeterministic or intractably complex primary controller by monitoring vehicle state and …
nondeterministic or intractably complex primary controller by monitoring vehicle state and …