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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1109/CDC.2003.1272636 |
| Uncontrolled 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 |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science T Technology > TJ Mechanical engineering and machinery |
| Research Area: | Computer Science and Applications |
| Depositing User: | Professor Alberto Bemporad |
| Date Deposited: | 27 Jul 2011 09:02 |
| Last Modified: | 04 Aug 2011 07:29 |
| URI: | http://eprints.imtlucca.it/id/eprint/559 |
Actions (login required)
 |
Edit Item |
