|
eCommons@Cornell >
Browsing by Author Kopke, Peter W.
Showing results 1 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | Apr-1995 | The Expressive Power of Clocks | Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard |
| 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 1 to 7 of 7
|
