A survey of unmanned aerial vehicle flight data anomaly detection: Technologies, applications, and future directions
Flight data anomaly detection plays an imperative role in the safety and maintenance of
unmanned aerial vehicles (UAVs). It has attracted extensive attention from researchers …
unmanned aerial vehicles (UAVs). It has attracted extensive attention from researchers …
Graph neural network approach for anomaly detection
L Xie, D Pi, X Zhang, J Chen, Y Luo, W Yu - Measurement, 2021 - Elsevier
To ensure the stable long-time operation of satellites, evaluate the satellite status, and
improve satellite maintenance efficiency, we propose an anomaly detection method based …
improve satellite maintenance efficiency, we propose an anomaly detection method based …
Data-driven fault diagnosis of FW-UAVs with consideration of multiple operation conditions
S Liang, S Zhang, Y Huang, X Zheng, J Cheng, S Wu - ISA transactions, 2022 - Elsevier
Abstract Fixed-wing Unmanned Aerial Vehicles (FW-UAVs) are intelligent aircrafts. It is of
significance to carry out fault diagnosis of FW-UAVs to improve reliability and safety. An …
significance to carry out fault diagnosis of FW-UAVs to improve reliability and safety. An …
Temporal-logic based runtime observer pairs for system health management of real-time systems
T Reinbacher, KY Rozier, J Schumann - … , TACAS 2014, Held as Part of the …, 2014 - Springer
We propose a real-time, Realizable, Responsive, Unobtrusive Unit (rt-R2U2) to meet the
emerging needs for System Health Management (SHM) of new safety-critical embedded …
emerging needs for System Health Management (SHM) of new safety-critical embedded …
Unsupervised anomaly detection in unmanned aerial vehicles
A real-time anomaly detection solution indicates a continuous stream of operational and
labelled data that must satisfy several resources and latency requirements. Traditional …
labelled data that must satisfy several resources and latency requirements. Traditional …
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
P Moosbrugger, KY Rozier, J Schumann - Formal Methods in System …, 2017 - Springer
We present R2U2, a novel framework for runtime monitoring of security properties and
diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
J Schumann, P Moosbrugger, KY Rozier - Runtime Verification: 6th …, 2015 - Springer
We present R2U2, a novel framework for runtime monitoring of security properties and
diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
diagnosing of security threats on-board Unmanned Aerial Systems (UAS). R2U2 …
Specification: The biggest bottleneck in formal methods and autonomy
KY Rozier - Verified Software. Theories, Tools, and Experiments …, 2016 - Springer
Advancement of AI-enhanced control in autonomous systems stands on the shoulders of
formal methods, which make possible the rigorous safety analysis autonomous systems …
formal methods, which make possible the rigorous safety analysis autonomous systems …
Data-driven unsupervised anomaly detection and recovery of unmanned aerial vehicle flight data based on spatiotemporal correlation
Anomaly detection is crucial to the flight safety and maintenance of unmanned aerial
vehicles (UAVs) and has attracted extensive attention from scholars. Knowledge-based …
vehicles (UAVs) and has attracted extensive attention from scholars. Knowledge-based …
Embedding online runtime verification for fault disambiguation on robonaut2
Abstract Robonaut2 (R2) is a humanoid robot onboard the International Space Station (ISS),
performing specialized tasks in collaboration with astronauts. After deployment, R2 …
performing specialized tasks in collaboration with astronauts. After deployment, R2 …