Now showing items 1-2 of 2

    • The Algorithmic Analysis of Hybrid Systems 

      Alur, Rajeev; Courcoubetis, Costas; Halbwachs, Nicolas; Henzinger, Thomas A.; Ho, Pei-Hsin; Nicollin, Xavier; Olivero, Alfredo; Sifakis, Joseph; Yovine, Sergio (Cornell University, 1994-10)
      We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata ...
    • Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems 

      Alur, Rajeev; Courcoubetis, Costas; Henzinger, Thomas A.; Ho, Pei-Hsin (Cornell University, 1993-05)
      We introduce the framework of hybrid automata as a model and specification language for hybrid systems. Hybrid automata can be viewed as a generalization of timed automata, in which the behavior of variables is governed ...