Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Thomas Stauner; Bernhard Rumpe; Peter Scholz 
Titel:
Hybrid System Model 
Abstract:
In this paper we provide a mathematical characterization of systems, that contain analog components, as well as strongly time depended control components and rather time independent information processing components. The presented system model is based on the notion of streams and stream processing functions. It is used to formalize and integrate the semantics of different description techniques that occur in disciplines like computer science, economics, electrical and electronical engineering,...    »
 
Stichworte:
system model; hybrid systems; streams; formal methods 
Jahr:
1999 
Jahr / Monat:
1999-01-01 00:00:00 
Seiten/Umfang:
61