Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings

Abstract : We describe an application of symbolic control to ventilation regulation in buildings. The monotonicity property of a nonlinear control system subject to disturbances, modeling the process, is exploited to obtain symbolic abstractions, in the sense of alternating simulation. The resulting abstractions consist of non-deterministic finite transition systems, for which we can synthesize supervisory safety controllers to keep the room temperatures within prescribed bounds. To choose among possible control inputs preserving safety, we consider the problem of minimizing a given cost function and apply a receding horizon control scheme. The approach has been applied to temperature regulation on a small-scale building equipped with underfloor air distribution (UFAD). To the best of our knowledge, this is the first report of experimental implementation of symbolic controllers.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01492955
Contributor : Pierre-Jean Meyer <>
Submitted on : Thursday, March 23, 2017 - 4:57:48 PM
Last modification on : Thursday, August 22, 2019 - 11:32:04 AM
Long-term archiving on : Saturday, June 24, 2017 - 12:37:25 PM

File

Meyer_HSCC15.pdf
Files produced by the author(s)

Identifiers

Citation

Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant. Poster: Symbolic Control of Monotone Systems, Application to Ventilation Regulation in Buildings. 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2015), Apr 2015, Seattle, United States. pp.1817 - 1819, ⟨10.1145/2728606.2728637⟩. ⟨hal-01492955⟩

Share

Metrics

Record views

311

Files downloads

112