Model checking and nonlinear predictive control
: a case-study on an energy management system for cars

Student thesis: Master

Abstract

Date of Award28 Feb 2003
Original languageEnglish
SupervisorW.P.M.H. (Maurice) Heemels (Supervisor 1) & W.H.A. Hendrix (Supervisor 2)

Cite this

'