External Links

    Journal: Formal Methods in System Design

    Volume 24, Issue 3

    223 -- 259Thomas Stauner. Properties of Hybrid Systems-A Computer Science Perspective
    261 -- 280Rajeev Alur, Sampath Kannan, Salvatore La Torre. Polyhedral Flows in Hybrid Automata
    281 -- 320Patricia Bouyer. Forward Analysis of Updatable Timed Automata
    runs on