Synthesis of Optimal Control Systems: A Comparison Between Model Checking and Dynamic Programming Techniques

TY - CHAP

T1 - Synthesis of Optimal Control Systems: A Comparison Between Model Checking and Dynamic Programming Techniques

AU - Della Penna, Giuseppe

AU - Magazzeni, Daniele

AU - Intrigila, Benedetto

PY - 2008

Y1 - 2008

N2 - In the last years, the use of sophisticated controllers, i.e., components that control larger systems, has become very common. In previous papers, we introduced a general, automatic methodology for the synthesis of optimal controllers which exploits explicit model checking to generate controllers for very complex systems. However, to completely validate the usefulness of our methodology we still need to compare it with other, well-established controller generation techniques that are currently applied to a variety less complex control problems. To this aim, in this paper we present a comparative evaluation, from both a theoretical and a computational point of view, between our model checking methodology and the widely applied dynamic programming approach, using the well known inverted pendulum problem as a test case. As a result, we find that our approach is always feasible when dynamic programming can be applied, and that the generated controllers perform better than the ones obtained by dynamic programming.

AB - In the last years, the use of sophisticated controllers, i.e., components that control larger systems, has become very common. In previous papers, we introduced a general, automatic methodology for the synthesis of optimal controllers which exploits explicit model checking to generate controllers for very complex systems. However, to completely validate the usefulness of our methodology we still need to compare it with other, well-established controller generation techniques that are currently applied to a variety less complex control problems. To this aim, in this paper we present a comparative evaluation, from both a theoretical and a computational point of view, between our model checking methodology and the widely applied dynamic programming approach, using the well known inverted pendulum problem as a test case. As a result, we find that our approach is always feasible when dynamic programming can be applied, and that the generated controllers perform better than the ones obtained by dynamic programming.

M3 - Conference paper

SN - 978-1-4020-8736-3

SP - 54

EP - 59

BT - NOVEL ALGORITHMS AND TECHNIQUES IN TELECOMMUNICATIONS, AUTOMATION AND INDUSTRIAL ELECTRONICS

A2 - Sobh, T

A2 - Elleithy, K

A2 - Mahmood, A

A2 - Karim, M

PB - Springer

CY - DORDRECHT

T2 - International Conference on Telecommunicatios and Networking/International Conference on Industrial Electronics, Technology and Automation

Y2 - 31 May 2007

ER -