Peter W. Kopke

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

Publications

Thomas A. Henzinger, Peter W. Kopke
Discrete-Time Control for Rectangular Hybrid Automata. Theor. Comput. Sci. 221 (1-2) (1999)
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
What's Decidable about Hybrid Automata? J. Comput. Syst. Sci. 57 (1) (1998)
Thomas A. Henzinger, Peter W. Kopke
Discrete-Time Control for Rectangular Hybrid Automata. ICALP (1997)
Thomas A. Henzinger, Peter W. Kopke
State Equivalences for Rectangular Hybrid Automata. CONCUR (1996)
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
What's decidable about hybrid automata? STOC (1995)
Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi
The Expressive Power of Clocks. ICALP (1995)
Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke
Computing Simulations on Finite and Infinite Graphs. FOCS (1995)
Thomas A. Henzinger, Peter W. Kopke
Verification Methods for the Divergent Runs of Clock Systems. FTRTFT (1994)