Safety verification and failure analysis of goal-based hybrid control systems
Julia M. B. Braman · 2009
I would like to thank my advisor, Professor Richard Murray, for his support and encouragement. Richard is a great teacher and is extremely hard-working, accommodating, and enthusiastic about what he does, and all those qualities help make him a wonderful advisor. I would like to thank Professors Jim Beck, Joel Burdick, and Mani Chandy for serving on my thesis committee. Having taken courses from all, I truly respect the enthusiasm each shows for his field. There are several people that I must thank from the Jet Propulsion Laboratory. First, Mitch Ingham, Dave Wagner, and Kenny Meyer have been great resources, Mitch for all the technical discussions and brainstorming sessions, Dave for the tremendous amount of help in setting up and becoming proficient with MDS, and Kenny for keeping me connected with the MDS group at JPL. Bob Rasmussen and Dan Dvorak deserve special mention for their invaluable instruction on the intricacies of State Analysis and MDS. Many others on the MDS team have given feedback on the many presentations I have given, and I am grateful for their time and insight. Finally, some other JPL folks were kind enough to discuss ideas with me, most notably Alberto Elfes for the Titan aerobot discussions, and Gerard Holzmann and Rajeev Joshi for the Spin model checker discussions.