Assemblée Générale du Département Modèles et Algorithmes Déterministes

Dans cette présentation, nous nous intéressons aux systèmes monotones et en particulier à une application au contrôle de température dans les bâtiments. Dans la première partie, nous présentons un critère pour l'invariance contrôlée robuste : la capacité à maintenir le système dans un intervalle quelques soient les perturbations. Nous considérons ensuite des méthodes symboliques pour le contrôle : après une discrétisation en "symboles" de l'espace d'état, nous obtenons une abstraction du système sur laquelle on applique un contrôleur discret.