BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Measures and LMI for space launcher robust control validation
DTSTART:20120515T101500
DTEND:20120515T111500
DTSTAMP:20260414T175438Z
UID:376bd02e761fe76b2bee3fb6c88441d0cf9b4d3186e32b1f3a0460c3
CATEGORIES:Conferences - Seminars
DESCRIPTION:Pr. D. Henrion\, Laboratory for Analysis and Architecture of S
 ystems\, University of Toulouse\, France\, and Faculty of Electrical Engin
 eering\, Czech Technical University in Prague\, Czech Republic.\nWe descri
 be a new temporal verification framework for safety and robustness analysi
 s of nonlinear control laws\, our target application being a space launche
 r vehicle. Robustness analysis\, formulated as a nonconvex nonlinear optim
 ization problem on admissible trajectories corresponding to piecewise poly
 nomial dynamics\, is relaxed into a convex linear programming problem on m
 easures. This infinite-dimensional problem is then formulated as a general
 ized moment problem\, which allows for a numerical solution via a hierarch
 y of linear matrix inequality (LMI) relaxations solved by semidefinite pro
 gramming. The approach is illustrated on space launcher vehicle benchmark 
 problems\, in the presence of closed-loop nonlinearities (saturations and 
 deadzones) and axis coupling. This is joint work with Martine Ganet-Schoel
 ler (EADS Astrium Space Transportation) and Samir Bennani (European Space 
 Research and Technology Centre\, European Space Agency).
LOCATION:MEC2405 http://plan.epfl.ch/?lang=en&room=MEC2405
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR