Scheduled System Maintenance on May 29th, 2015:
IEEE Xplore will be upgraded between 11:00 AM and 10:00 PM EDT. During this time there may be intermittent impact on performance. We apologize for any inconvenience.
By Topic

Hybrid systems as a substrate for DSSA

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Nerode, A. ; Math. Sci. Inst., Cornell Univ., Ithaca, NY, USA ; Kohn, W.

DSSA entails severe modelling, simulation, and validation problems because of the diversity of interacting physical and logical systems which have to be represented. Development of software specifications and development of physical system specifications for what are often interacting reactive systems cannot be separated. Software writers and engineers wish this were not so, but it is. Neither can hand the other specifications that work, they have to work together. The theory of hybrid systems and hybrid languages is being developed to bridge this gap at the interface of software engineering and the rest of science and engineering

Published in:

Computer-Aided Control System Design, 1994. Proceedings., IEEE/IFAC Joint Symposium on

Date of Conference:

7-9 Mar 1994