relation: http://eprints.imtlucca.it/525/
title: SAT-based branch & bound and optimal control of hybrid dynamical systems
creator: Bemporad, Alberto
creator: Giorgetti, Nicolò
subject: QA Mathematics
subject: QA75 Electronic computers. Computer science
description: A classical hybrid MIP-CSP approach for solving problems having a logical part and a mixed integer programming part is presented. A Branch and Bound procedure combines an MIP and a SAT solver to determine the optimal solution of a general class of optimization problems. The procedure explores the search tree, by solving at each node a linear relaxation and a satisfiability problem, until all integer variables of the linear relaxation are set to an integer value in the optimal solution. When all integer variables are fixed the procedure switches to the SAT solver which tries to extend the solution taking into account logical constraints. If this is impossible, a ldquono-goodrdquo cut is generated and added to the linear relaxation. We show that the class of problems we consider turns out to be very useful for solving complex optimal control problems for linear hybrid dynamical systems formulated in discrete-time. We describe how to model the ldquohybridrdquo 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.
publisher: Springer-Verlag
contributor: Régin, Jean-Charles 
contributor: Rueher, Michel 
date: 2004
type: Book Section
type: PeerReviewed
identifier:   Bemporad, Alberto and Giorgetti, Nicolò  SAT-based branch & bound and optimal control of hybrid dynamical systems.   In:  Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems.   Lecture Notes in Computer Science, 3011 .  Springer-Verlag, pp. 96-111.  ISBN 978-3-540-21836-4      (2004)  
relation: http://www.springerlink.com/content/xawwmfk1pk04wr98/
relation: 10.1007/978-3-540-24664-0_7