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 ...
    • Symbolic Model Checking for Real-Time Systems 

      Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio (Cornell University, 1994-01)
      We describe finite-state programs over real-numbered time in a guarded-command language with real-valued clocks or, equivalently, as finite automata with real-valued clocks. Model checking answers the question which ...