Technical Reports (CIS)
Title
Sound Code Generation from Hybrid System Models: Some Theoretical Results
Document Type
Technical Report
Date of this Version
January 2005
Abstract
Code generation from hybrid system models, a promising approach for producing reliable embedded systems, has been our research focus for some time now. In this report, we summarize the progress made thus far and provide directions for research towards realization of this goal.
Download
Date Posted: 28 April 2005
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-05-03.