Skip to main content
The AIG web pages make heavy use of cascading style sheet features for formatting. You may still browse the text of the site, but for best results, please use a CSS enabled browser. Netscape 6 and Mozilla 5 are good. IE 5 will do.

JPL Header

Navigation Sidebar

Main Content



Verification Procedure for Generalized Goal-Based Programs ABSTRACT - Safety verification of fault-tolerant control systems is essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion L ... J. Braman, R. Murray, M. Ingham AIAA Infotech@Aerospace Conference. Rohnert Park, CA. May 2007 . + PDF CL#07-1653
Safety Verification of a Fault Tolerant Reconfigurable Autonomous Goal-Based Robotic Control System ABSTRACT - Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet ... J. Braman, R. Murray, D. Wagner IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). San Diego, CA. Oct/Nov 2007 . + PDF CL#07-3644
Project Golden Gate: Toward Real Time Java in Space Missions ABSTRACT - Planetary science missions, such as those that explore Mars and Saturn, employ a variety of spacecraft such as orbiters, landers, probes, and rovers. Each of these kinds of spacecraft depend on embed ... D. Dvorak, G. Bollella, T. Canham, V. Carson, V. Champlin, B. Giovannoni, M. Indictor, K. Meyer, A. Murray, K. Reinholtz IEEE Symposium on Object-Oriented Real Time Distributed Computing (ISORC'04). Vienna, Austria. May 2004 . + PDF CL#04-0051


+ Complete Bibliography
+ Featured Publications
+ MDS TSPA Docushare Repository

By Year

+ 2010
+ 2009
+ 2008
+ 2007
+ 2006
+ 2005
+ 2004
+ 2003
+ 2002
+ 2001
+ 2000

By Author

+ Choi
+ Barrett
+ Bennett
+ Dvorak
+ Horvath
+ Ingham
+ Lee
+ Knight
+ Kordon
+ Mishkin
+ Morris
+ Murray
+ Rasmussen
+ Reeves
+ Reinholtz
+ Starbird
+ Wagner
+ Weiss
+ Wolgast

Copyright Notice

This material is provided for your personal use only and may not be retransmitted or redistributed without permission in writing from the paper's publisher and/or author.

You may not upload this material to any public server, on-line service, network, or bulletin board without prior written permission from the publisher and/or author. You may not make copies for any commercial purpose.

This material is not public domain. Reproduction or storage of materials retrieved from this web site are subject to the U.S. Copyright Act of 1976, Title 17 U.S.C.