Remote Agent Experiment Validation Report
Explore the source record for details and available documents.
remote agent experiment Deep Space 1 DS1↗
Engineering topics
Kurien, J.
Publications and source records attributed to Kurien, J..
Remote Agent Experiment Validation Report
Explore the source record for details and available documents.
Remote Agent Experiment Deep Space 1 DS1↗
Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment
In May 1999 state-of-the-art autonomy technology was allowed to assume command and control of the Deep Space One spacecraft during the Remote Agent Experiment.
Autonomy↗
Spacecraft Autonomy Flight Experience: The DS1 Remote Agent Experiment
In May 1999 state-of-the-art autonomy technology was allowed to assume command and control of the Deep Space One spacecraft during the Remote Agent Experiment.
Autonomy↗
Modeling with Livingstone
MPL is the language with which a modeler describes a system to be diagnosed or controlled by Livingstone. MPL is used to specify what are the components of the system, how they are interconnected, and how they behave both nominally and when failed. Component behavioral models used by Livingstone are described by a set of propositional, well-formed formula (wff). An understanding of well-formed formula, primitive component types specified through defcomponent, and device structure specified by defmodule, is essential to understanding of MPL, This document describes: welI-formed formula (wff): The basis for describing the behavior of a component in a system defvalues: Specifies the domain (legal values) of a variable defcomponent: Defines the modes, behaviors and mode transitions for primitive components deftnodule: Defines composite devices, consisting of interconnected components defrelation: A macro mechanism for expanding a complex wff according to the value of an argument forall: An iteration construct used to expand a wff or relation on a set of arguments defsymbol-expansion: A mechanism for naming a collection of symbols (eg the name of all valves in the system)
Kurien, J.↗