Participant : Vincent Blondel
En collaboration avec J. Tsitsiklis (MIT, Cambridge, USA)
De nombreux problèmes de contrôle peuvent se résoudre par une procédure d'élimination des quantificateurs bien connue en géométrie algébrique réelle (élimination de Tarski-Seidenberg). Cette méthode est toutefois inefficace en pratique et le problème se pose de savoir quels sont les problèmes de contrôle linéaire pour lesquels une solution algorithmique efficace existe. Deux articles, [37,44], présentent des éléments de réponse à ces problèmes.