Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle
Tichakorn Wongpiromsarn · 2010
I owe my deepest gratitude to my advisor, Richard Murray, for all the support, guidance and encouragement he has provided throughout my PhD studies. Richard has been much more than a thesis advisor for me. He has given me the freedom to pursue my own interests. In the meantime, he has always been available to give valuable insights and advice. His enthusiasm and dedicated efforts have shaped my attitude toward research and work. I am also grateful for the opportunity to work on the DARPA Urban Challenge, which turned out to be not only an invaluable experience but also the main motivation of this work. It has been a great pleasure and an honor for me to have Joel Burdick, Mani Chandy and Gerard Holzmann on my thesis committee. A significant portion of this work has been inspired by the discussions with them. As my first-year advisor, Joel also helped me through what is believed to be the toughest year of the PhD program and continued to provide support and advice throughout my PhD studies. I enjoy working with my collaborators, Andy Lamperski, Sayan Mitra and Ufuk Topcu. I would like to thank Mitch Ingham and Bob Rasmussen for their tremendous help and advice regarding the mission management subsystem of Alice and the canonical software