JavaScript is disabled for your browser. Some features of this site may not work without it.
eCommons will become read-only at noon on May 26 for an infrastructure update. Submissions will not be accepted at this time. We anticipate that this update will be completed by June 2 at 5 p.m.
Please contact us at ecommons-admin@cornell.edu if you have questions or concerns.
HyTech : The Cornell HYbrid TECHnology Tool
Abstract
This paper is addressed to potential users of HyTech, the Cornell Hybrid
Technology Tool, an automatic tool for analyzing hybrid systems.
We review the formal technologies that have been incorporated into HyTech,
and we illustrate the use of HyTech with three nontrivial case studies.
Date Issued
1995-06Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR95-1521
Type
technical report