| Popis: |
This paper presents an execution engine and the associated execution language for spacecraft operations. The software tool highlighted is the Universal Executive execution system and the language is PLEXIL. PLEXIL is a lightweight, well-defined, predictable, and verifiable language capable of expressing spacecraft control concepts used by human operators and many high-level automated planners. The Universal Executive is a lightweight execution system that can autonomously execute PLEXIL plans on spacecraft, robots, instruments, and habitats. The Universal Executive and PLEXIL allow variable levels of autonomy and co-ordination with various other spacecraft systems, and human operators. |
