eprintid: 502
rev_number: 8
eprint_status: archive
userid: 7
dir: disk0/00/00/05/02
datestamp: 2011-07-27 09:02:50
lastmod: 2011-08-04 07:29:08
status_changed: 2011-07-27 09:02:50
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: A SAT-based hybrid solver for optimal control of hybrid systems
ispublished: pub
subjects: QA75
subjects: T1
divisions: CSA
full_text_status: none
abstract: Combinatorial optimization over continuous and integer variables was proposed recently as a 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 or 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 conversion of the discrete/logic part of the hybrid problem 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 mainly relies upon the tightness of the continuous LP/QP relaxations. In this paper we attempt to overcome such difficulties by combining MIP and techniques for solving constraint satisfaction problems into a “hybrid” solver, taking advantage of SAT solvers 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+SAT solver, and show that the achieved performance is superior to the one achieved by commercial MIP solvers. 
date: 2004
series: Lecture Notes in Computer Science
publication: Hybrid Systems: Computation and Control
volume: 2993
publisher: Springer-Verlag
pagerange: 126-141
id_number: 10.1007/978-3-540-24743-2_9
refereed: TRUE
isbn: 978-3-540-21259-1
book_title: Hybrid Systems: Computation and Control
editors_name: Alur
, Rajeev 
editors_name: Pappas, George J. 
official_url: http://dx.doi.org/10.1007/978-3-540-24743-2_9
citation:   Bemporad, Alberto and Giorgetti, Nicolò  A SAT-based hybrid solver for optimal control of hybrid systems.   In:  Hybrid Systems: Computation and Control.   Lecture Notes in Computer Science, 2993 .  Springer-Verlag, pp. 126-141.  ISBN 978-3-540-21259-1      (2004)