Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Dr. Herman Bruyninckx, Katholieke Universiteit Leuven Department
of Mechanical Engineering, Belgien:
Design and Development of Large-Scale Robotic Software Systems
Beginn: 23.04.2009, 10:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
Galeriegeschoss, Raum G04
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-04-23-bruyninckx.html
Kontakt: Prof. Dr.-Ing. F. M. Wahl
This talk presents a modern view on robot control software systems, trying
to find a minimal set of orthogonal software engineering concepts that can
cover all aspects of such complex, evolving systems. These concepts are:
the Coordination, Configuration, Computation and Communication concerns;
three fundamental classes of system complexity; the complementarities
of the Object, Component, and Service entities; four fundamental API
levels; guidelines for Compositionality; and relevant concepts from
"Model-Driven Engineering".
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Dutré, Kath. Universität Leuven, Belgien:
Some thoughts on perceptual realism in computer graphics
Beginn: 20.04.2009, 10:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-04-20-dutre.html
Kontakt: Prof. Dr.-Ing. Marcus A. Magnor
One of our research goals is to construct a realism scale, that allows
the user to choose the desired level of visual realism in the final
image. The higher the realism, the closer the image will appear to
look like a photograph. If the user selects a lower realism-level,
the gradual decline in realism should appear in the image as smoothly
as possible. Preferably, image components that do not contribute to
the realistic appearance of the image, should be eliminated from the
computations first. Such a realism scale has not yet been constructed
in computergraphics.
This talk will focus on some of the recent efforts we have pursued
in order to construct such a realism scale. Although we are still far
away from this goal, we feel that some of the underlying mechanisms and
thoughts are useful enough to warrant discussion, and hopefully provide
some additional discussion.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Dr. Martin Fränzle, Carl von Ossietzky Universität, FK II,
Dep. Informatik, Abt. Hybride Systeme, Oldenburg:
Arithmetisches Constraintlösen in der automatischen Analyse hybrider
Systeme
Beginn: 20.04.2009, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-04-20-fraenzle.html
Kontakt: Prof. Dr. Ursula Goltz
Hybrid diskret-kontinuierliche Systeme, deren dynamisches Verhalten
durch Überlagerung kontinuierlicher Teilverhalten mit diskreten
Entscheidungsprozessen entsteht, sind ein adäquates Modell zur
Beschreibung einer Vielzahl natürlicher wie technischer dynamischer
Systeme. Sie bieten sich nicht nur zur detaillierten Beschreibung von
in physikalische Umgebungen eingebetteten Hardware- und Softwaresystemen
-etwa Fahrdynamikregelungen im Auto- an, sondern auch als Abstraktionen
der Dynamik rein kontinuierlicher Systeme mit extrem komplexer oder
extrem unterschiedlich schneller Komponentendynamik. Der derzeitige
Einsatzbereich hybrider Modelle umfasst deshalb neben den ursprünglichen
Anwendungen in der Regelungstechnik und technischen Informatik, wo die
Analyse des rückgekoppelten Verhaltens ganzer Ensembles eingebetteter
Computersysteme untereinander und mit ihrer physikalischen Umgebung im
Vordergrund steht, inzwischen auch die bioinformatische Modellbildung,
beispielsweise für genregulatorische Netzwerke.
Aufgrund ihrer Struktureigenschaften stellen hybride Systeme eine
besondere Herausforderung in Hinblick auf ihre Analysierbarkeit
dar. In dem Vortrag werden wir uns symbolischen Verfahren der
Zustandsraumexploration hybrider Systeme widmen, bei denen Analyseprobleme
auf prädikative Kodierungen und geeignete Constraintlöser
zurückgeführt werden. Nach einer kurzen Einführung in hybride Systeme
werden wir hierzu verschiedene arithmetische Constraintlöseverfahren
betrachten, welche den Bereich von nichtlinearen zeitdiskreten über
zeitkontinuierliche bis hin zu probabilistischen hybriden Systemen
abdecken.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Dutré, Kath. Universität Leuven, Belgien:
Some thoughts on perceptual realism in computer graphics
Beginn: 20.04.2009, 10:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2009-04-20-dutre.html
Kontakt: Prof. Dr.-Ing. Marcus A. Magnor
One of our research goals is to construct a realism scale, that allows
the user to choose the desired level of visual realism in the final
image. The higher the realism, the closer the image will appear to
look like a photograph. If the user selects a lower realism-level,
the gradual decline in realism should appear in the image as smoothly
as possible. Preferably, image components that do not contribute to
the realistic appearance of the image, should be eliminated from the
computations first. Such a realism scale has not yet been constructed
in computergraphics.
This talk will focus on some of the recent efforts we have pursued
in order to construct such a realism scale. Although we are still far
away from this goal, we feel that some of the underlying mechanisms and
thoughts are useful enough to warrant discussion, and hopefully provide
some additional discussion.
