User: Guest  Login
Original title:
Systematic Development of Hybrid Systems 
Year:
2001 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, M. (Univ.-Prof. Dr.) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Färber, G. (Univ.-Prof. Dr.) 
Format:
Text 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
hybrid systems; embedded systems; mixed discrete-continuous systems; specification; formal methods; requirements engrineering; refinement; discretization; stability 
Translated keywords:
Hybride Systeme; Eingebettete Systeme; gemischt diskret-kontinuierliche Systeme; Spezifikation; Formale Methoden; Requirements Engineering; Verfeinerung; Diskretisierung; Stabilität 
TUM classification:
DAT 250d; DAT 240d 
Abstract:
Hybrid embedded systems are systems that are characterized by involving discrete as well as continuous dynamics, such as digital software interacting with an analog environment. In the design of such systems, different time models and techniques from different disciplines---mainly computer science and control theory---are usually employed. An isolated consideration of the discrete and continuous parts of a hybrid system already at the beginning of the development process together with imprecisel...    »
 
Translated abstract:
Hybride eingebettete Systeme sind durch die Mischung von diskreter und kontinuierlicher Dynamik gekennzeichnet, wie sie etwa bei digitaler Software in Wechselwirkung mit einer analogen Umgebung vorkommt. Bei dem Entwurf solcher Systeme werden unterschiedliche Zeitmodelle und Techniken aus unterschiedlichen Disziplinen, vor allem aus der Informatik und der Regelungstechnik, eingesetzt. Wenn die diskreten und kontinuierlichen Anteile eines hybriden Systems bereits zu Beginn des Entwicklungsprozess...    »
 
Publication :
Universitätsbibliothek der TU München 
Oral examination:
13.11.2001 
Controlled terms:
Hybrides System Eingebettetes System Entwurf 
File size:
1895877 bytes 
Pages:
282 
Last change:
03.07.2007