SAT-based branch & bound and optimal control of hybrid dynamical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3011, Issue , 2004, Pages 96-111

  Bemporad, Alberto ^a   Giorgetti, Nicolò ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL OPTIMIZATION; COMPUTER PROGRAMMING; CONSTRAINT SATISFACTION PROBLEMS; CONSTRAINT THEORY; DISCRETE TIME CONTROL SYSTEMS; DYNAMICAL SYSTEMS; FORMAL LOGIC; INTEGER PROGRAMMING; MODEL CHECKING; OPTIMAL CONTROL SYSTEMS; OPTIMAL SYSTEMS; OPTIMIZATION; RELAXATION PROCESSES;

HYBRID DYNAMICAL SYSTEMS; INTEGER VARIABLES; LINEAR RELAXATIONS; LOGICAL CONSTRAINTS; MIXED INTEGER PROGRAMMING; OPTIMAL CONTROL PROBLEM; OPTIMIZATION PROBLEMS; SATISFIABILITY PROBLEMS;

PROBLEM SOLVING;

EID: 26444552003     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24664-0_7     Document Type: Article

References (23)

1. K. Marriot and P. J. Stuckey. Programming with constraints: an introduction. MIT Press, 1998.
2. J. Gu, P. W. Purdom, J. Franco, and B. Wah. Algorithms for the satisfiability (SAT) problem: A survey. In DIMACS Series on Discrete Mathematics and Theoretical Computer Science, number 35, pages 19-151. American Mathematical Society, 1997.
3. J. Hooker. Logic-based methods for Optimization. Wiley-Interscience Series, 2000.
4. A. Bockmayr and T. Kasper. Branch and infer: A unifying framework for integer and finite domain constraint programming. INFORMS Journal on Computing, 10(3):287-300, Summer 1998.
5. R. Rodosek, M. Wallace, , and M. Hajian. A new approach to integrating mixed integer programming and constraint logic programming. Annals of Oper. Res., 86:63-87, 1997.
6. F. Focacci, A. Lodi, and M. Milano. Cost-based domain filtering. In J. Jaffar, editor, Principle and Practice of Constraint Programming, volume 1713 of Lecture Notes in Computer Science, pages 189-203. Springer Verlag, 2001.
7. I. Harjunkoski, V. Jain, , and I. E. Grossmann. Hybrid mixed-integer/constraint logic programming strategies for solving scheduling and combinatorial optimization problems. Comp. Chem. Eng., 24:337-343, 2000.
8. Large scale integrated supply chain optimisation software. A European Union Funded Project, 2003. http://www.liscos.fc.ul.pt/.
9. X. Xu and P. J. Antsaklis. An approach to switched systems optimal control based on parameterization of the switching instants. In Proc. IFAC World Congress, Barcelona, Spain, 2002.
10. B. Lincoln and A. Rantzer. Optimizing linear system switching. In Proc. 40th IEEE Conf. on Decision and Control, pages 2063-2068, 2001.
11. F. Borrelli, M. Baotic, A. Bemporad, and M. Morari. An efficient algorithm for computing the state feedback optimal control law for discrete time hybrid systems. In Proc. American Contr. Conf., Denver, Colorado, 2003.
12. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407-427, March 1999.
13. A. Bemporad, F. Borrelli, and M. Morari. Piecewise linear optimal controllers for hybrid systems. In Proc. American Contr. Conf., pages 1190-1194, Chicago, IL, June 2000.
14. F. D. Torrisi and A. Bemporad. HYSDEL - A tool for generating computational hybrid models. IEEE Transactions on Control Systems Technology, 12(2), March 2004.
15. A. Bemporad and N. Giorgetti. A logic-based hybrid solver for optimal control of hybrid systems. In Proc. 43th IEEE Conf. On Decision and Control, Maui, Hawaii, USA, Dec. 2003.
16. H. P. Williams. Model Building in Mathematical Programming. John Wiley & Sons, Third Edition, 1993.
17. G. Ottosson. Integration of Constraint Programming and Integer Programming for Combinatorial Optimization. PhD thesis, Computing Science Department, Information Technology, Uppsala University, Sweden, 2000.
18. E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
19. S. Boyd and L. Vandenberghe. Convex Optimization. In press., 2003. http://www.stanford.edu/\char126\relaxboyd/cvxbook.html.
20. J. N. Hooker and M. A. Osorio. Mixed logical/linear programming. Discrete Applied Mathematics, 96-97(1-3):395-442, 1999.
21. A. Bemporad. Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form. IEEE Trans. Automatic Control, 2003. In Press.
22. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient sat solver. In 39th Design Automation Conference, June 2001. http://www.ee.princeton.edu/\char126\relaxchaff/zchaff.php.
23. ILOG, Inc. CPLEX 8.1 User Manual. Gentilly Cedex, France, 2002.