soutiendra le Jeudi 24 Septembre 2015 à 10h00 Amphithéâtre - Maison Jean Kuntzmann
Invariance and symbolic control of cooperative systems for temperature regulation in intelligent buildings
Ces travaux se sont déroulés sous la direction de Mr Antoine GIRARD (Maître de conférences, Université Jospeh Fourier) et de Mr Emmanuel WITRANT (Maître de Conférences, Université Grenoble Alpes)
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.