TTCSP Conference Paper

• 

  Automatic Verification of Finite Precision Implementations of Linear Controllers 

  Park, Junkil; Pajic, Miroslav; Sokolsky, Oleg; Lee, Insup (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 state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementations ...

  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 

  Jain, Achin; Behl, Madhur; Mangharam., Rahul (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 in buildings, is the cost, time, and effort associated with learning first-principles based dynamical models of the underlying physical system. This ...

  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 ...

View more