Adapting ASPEN for Orbital Express

Declarative modeling brings efficiency to encoded procedures and allows for guarantees on resource usage and time usage.

By studying the Orbital Express mission, modeling the spacecraft and scenarios, and testing the system, a technique has been developed that uses recursive decomposition to represent procedural actions declaratively, schemalevel uncertainty reasoning to make uncertainty reasoning tractable, and lightweight, natural language processing to automatically parse procedures to produce declarative models.