Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Numerical recipes in C (2nd ed.): the art of scientific computing
Numerical recipes in C (2nd ed.): the art of scientific computing
Detection of abrupt changes: theory and application
Detection of abrupt changes: theory and application
Bayesian classification (AutoClass): theory and results
Advances in knowledge discovery and data mining
A higher-order interpretation of deductive tableau
Journal of Symbolic Computation
Clustering Algorithms
Amphion/NAV: Deductive Synthesis of State Estimation Software
Proceedings of the 16th IEEE international conference on Automated software engineering
AutoBayes: a system for generating data analysis programs from statistical models
Journal of Functional Programming
Pattern Recognition and Machine Learning (Information Science and Statistics)
Pattern Recognition and Machine Learning (Information Science and Statistics)
Operations for learning with graphical models
Journal of Artificial Intelligence Research
The WEKA data mining software: an update
ACM SIGKDD Explorations Newsletter
Hi-index | 0.00 |
The Next Generation Air Traffic System (NGATS) is aiming to provide substantial computer support for the air traffic controller. Algorithms for the accurate prediction of aircraft movements are of central importance for such software systems but trajectory prediction has to work reliably in the presence of unknown parameters and uncertainties. We are using the AutoBayes program synthesis system to generate customized data analysis algorithms that process large sets of aircraft radar track data in order to estimate parameters and uncertainties. In this paper, we present, how the tasks of finding structure in track data, estimation of important parameters in climb trajectories, and detection of continuous descent approaches (CDA) can be supported by code generated from compact AutoBayes specifications. We present an overview of the AutoBayes architecture and describe, how its schema-based approach generates customized analysis algorithms, documented C/C++ code, and detailed mathematical derivations. Results of experiments with actual air traffic control data are discussed.