Logic-based solution methods for optimal control of hybrid systems

IEEE Transactions on Automatic Control

Volumn 51, Issue 6, 2006, Pages 963-976

  Bemporad, Alberto ^a   Giorgetti, Nicolò ^b  

^a UNIVERSITY OF SIENA   (Italy)

^b General Motors Powertrain Europe   (Italy)

Author keywords

Constraint satisfaction; Hybrid systems; Optimal control; Optimization

Indexed keywords

DISCRETE TIME CONTROL SYSTEMS; INTEGER PROGRAMMING; LINEAR PROGRAMMING; OPTIMIZATION;

CONSTRAINT SATISFACTION; HYBRID SYSTEMS; LOGIC CONSTRAINTS; SYMBOLIC TECHNIQUES;

OPTIMAL CONTROL SYSTEMS;

EID: 33745714919     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.876949     Document Type: Article

References (49)

1. H. Witsenhausen, "A class of hybrid-state continuous-time dynamic systems," IEEE Trans. Autom. Control, vol. 11, no. 2, pp. 161-167, Feb. 1966.
2. P. Antsaklis, "A brief introduction to the theory and applications of hybrid systems," Proc. IEEE, Special Issue on Hybrid Systems: Theory and Applications, vol. 88, no. 7, pp. 879-886, Jul. 2000.
3. C. Cassandras, D. Pepyne, and Y. Wardi, "Optimal control of a class of hybrid systems," IEEE Trans. Autom. Control, vol. 46, no. 3, p. 3981, Mar. 2001, 415.
4. X. Xu and P. Antsaklis, "An approach to switched systems optimal control based on parameterization of the switching instants," in Proc. IFAC World Congr., Barcelona, Spain, 2002.
5. B. Lincoln and A. Rantzer, "Optimizing linear system switching," in Proc. 40th IEEE Conf. Decision and Control, 2001, pp. 2063-2068.
6. F. Borrelli, M. Baotic, A. Bemporad, and M. Morari, "Dynamic programming for constrained optimal control of discrete-time linear hybrid systems," Automatica, vol. 41, no. 10, pp. 1709-1721, Oct. 2005.
7. X. Xu and P. Antsaklis, "Results and perspectives on computational methods for optimal control of switched systems," in Hybrid Systems: Computation and Control, O. Maler and A. Pnueli, Eds. New York: Springer-Verlag, 2003, pp. 540-555, no. 2623, ser. Lecture Notes in Computer Science.
8. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol. 35, no. 3, pp. 407-427, Mar. 1999.
9. A. Bemporad, F. Borrelli, and M. Morari, "Piecewise linear optimal controllers for hybrid systems," in Proc. Amer. Control Conf., Chicago, IL, Jun. 2000, pp. 1190-1194.
10. F. Torrisi and A. Bemporad, "HYSDEL - a tool for generating computational hybrid models," IEEE Trans. Contr. Syst. Technology, vol. 12, no. 2, pp. 235-249, Mar. 2004.
11. A. Bemporad, Hybrid Toolbox - User's Guide Dec. 2003 [Online]. Available: http://www.dii.unisi.it/hybrid/toolbox
12. F. Borrelli, A. Bemporad, M. Fodor, and D. Hrovat, "A hybrid approach to traction control," in Hybrid Systems: Computation and Control. New York: Springer-Verlag, 2001, pp. 162-174, ser. Lecture Notes in Computer Science.
13. A. Bemporad, N. Giorgetti, I. Kolmanovsky, and D. Hrovat, "A hybrid system approach to modeling and optimal control of DISC engines," in Proc. 41th IEEE Conf. Decision and Control, 2002, pp. 1582-1587.
14. R. Möbus, M. Baotic, and M. Morari, O. Maler and A. Pnueli, Eds., "Multi-objective adaptive cruise control," in Hybrid Systems: Computation and Control. New York: Springer-Verlag, 2003, pp. 359-374, ser. Lecture Notes in Computer Science.
15. G. Ferrari-Trecate, E. Gallestey, P. Letizia, M. Spedicato, M. Morari, and M. Antoine, "Modeling and control of co-generation power plants: A hybrid system approach," in Hybrid Systems: Computation and Control, C. J. Tomlin and M. R. Greenstreet, Eds. New York: Springer-Verlag, 2002, vol. 2289, pp. 209-224, ser. Lecture Notes in Computer Science.
16. T. Geyer, M. Larsson, and M. Morari, "Hybrid emergency voltage control in power systems," in Proc. European Control Conf., Cambridge, U.K., 2003.
17. K. Marriot and P. Stuckey, Programming With Constraints: An Introduction. Cambridge, MA: MIT Press, 1998.
18. J. Gu, P. Purdom, J. Franco, and B. Wah, "Algorithms for the satisfiability (SAT) problem: A survey," in DIMACS Series in Discrete Mathematics and Theoretical Computer Science. Providence, RI: AMS, 1997, vol. 35, pp. 19-151.
19. J. Hooker, Logic-Based Methods for Optimization. New York: Wiley, 2000.
20. A. Bockmayr and T. Kasper, "Branch and infer: A unifying framework for integer and finite domain constraint programming," INFORMS J. Comput., vol. 10, no. 3, pp. 287-300, Summer 1998.
21. R. Rodosek, M. Wallace, and M. Hajian, "A new approach to integrating mixed integer programming and constraint logic programming," Ann. Oper. Res., vol. 86, pp. 63-87, 1997.
22. F. Focacci, A. Lodi, and M. Milano, "Cost-based domain filtering," in Principle and Practice of Constraint Programming, J. Jaffar, Ed. New York: Springer-Verlag, 2001, vol. 1713, pp. 189-203, ser. Lecture Notes in Computer Science.
23. I. Harjunkoski, V. Jain, and I. Grossmann, "Hybrid mixedinteger/ constraint logic programming strategies for solving scheduling and combinatorial optimization problems," Comp. Chem. Eng., vol. 24, pp. 337-343, 2000.
24. S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge, U.K.: Cambridge Univ. Press, 2004.
25. A. Bemporad and N. Giorgetti, "A logic-based hybrid solver for optimal control of hybrid systems," in Proc. 42nd IEEE Conf. Decision and Control, Maui, HI, Dec. 2003, pp. 640-645.
26. A. Bemporad and N. Giorgetti, "A SAT-based hybrid solver for optimal control of hybrid systems," in Hybrid Systems: Computation and ControlR. Alur and G. Pappas, Eds. New York: Springer-Verlag, 2004, pp. 126-141, no. 2993, ser. Lecture Notes in Computer Science.
27. A. Bemporad and N. Giorgetti, "SAT-based branch & bound and optimal control of hybrid dynamical systems," in Int. Conf. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR), J.-C. Regin and M. Rueher, Eds., Nice, France, Apr. 2004, no. 3011, pp. 96-111, ser. Lecture Notes in Computer Science.
28. E. Asarin, M. Bozga, A. Kerbrat, O. Maler, A. Pnueli, and A. Rasse, "Data-structures for the verification of timed automata," in Hybrid and RealTime Systems, O. Maler, Ed. New York: Springer-Verlag, 1997, vol. 1201, pp. 346-360.
29. R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho, "Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid Systems, R. Grossmann, A. Nerode, and A. Ravn, Eds. New York: Springer-Verlag, 1993, vol. 736, pp. 209-229, ser. Lecture Notes in Computer Science.
30. E. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Autom. Control, vol. 26, no. 2, pp. 346-358, Apr. 1981.
31. H. Williams, Model Building in Mathematical Programming, 3rd ed. New York: Wiley, 1993.
32. "Solver 9.0 UserManual," ILOG, Inc., Gentilly Cedex, France, 2004.
33. M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik, "Chaff: engineering an efficient sat solver," in 39th Design Automation Conf., June 2001 [Online]. Available: http://www.ee.princeton.edu/chaff/ zchaff.php
34. W. Heemels, B. D. Schunter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatica, vol. 37, no. 7, pp. 1085-1091, July 2001.
35. E. Balas, "Disjunctive programming and a hierarchy of relaxations for discrete optimization problems," SIAM J. Alg. Disc. Meth., vol. 6, pp. 466-486, 1985.
36. A. Bemporad, "Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form," IEEE Trans. Autom. Control, vol. 49, no. 5, pp. 832-838, May 2004.
37. O. Stursberg and S. Panek, "Control of switched hybrid systems based on disjunctive formulations," in Hybrid Systems: Computation and Control, C. Tomlin and E. M. R. Greenstreet, Eds. New York: Springer-Verlag, 2002, vol. 2289, pp. 421-435, ser. Lecture Notes in Computer Science.
38. K. Fukuda, cdd/cdd+ Reference Manual. Zurich, Switzerland: Institute for Operations Research, ETH-Zentrum, 0.61 (cdd) 0.75 (cdd+) ed.
39. G. Ottosson, "Integration of Constraint Programming and Integer Programming for Combinatorial Optimization," Ph.D. dissertation, Comp. Sci. Dept., Inf. Tech., Uppsala Univ., Uppsala, Sweden, 2000.
40. E. Tsang, Foundations of Constraint Satisfaction,. San Diego, CA: Academic, 1993.
41. "CPLEX 9.0 User Manual," ILOG, Inc., Gentilly Cedex, France, 2004.
42. J. Jaffar and M. Maher, "Constraint logic programming: A survey," J. Log. Program., vol. 19/20, pp. 503-581, 1994.
43. J. Hooker and M. Osorio, "Mixed logical/linear programming," Discrete Appl. Math., vol. 96-97, pp. 395-442, 1999.
44. D. Bertsimas and M. Sym, Mathematical Programming. Berlin, Germany: Springer-Verlag, 2003, vol. 98, no. 1, pp. 49-71.
45. D. Bertsimas and M. Sym, "The price of robustness," Operation Res., vol. 52, no. 1, pp. 35-53, Jan.-Feb. 2004.
46. H. Min and G. Zhou, "Supply chain modeling: Past, present and future," Comput. Chem. Eng., no. 43, pp. 231-249, 2002.
47. E. Perea, I. Grossmann, E. Ydstie, and T. Tahmanebi, "Dynamic modeling and classical control theory for supply chain management," Comput. Chem. Eng., no. 24, pp. 1143-1149, 2000.
48. R. Lancioni, "New developments in supply chain management for the millennium," Ind. Marketing Manage., no. 29, pp. 1-6, 2000.
49. M. W. Braun, D. Rivera, W. Carlyle, and K. Kempf, "Application of model predictive control to robust management of multiechelon demand networks in semiconductor manufacturing," Simulation, vol. 79, no. 3, pp. 139-156, Mar. 2003.