Lehrstuhl fu¨r Steuerungs- und RegelungstechnikTechnische Universit¨at Mu¨nchenUniv.-Prof. Dr.-Ing. (Univ. Tokio) Martin BussReachability Analysis and its Application to theSafety Assessment of Autonomous CarsMatthias AlthoffVollst¨andiger Abdruck der von der Fakult¨at fu¨r Elektrotechnik und Informationstechnikder Technischen Universit¨at Mu¨nchen zur Erlangung des akademischen Grades einesDoktor-Ingenieurs (Dr.-Ing.)genehmigten Dissertation.Vorsitzender: Univ.-Prof. Dr.-Ing. Ralph KennelPru¨fer der Dissertation:1. Univ.-Prof. Dr.-Ing. (Univ. Tokio) Martin Buss2. Univ.-Prof. Dr.-Ing. Olaf Stursberg,Universit¨at KasselDie Dissertation wurde am 22.02.2010 bei der Technischen Universit¨at Mu¨nchen einge-reicht und durch die Fakult¨at fu¨r Elektrotechnik und Informationstechnik am 07.07.2010angenommen.ForewordThisthesissummarizesmyresearchduringthelastfouryearsattheInstituteofAutomaticControl Engineering (LSR) of the Technische Universit¨at Mu¨nchen. First of all, I wouldlike tothankallofmycolleaguesforthewonderful timeweshared attheinstitute. Besidesthis thank-you, I would like to mention some people who contributed to this thesis.Clearly, this thesis would not have been possible without my Ph.D. advisor Prof. MartinBuss who offered me a Ph.D. position and showed great trust in my abilities. I wouldalso like to thank Prof. Olaf Stursberg for his valuable advice and his discussions withme, especially at the beginning of my research.