Now showing items 21-22 of 22

    • Verification Methods for the Divergent Runs of Clock Systems 

      Henzinger, Thomas A.; Kopke, Peter W. (Cornell University, 1995-02)
      We present a methodology for proving temporal properties of the divergent runs of reactive systems with real-valued clocks. A run diverges if time advances beyond any bound. Since the divergent runs of a system may ...
    • What's Decidable About Hybrid Automata? 

      Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin (Cornell University, 1995-09)
      Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving ...