eCommons@Cornell: Browsing eCommons

Browsing by Author Kopke, Peter W.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 2 to 7 of 7

Issue Date	Title	Author(s)
Mar-1995	Hybrid Automata with Finite Mutual Simulations	Henzinger, Thomas A.; Kopke, Peter W.
Jul-1996	State Equivalences for Rectangular Hybrid Automata	Henzinger, Thomas A.; Kopke, Peter W.
Aug-1996	The Theory of Rectangular Hybrid Automata	Kopke, Peter W.
Feb-1995	Undecidability Results for Hybrid Systems	Henzinger, Thomas A.; Kopke, Peter W.
Feb-1995	Verification Methods for the Divergent Runs of Clock Systems	Henzinger, Thomas A.; Kopke, Peter W.
Sep-1995	What's Decidable About Hybrid Automata?	Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin

Showing results 2 to 7 of 7