It has been proven that advanced building control, like model predictive control (MPC), can
notably reduce the energy use and mitigate greenhouse gas emissions. However, despite …

Industrial facilities account for approximately a third of energy usage in the world, and
effective energy assessments of these facilities require a reliable baseline energy model …

The building sector is the largest energy-demanding sector responsible for over one-third of
energy use globally and an equally important portion of carbon dioxide (CO2) emissions …

Cyber-physical system models often feature stochastic behaviour that itself depends on
uncertain parameters (eg, transition rates). For these systems, verifying reachability amounts …

Analysis and design of cyber physical systems (CPS) relies typically on detailed dynamical
models. Identifying parametric models of complex CPS such as smart buildings is very hard …

Abstract Model predictive control (MPC) is essential to optimal decision making in a broad
range of applications like building energy management and autonomous racing. MPC …

Industrial facilities account for approximately one third of energy usage in the world, and
effective energy assessments of these facilities require a reliable baseline energy model …