Ulrich Loup

Email address

loup at domains cs.rwth-aachen.de or informatik.rwth-aachen.de.

Phone and fax

+49 241 80 21243 and +49 241 80 22243.

Postal address

Ulrich Loup

Lehrstuhl für Informatik 2

Hybrid Systems Group

RWTH Aachen

52056 Aachen

Germany

Visiting information

Room 2U08

Ahornstraße 55

first-order theory of the real ordered field (real algebra) and related first- and monadic second-order theories as well as respective (un)decidability results
smt-solving for real algebra
new approaches for non-linear predictive control using computer algebra tools
complexity-theoretic aspects regarding decision procedures for real algebra
bounded model-checking for hybrid systems with polynomial constraints

Controller Synthesis for Hybrid Systems using SMT Solving, gemeinsamer Workshop der Informatik-Gradiuertenkollegs und Forschungskollegs, Dagstuhl, 2009.

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)