Browse wiki

From MurrayWiki
Jump to: navigation, search
Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty
Abstract Fault tolerance and safety verification of …
Fault tolerance and safety verification of control systems that have state estimation uncertainty are essential for the success of autonomous robotic systems. A software control architecture called Mission Data System, developed at the Jet Propulsion Laboratory, uses goal networks as the control program for autonomous systems. Certain types of goal networks can be converted into linear hybrid systems and verified for safety using existing symbolic model checking software. A process for calculating the probability of failure of some verifiable goal networks due to state estimation uncertainty is presented. Extensions of this procedure to include other types of uncertainties are discussed, and example problems are presented to illustrate these procedures.
presented to illustrate these procedures.  +
Authors Julia M B Braman, Richard M Murray  +
ID 2008f  +
Source Conference on Decision and Control, 2008 (submitted)  +
Tag bm08-cdc  +
Title Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty +
Type Preprint  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:16:58  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/bm08-cdc_s.pdf  +
hide properties that link here 
Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty + Title
 

 

Enter the name of the page to start browsing from.