published journal article

Aircraft Navigation in GNSS-Denied Environments via Radio SLAM With Terrestrial Signals of Opportunity

IEEE Transactions on Intelligent Transportation Systems

Publication Date

October 1, 2024

Author(s)

Zaher Kassas, Nadim Khairallah, Joe Khalife, Chiawei Lee, Juan Jurado, Steven Wachtel, Jacob Duede, Zachary Hoeffner, Thomas Hulsey, Rachel Quirarte, RunXuan Tay

Abstract

A radio simultaneous localization and mapping (radio SLAM) framework enabling aircraft navigation with terrestrial signals of opportunity (SOPs) is presented and experimentally validated. The framework does not assume availability of global navigation satellite system (GNSS) signals. Instead, it assumes the aircraft to have an initial estimate of its own states, after which it navigates by exploiting pseudorange measurements extracted from terrestrial SOPs, while estimating the states of the aircraft simultaneously with the SOPs’ states. Two radio SLAM frameworks are presented: (i) tightly-coupled SOP-aided inertial navigation system (INS) and (ii) utilizing a Wiener process acceleration (WPA) dynamical model for the aircraft’s dynamics instead of the INS. Results from four flight runs on a US Air Force C-12 aircraft, equipped with an altimeter and an industrial-grade inertial measurement unit (IMU), are presented. The flight runs took place over semi-urban (SU), urban (U), and rural (R) regions in California, USA; while exercising different aircraft maneuvers: holding (H), descending (D), and grid (G). Different a priori conditions of the SOPs’ positions were studied: from all unknown, to some known, to all known. In all cases, the SOPs’ clock error states (bias and drift) were unknown and estimated alongside the aircraft’s states. The results consistently demonstrated the promise of real-world aircraft navigation via radio SLAM, yielding bounded errors along trajectories of tens of kilometers. The three-dimensional (3–D) position root-mean squared errors (RMSEs) are summarized next, where N denotes the number of SOPs exploited along the trajectory: (1) SU, H, INS-SOP, N=6
 , 56.7 km in 8.5 minutes, maximum altitude of 5,577 ft: 43.27 m with all unknown and 10.14 m with all known; (2) U, H, INS-SOP, N=6
 , 72.7 km in 12.9 minutes, maximum altitude of 5,906 ft: 89.82 m with all unknown and 16.97 m with all known; (3) SU, D, WPA-SOP, N=18
 , 111.9 km in 20.0 minutes, maximum altitude of 6,234 ft: 36.42 m with all unknown and 18.62 m with all known; and (4) R, G, WPA-SOP, N=32
 , 78.4 km in 13.8 minutes, maximum altitude of 7,546 ft: 67.01 m with all unknown and 25.65 m with all known.

Suggested Citation
Zaher M. Kassas, Nadim Khairallah, Joe J. Khalife, Chiawei Lee, Juan Jurado, Steven Wachtel, Jacob Duede, Zachary Hoeffner, Thomas Hulsey, Rachel Quirarte and RunXuan Tay (2024) “Aircraft Navigation in GNSS-Denied Environments via Radio SLAM With Terrestrial Signals of Opportunity”, IEEE Transactions on Intelligent Transportation Systems, 25(10), pp. 14164–14182. Available at: 10.1109/TITS.2024.3405908.

Phd Dissertation

EPITAXIS: A system for syntactic and semantic software queries using deductive retrieval and symbolic execution

Publication Date

January 1, 2010

Author(s)

Areas of Expertise

Abstract

Modern computer hardware (multi-core, multi gigahertz processors with gigabytes of RAM and terabytes of disk) along with IDEs allows programmers to build computer programs which are bigger and more complex than they can understand or keep in their working memories. Additionally, the problems these programs are designed to model are ever more complicated. Consequently, programs are full of inconsistencies, mistakes, and incompleteness’s. These problems are difficult to detect, difficult to locate, and difficult to correct. Often a change is made by a programmer to fix a problem for which understanding all the repercussions of the change is difficult. Consequently, further bugs are introduced into the code base. Because of the pervasiveness of software in society and the potential severity of the consequences of bugs, software developers need ever better tools to help them understand, navigate, and follow the consequences of their development and maintenance activities. This dissertation presents a novel framework based on tree/graph searching and parsing, deductive retrieval, dynamic analysis, symbolic execution, aspect oriented programming, and an open interpreter to allow a software developer to navigate, locate features, find bugs, and abstract information in software. The system is designed to have a fast modify-test cycle such that the programmer can search and test the software as it is being edited without time consuming recompilation, reinstrumenting, or database repopulating each time an edit is made to the code base. The system is language independent, requiring only files to specify the language grammar, control flow graph transformation, and execution semantics. In addition, because of the flexibility and programmability of the system it is an excellent environment to perform further research on program analysis techniques such as dynamic analysis, symbolic execution and abstract interpretation. A prototype system has been built along with data files for the C programming language which demonstrates the feasibility of the system and its ability to scale to “modern-sized” programs.

Suggested Citation
James Benvenuto (2010) EPITAXIS: A system for syntactic and semantic software queries using deductive retrieval and symbolic execution. Ph.D.. University of California, Irvine. Available at: https://uci.primo.exlibrisgroup.com/permalink/01CDL_IRV_INST/17uq3m8/alma991007560609704701 (Accessed: October 13, 2023).

research report

CARMEN Project 5: Resilience and Validation of GNSS PNT Solutions

Publication Date

November 20, 2023

Author(s)

Todd Humphreys, Qi Alfred Chen, Umit Ozguner, Charles Toth

Areas of Expertise

Suggested Citation
Todd Humphreys, Qi Alfred Chen, Umit Ozguner and Charles Toth (2023) CARMEN Project 5: Resilience and Validation of GNSS PNT Solutions. Final Report. CARMEN UTC. Available at: https://zenodo.org/doi/10.5281/zenodo.10246488 (Accessed: October 10, 2025).