relation: http://eprints.imtlucca.it/495/
title: Logic-based solution methods for optimal control of hybrid systems
creator: Bemporad, Alberto
creator: Giorgetti, Nicolò
subject: QA75 Electronic computers. Computer science
subject: TJ Mechanical engineering and machinery
description: Combinatorial optimization over continuous and integer variables is a useful tool for solving complex optimal control problems of 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 linear (or quadratic) programs. MIP formulations require the translation of the discrete/logic part of the hybrid problem into mixed-integer inequalities. Although this operation can be done automatically, most of the original symbolic structure of the problem (e.g., transition functions of finite state machines, logic constraints, symbolic variables, etc.) is lost during the conversion, with a consequent loss of computational performance. In this paper, we attempt to overcome such a difficulty by combining numerical techniques for solving convex programming problems with symbolic techniques for solving constraint satisfaction problems (CSP). The resulting "hybrid" solver proposed here takes advantage of CSP solvers for dealing with satisfiability of logic constraints very efficiently. We propose a suitable model of the hybrid dynamics and a class of optimal control problems that embrace both symbolic and continuous variables/functions, and that are tailored to the use of the new hybrid solver. The superiority in terms of computational performance with respect to commercial MIP solvers is shown on a centralized supply chain management problem with uncertain forecast demand.
publisher: IEEE
date: 2006-06
type: Article
type: PeerReviewed
identifier:   Bemporad, Alberto and Giorgetti, Nicolò  Logic-based solution methods for optimal control of hybrid systems.  IEEE Transactions on Automatic Control, 51 (6).  pp. 963-976.  ISSN 0018-9286      (2006)  
relation: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1643368&isnumber=34438
relation: 10.1109/TAC.2006.876949