Application of Model-Based Technology Systems for Autonomous Systems
Daniel E. Cooke, Michael Gelfond, Nelson Rushton, Howard Hu · Infotech@Aerospace · 2005
We are working on NASA-relevant declarative and procedural languages to help meet the challenges posed by future long distance and duration missions. These languages enable the rapid development and deployment of dependable onboard and ground-based deliberative and computational systems. In this paper, we present an overview of how we are applying declarative languages for deliberation, numerical computations, and reactive control.