Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


Veri cation of discrete time stochastic hybrid systems: An application in autonomous robot control


Christoph Zindel

Master-Thesis FS 10 (10045)

This Thesis is part of the requirements for the Master of Science degree in Me- chanical Engineering at the Swiss Federal Institute of Technology (ETH), Zurich, Switzerland. The work was carried out at the Automatic Control Laboratory (IfA) in the summer and fall of 2010. I wish to thank my supervisors Sean Summers and Christian Conte for our inter- esting discussions and their guidance, assistance and devotion. I would also like to thank Prof. John Lygeros from the Automatic Control Labo- ratory at ETH Zurich for his enthusiasm and patronage. Furthermore, I would like to thank Marc Spirig, Institute for Dynamic Systems and Control (IDSC) at ETH Zurich, and Lukas Wunderli IfA, ETH Zurich, for their support with technical issues. A special thanks also goes to all the students and researchers at the Automatic Control Laboratory.


Type of Publication:

(12)Diploma/Master Thesis

S. Summers

No Files for download available.
% Autogenerated BibTeX entry
@PhdThesis { Xxx:2011:IFA_4104
Permanent link