Embedding Temporal Constraints for Coordinated Execution in Habitat Automation
Future NASA plans call for long-duration deep space
missions with human crews. Because of light-time delay and
other considerations, increased autonomy will be needed.
This will necessitate integration of tools in such areas as
anomaly detection, diagnosis, planning, and execution. In
this paper we investigate an …