Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings


24/09/2015 - 10:00 Mr Pierre-Jean Meyer Amphithéâtre - Maison Jean Kuntzmann

Mots clé :
  • robust controlled invariance
  • abstraction-based synthesis
  • compositional synthesis
  • intelligent building
This thesis provides new control strategies that deal with the heterogeneous and nonlinear dynamics describing the temperature regulation in buildings to obtain a tradeoff between comfort and energy efficiency. We thus focus on the robust control of cooperative systems with bounded disturbances. We first solve this problem with the notion of robust controlled invariant interval, which describes a set where the state can be maintained for any value of the disturbances.
A second approach provides dedicated symbolic methods to synthesize a discrete controller on a finite abstraction of the system, realizing safety specifications combined with a performance optimization. We first present a centralized symbolic method using the system dynamics provided by the physical model. To address its limitation in terms of scalability, a compositional approach is considered, where the symbolic abstraction and synthesis methods are applied to partial descriptions of the system under the assume-guarantee obligation that the safety specification is realized for all uncontrolled states. In the final part, the proposed controllers are combined and evaluated on the temperature regulation for an experimental building equipped with UnderFloor Air Distribution.


  • Mr Emmanuel Witrant (Maître de Conférences - Université Grenoble Alpes )
  • Mr Antoine Girard (Maître de conférences - Université Joseph Fourier )


  • Mr Nacim Ramdani (PROFESSEUR - Université d'Orléans )
  • Mr Paulo Tabuada (PROFESSEUR - University of California )


  • Mr Mazen Alamir (Directeur de recherche CNRS - Université Grenoble Alpes )
  • Mr Gueguen (PROFESSEUR - Supélec Rennes )
  • Mr Jean-Luc Gouze (Directeur de recherche INRIA - INRIA Sophia Antipolis )