DocumentCode :
3530236
Title :
On symbolic optimal control via approximate simulation relations
Author :
de Roo, Froukje ; Mazo, Manuel
Author_Institution :
INCAS3, Assen, Netherlands
fYear :
2013
fDate :
10-13 Dec. 2013
Firstpage :
3205
Lastpage :
3210
Abstract :
In the present paper we provide a methodology to approximately solve complex optimal control problems by using symbolic models. It has been shown in recent years that symbolic models (also called discrete abstractions) offer a convenient approach to deal with the analysis and control of complex qualitative control problems. We show how the notion of approximate simulation enables also the transfer of quantitative information between a given control system and its symbolic model. In particular, we show that quantities computed on the symbolic model provide lower and upper bounds for the optimal achievable cost of the control system. Finally, we indicate how the theoretical results may be applied to automatically synthesize controllers for qualitative specifications, given in a fragment of Linear Temporal Logics, and simultaneously guaranteeing some lower and upper bounds for the attainable cost.
Keywords :
control system synthesis; optimal control; temporal logic; approximate simulation relations; complex qualitative control problem analysis; controller synthesis; discrete abstractions; linear temporal logic; lower bound; symbolic models; symbolic optimal control; upper bound; Computational modeling; Cost function; Measurement; Optimal control; Trajectory; Upper bound;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on
Conference_Location :
Firenze
ISSN :
0743-1546
Print_ISBN :
978-1-4673-5714-2
Type :
conf
DOI :
10.1109/CDC.2013.6760372
Filename :
6760372
Link To Document :
بازگشت