Grailing Jones

Papers

Total Citations

H-Index

About

Grailing Jones is a leading figure in autonomous space systems and spacecraft software verification, whose work has directly shaped the reliability and capability of modern orbital missions. His research centers on two critical challenges: intelligent mission planning for on-orbit servicing and rigorous model-based verification of embedded flight software. Jones’s most impactful contribution is his seminal 2008 paper on the DARPA Orbital Express mission, which detailed the automated and adaptive planning algorithms that enabled the first-ever autonomous rendezvous, fluid transfer of hydrazine propellant, and robotic arm transfer of Orbital Replacement Units. This work, with 18 citations, laid the foundation for today’s satellite servicing and debris removal technologies. Complementing this, his 2009 study on using the SPIN model checker for spacecraft software verification introduced a formal, systematic alternative to ad-hoc testing, demonstrating how to achieve higher assurance for deep-space science missions. By bridging autonomous operations with provably correct software, Jones has helped move the industry from demonstration to dependable, real-world deployment, making him a key architect of next-generation space infrastructure.