Hybrid systems as a substrate for DSSA
Anil Nerode, Wolf Kohn · 2002
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.>