Results 1-2 of 2
Automatic Verification of Finite Precision Implementations of Linear Controllers
(Think Tanks and Civil Societies Program, 2017-04-30)
We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller ...
Data Predictive Control for building energy management
(Think Tanks and Civil Societies Program, 2017-01-31)
Decisions on how to best optimize energy systems operations are becoming ever so complex and conflicting, that model-based predictive control (MPC) algorithms must play an important role. However, a key factor prohibiting the widespread adoption of MPC ...