eprintid: 559
rev_number: 8
eprint_status: archive
userid: 7
dir: disk0/00/00/05/59
datestamp: 2011-07-27 09:02:37
lastmod: 2011-08-04 07:29:08
status_changed: 2011-07-27 09:02:37
type: book_section
metadata_visibility: show
contact_email: alberto.bemporad@imtlucca.it
item_issues_count: 0
creators_name: Bemporad, Alberto
creators_name: Giorgetti, Nicolò
creators_id: alberto.bemporad@imtlucca.it
creators_id: 
title: Logic-based hybrid solvers for optimal control of hybrid systems
ispublished: pub
subjects: QA75
subjects: TJ
divisions: CSA
full_text_status: none
keywords: combinatorial optimization; constraint programming; discrete time systems; hybrid systems; linear hybrid dynamical systems; linear/quadratic programming; logic based hybrid solver; logic constraints; mixed integer inequalities; mixed integer programming; optimal control; constraint handling; discrete time systems; integer programming; linear systems; optimal control; quadratic programming
abstract: Combinatorial optimization over continuous and integer variables was proposed recently as an useful tool for solving complex optimal control problems for linear hybrid dynamical systems formulated in discrete-time. Current approaches are based on mixed-integer linear/quadratic programming (MIP), which provides the solution after solving a sequence of relaxed standard linear (or quadratic) programs (LP, QP). An MIP formulation has the drawback of requiring that the discrete/logic part of the hybrid problem needs to be converted to into mixed-integer inequalities. Although this operation can be done automatically, most of the original discrete structure of the problem is lost during the conversion. Moreover, the efficiency of the MIP solver only relies upon the tightness of the continuous LP/QP relaxations. In this paper we attempt at overcoming such difficulties by combining MIP and constraint programming (CP) techniques into a "hybrid" solver, taking advantage of CP for dealing efficiently with satisfiability of logic constraints. We detail how to model the hybrid dynamics so that the optimal control problem can be solved by the hybrid MIP+CP solver, and show on a case study that the achieved performance is superior to the one achieved by pure MIP solvers.
date: 2003-12
date_type: published
publication: Proc. 42th IEEE Conf. on Decision and Control
volume: 1
publisher: IEEE
place_of_pub: Maui, Hawaii USA, December 2003
pagerange: 640-645
event_dates: Maui, Hawaii, USA
id_number: 10.1109/CDC.2003.1272636
refereed: TRUE
isbn: 0-7803-7924-1 
book_title: Decision and Control Conference
official_url: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1272636&isnumber=28478
citation:   Bemporad, Alberto and Giorgetti, Nicolò  Logic-based hybrid solvers for optimal control of hybrid systems.   In:  Decision and Control Conference.   IEEE, Maui, Hawaii USA, December 2003, pp. 640-645.  ISBN 0-7803-7924-1       (2003)