Architecture, language, and non-compositional constraints
This paper offers an informal discussion of non-compositional constraints in hopes of making the concept more familiar and accessible.
software design architecture non-compositional con↗
Engineering topics
Gat, E.
Publications and source records attributed to Gat, E..
Integrating Model-based Artificial Intelligence Planning with Procedural Elaboration for Onboard Spacecraft Autonomy
This paper describes the integration of a model-based planner into a procedural architecture.
planning scheduling architecture↗
The MDS autonomous control architecture
We describe the autonomous control architecture for the JPL Mission Data System (MDS). MDS is a comprehensive new software infrastructure for supporting unmanned space exploration. The autonomous control architecture is one component of MDS designed to enable autonomous operations.
MDS autonomous control unmanned space exploration↗
Lisp as an Alternative to Java
In a recent study, Prechelt compared the relative performance of Java and C++ in terms of execution time and memory utilization. Unlike many benchmark studies, Prechelt compared mulitple implementations of the same task by multiple programmers in order to control for the effects of difference in programmer skill.
Lisp Java↗
Hard-real-time resource management for autonomous spacecraft
This paper describes tickets, a computational mechanism for hard-real-time autonomous resource management. Autonomous spacecraftcontrol can be considered abstractly as a computational process whose outputs are spacecraft commands.
Computational mechism autonomous spacecraft↗
Non-Linear Sequencing and Cognizant Failure
In this paper we describe a new approach to spacecraft sequencing which we call nonlinear or conditional sequencing.
Spacecraft↗
Smart Executives for Autonomous Spacecraft
In this article we explore the design of an executive for an autonomous spacecraft. The executive is responsible for translating high-level commands, whether they come from the ground or from an on-board planner, into the low-level commands understood directly by the spacecraft hardware.
control system autonomous spacecraft planning func↗
Robot Navigation by Conditional Sequencing
We investigate the application of conditional sequencing to robot navigation.
robot navigation conditional sequencer simple sens↗