论文信息 - Reactive Temporal Logic-Based Precursor Detection Algorithm for Terminal Airspace Operations - 字舞流文

Reactive Temporal Logic-Based Precursor Detection Algorithm for Terminal Airspace Operations

The air traffic management system is one of the most complex manmade systems, with stringent standards for safety and operational performance. Modern surveillance systems make available detailed fl...

Dawei Sun | Inseok Hwang | Raj Deshmukh | Kwangyeon Kim | Inseok Hwang | Dawei Sun | R. Deshmukh | Kwangyeon Kim

[1] Dimitri N. Mavris,et al. Anomaly Detection in General-Aviation Operations Using Energy Metrics and Flight-Data Records , 2018 .

[2] Inseok Hwang,et al. Four-Dimensional Aircraft Taxiway Conformance Monitoring with Constrained Stochastic Linear Hybrid Systems , 2012 .

[3] Victoria J. Hodge,et al. A Survey of Outlier Detection Methodologies , 2004, Artificial Intelligence Review.

[4] Roy E. Welsch,et al. Anomaly detection via a Gaussian Mixture Model for flight operation and safety monitoring , 2016 .

[5] Ashok N. Srivastava,et al. Analysis of Flight Data Using Clustering Techniques for Detecting Abnormal Operations , 2015, J. Aerosp. Inf. Syst..

[6] Calin Belta,et al. Temporal Logics for Learning and Detection of Anomalous Behavior , 2017, IEEE Transactions on Automatic Control.

[7] Ashok N. Srivastava. Greener aviation with virtual sensors: a case study , 2011, Data Mining and Knowledge Discovery.

[8] Mark Schwabacher,et al. Unsupervised Anomaly Detection for Liquid-Fueled Rocket Propulsion Health Monitoring , 2007, J. Aerosp. Comput. Inf. Commun..

[9] Irem Y. Tumer,et al. Analysis of Triaxial Vibration Data for Health Monitoring of Helicopter Gearboxes , 2003 .

[10] Inseok Hwang,et al. Algorithm for Conformance Monitoring in Air Traffic Control , 2009 .

[11] Inseok Hwang,et al. Incremental-Learning-Based Unsupervised Anomaly Detection Algorithm for Terminal Airspace Operations , 2019, Journal of Aerospace Information Systems.