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:
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:
Derek Bradley, University of British Columbia, Dep. of Computer Science:
Multi-view Reconstruction of Detailed Garment Motion
Beginn: 24.03.2009, 13: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-03-24-bradley.html
Kontakt: Prof. Dr.-Ing. Marcus A. Magnor
A lot of research has recently focused on the problem of capturing
the geometry and motion of garments. Such work usually relies on
special markers printed on the fabric to establish temporally coherent
correspondences between points on the garment's surface at different
times. Unfortunately, this approach is tedious and prevents the capture
of off-the-shelf clothing made from interesting fabrics.
In this talk I will summarize recent advances in detailed, marker-free
garment capture resulting from our research at the University of British
Columbia. I will first discuss our physical acquisition setup, including
camera synchronization and rolling shutter compensation using stroboscopic
illumination. I will then describe our garment capture approach, where
we establish temporally coherent parameterizations between incomplete
geometries that we extract at each timestep with a multiview stereo
algorithm. Finally, I will discuss a method for reintroducing fine
folds into the captured models using data-driven dynamic wrinkling. As
a result of this work, we are able to capture the geometry and motion
of unpatterned, off-the-shelf garments made from a range of different
fabrics, with realistic dynamic folds.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Derek Bradley, University of British Columbia, Dep. of Computer Science:
Multi-view Reconstruction of Detailed Garment Motion
Beginn: 24.03.2009, 13: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-03-24-bradley.html
Kontakt: Prof. Dr.-Ing. Marcus A. Magnor
A lot of research has recently focused on the problem of capturing
the geometry and motion of garments. Such work usually relies on
special markers printed on the fabric to establish temporally coherent
correspondences between points on the garment's surface at different
times. Unfortunately, this approach is tedious and prevents the capture
of off-the-shelf clothing made from interesting fabrics.
In this talk I will summarize recent advances in detailed, marker-free
garment capture resulting from our research at the University of British
Columbia. I will first discuss our physical acquisition setup, including
camera synchronization and rolling shutter compensation using stroboscopic
illumination. I will then describe our garment capture approach, where
we establish temporally coherent parameterizations between incomplete
geometries that we extract at each timestep with a multiview stereo
algorithm. Finally, I will discuss a method for reintroducing fine
folds into the captured models using data-driven dynamic wrinkling. As
a result of this work, we are able to capture the geometry and motion
of unpatterned, off-the-shelf garments made from a range of different
fabrics, with realistic dynamic folds.
