External Links

    Journal: Formal Methods in System Design

    Volume 32, Issue 1

    1 -- 0Rajeev Alur, George J. Pappas. Introduction
    3 -- 23Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen. Optimal infinite scheduling for multi-priced timed automata
    25 -- 55Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. Constructing invariants for hybrid systems
    57 -- 83Ashish Tiwari. Abstractions for hybrid systems
    runs on