NASA Jet Propulsion Laboratory California Institute of Technology Follow this link to skip to the main content

BEACON eSpace at Jet Propulsion Laboratory >
JPL Technical Report Server >
JPL TRS 1992+ >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2014/41562

Title: Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system
Authors: Braman, Julia M. B.
Murray, Richard M
Wagner, David A.
Keywords: goal network
verification
goal based control
Issue Date: 29-Oct-2007
Publisher: Pasadena, CA : Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2007.
Citation: IEEE/RSJ International Conference on Intelligent Robots adn Systems (IROS), San Diego, CA, Oct. 29, 2007
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 Propulsion Laboratory, takes a goal-based control approach. In this paper, a method for converting goal network control programs into linear hybrid systems is developed. The linear hybrid system can then be verified for safety in the presence of failures using existing symbolic model checkers. An example task is simulated in MDS and successfully verified using HyTech, a symbolic model checking software for linear hybrid systems.
URI: http://hdl.handle.net/2014/41562
Appears in Collections:JPL TRS 1992+

Files in This Item:

File Description SizeFormat
07-3644.pdf509.82 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, but are furnished with U.S. government purpose use rights.

 

Privacy/Copyright Image Policy Beacon Home Contact Us
NASA Home Page + Div 27
+ JPL Space
Site last updated on December 5, 2014.
If you have any comments or suggestions for this web site, please e-mail Robert Powers.