Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Lehrstuhl Informatik 2 Zeit: Mittwoch, 16.04.2008, 11.00 Uhr

Summary: Lehrstuhl Informatik 2
Zeit: Mittwoch, 16.04.2008, 11.00 Uhr
Ort: Ahornstr. 55, E1, Raum 4017
(Seminarraum Informatik 1)
Referent: Frau Dr. Manuela L. Bujorianu,
Universität Twente, NL
Titel: Emergent Models in the Theory of Hybrid Systems
Using system dimensions, a term coined from aspect engineering, hybrid systems (HS) can be defined
as a mixture of two dimensions: mixture of continuous and discrete dynamics.01 In the modern re-
search for HS, there are many other dimensions that are considered simultaneously: concurrency,
probability, mobility, hierarchical control, architectural views (UML), and so on. This rich dimension
integration is necessary for accurately modeling phenomena in technology, biology, physical environ-
ment and society. The formidable modeling power achieved in this way pays back in complexity of
formal verification. In this talk, the author research on finding a balance between modeling and verifi-
cation in the area of hybrid systems will be presented. In a basic classification of hybrid systems, pro-
posed by the author, HS split in two classes: Universal models: The model is obtained through alge-
braic operations from formal models of each dimension. Emergent models: The model results by con-
sidering emerging properties resulted from the interaction between different system dimensions.


Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)


Collections: Computer Technologies and Information Sciences