Roo, F. de (2012) Approximately optimal control via discrete abstractions. Master's Thesis / Essay, Mathematics.
|
Text
MasterscriptieFroukjedeRoo.pdf - Published Version Download (1MB) | Preview |
|
Text
AkkoordTrentelman.pdf - Other Restricted to Registered users only Download (26kB) |
Abstract
In this thesis we use a symbolic approach to provide a methodology to approximately solve optimal control problems. This is done by considering approximate (alternating) simulation relations to formalize the approximation of infinite-state systems by finite-state systems. We show how such relations enable the transfer of optimality information between systems. Since optimal control problems can be solved automatically on finite-state systems by relying on standard computer science tools, optimal control problems can be solved approximately on infinite-state control systems by working with a finite-state system which is a discrete approximation of the infinite-state control system. We show how the costs computed on the approximated finite-state system provide lower and upper bounds for the optimal achievable cost of the infinite-state control system. Moreover, the approach provides also a method to automatically synthesize controllers respecting these bounds.
Item Type: | Thesis (Master's Thesis / Essay) |
---|---|
Degree programme: | Mathematics |
Thesis type: | Master's Thesis / Essay |
Language: | English |
Date Deposited: | 15 Feb 2018 07:50 |
Last Modified: | 15 Feb 2018 07:50 |
URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/10399 |
Actions (login required)
View Item |