Murray
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 ...
AIAA Infotech@Aerospace Conference.
Rohnert Park, CA.
May
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 ...
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
San Diego, CA.
Oct/Nov
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 ...
IEEE Symposium on Object-Oriented Real Time Distributed Computing (ISORC'04).
Vienna, Austria.
May
Publications
By Year
By Author
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.
