Browse wiki
From MurrayWiki
Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty |
Abstract |
Fault tolerance and safety verification of … Fault tolerance and safety verification of control systems that have state variable 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 certain classes of verifiable goal networks due to state estimation uncertainty is presented. A verifiable example task is presented and the failure probability of the control program based on
estimation uncertainty is found. based on
estimation uncertainty is found. +
|
---|---|
Authors | Julia M B Braman, Richard M Murray + |
ID | 2007n + |
Source | American Control Conference + |
Tag | bm08-acc + |
Title | Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty + |
Type | Preprint + |
Categories | Papers |
Modification date This property is a special property in this wiki.
|
15 May 2016 06:17:14 + |
URL This property is a special property in this wiki.
|
http://www.cds.caltech.edu/~murray/preprints/bm08-acc.pdf + |
hide properties that link here |
Safety Verification of Fault Tolerant Goal-based Control Programs with Estimation Uncertainty + | Title |
---|