Safety Verification and Failure Analysis of Goal-Based Hybrid Control Systems
The success of complex autonomous robotic systems depends on the quality and correctness of their fault tolerant control systems. A goal-based approach to fault tolerant control, which is modeled after a software architecture developed at the Jet Propulsion Laboratory, uses networks of goals to cont...
Internet
https://thesis.library.caltech.edu/2271/11/thesis.pdfhttps://thesis.library.caltech.edu/2271/1/01FrontMatter.pdf
https://thesis.library.caltech.edu/2271/2/02Intro.pdf
https://thesis.library.caltech.edu/2271/3/03Background.pdf
https://thesis.library.caltech.edu/2271/4/04ConvProc.pdf
https://thesis.library.caltech.edu/2271/5/05SBTInV.pdf
https://thesis.library.caltech.edu/2271/6/06FailProb.pdf
https://thesis.library.caltech.edu/2271/7/07Examples.pdf
https://thesis.library.caltech.edu/2271/8/08Conclusions.pdf
https://thesis.library.caltech.edu/2271/9/09Appendices.pdf
https://thesis.library.caltech.edu/2271/10/10Bibliography.pdf
Braman, Julia Marie Badger (2009) Safety Verification and Failure Analysis of Goal-Based Hybrid Control Systems. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/3H42-BF56. https://resolver.caltech.edu/CaltechETD:etd-05292009-111937 <https://resolver.caltech.edu/CaltechETD:etd-05292009-111937>