1. Properties of Hybrid Systems—A Computer Science Perspective

   • Thomas Stauner

   OriginalPaper Pages: 223 - 259

2. Polyhedral Flows in Hybrid Automata

   • Rajeev Alur
   • Sampath Kannan
   • Salvatore La Torre

   OriginalPaper Pages: 261 - 280

3. Forward Analysis of Updatable Timed Automata

   • Patricia Bouyer

   OriginalPaper Pages: 281 - 320