TY  - CHAP
SN  - 978-3-540-21259-1
ED  - Alur
, Rajeev 
ED  - Pappas, George J. 
N2  - 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. 
EP  - 141
ID  - eprints502
PB  - Springer-Verlag
T2  - Hybrid Systems: Computation and Control
AV  - none
T3  - Lecture Notes in Computer Science
SP  - 126
TI  - A SAT-based hybrid solver for optimal control of hybrid systems
Y1  - 2004///
A1  - Bemporad, Alberto
A1  - Giorgetti, Nicoḷ
M1  - 2993
UR  - http://dx.doi.org/10.1007/978-3-540-24743-2_9
ER  -