Control of systems integrating logic, dynamics, and constraints

Automatica

Volumn 35, Issue 3, 1999, Pages 407-427

  Bemporad, Alberto ^a   Morari, Manfred ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; CONTROL SYSTEM SYNTHESIS; FINITE AUTOMATA; HEURISTIC METHODS; INTEGER PROGRAMMING; LINEAR EQUATIONS; MATHEMATICAL MODELS; OPTIMIZATION; QUADRATIC PROGRAMMING; SYSTEM STABILITY;

BINARY LOGIC SYSTEMS; DYNAMIC MODELS; HYBRID SYSTEMS; MIXED INTEGER QUADRATIC; OPTIMIZATION PROBLEMS;

PREDICTIVE CONTROL SYSTEMS;

EID: 0033097938     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(98)00178-2     Document Type: Article

References (29)

1. Akimoto, K., Sannomiya, N., Nishikawa, Y., & Tsuda, T. (1991). An optimal gas supply for a power plant using a mixed integer programming model. Automatica, 27(3), 513-518.
2. Branicky, M. S., Borkar, V. S., & Mitter, S. K. (1998). A unified framework for hybrid control: Model and optimal control theory. IEEE Trans. Automat. Control, 43(1), 31-45.
3. Campo, P. J., & Morari, M. (1989). Model predictive optimal averaging level control. AIChE J., 35(4), 579-591.
4. Cavalier, T. M., Pardalos, P. M., & Soyster, A. L. (1990). Modeling and integer programming techniques applied to prepositional calculus. Comput. Oper. Res., 17(6), 561-570.
5. Christiansen, D. (1997). Electronics Engineers' Handbook (4th Ed.). New York: IEEE Press/McGraw Hill, Inc.
6. Fletcher, R., & Leyffer, S. (1994). A Mixed Integer Quadratic Programming Package. Technical Report. Dept. of Mathematics, University of Dundee, Scotland, U.K.
7. Fletcher, R., & Leyffer, S. (1995). Numerical experience with lower bounds for MIQP branch-and-bound. Technical Report. Dept. of Mathematics, University of Dundee, Scotland, U.K. SIAM J. Optim., submitted. http://www.mcs.dundee.ac.uk:8080/sleyffer/miqp_art.ps.Z.
8. Floudas, C. A. (1995). Nonlinear and Mixed-integer Optimization. Oxford: University Press.
9. Grossmann, R. L., Nerode, A., Ravn, A. P., & Rischel, H. (1993). Hybrid systems. Lecture Notes in Computer Science (Vol. 736). New York: Springer Verlag.
10. Hayes, J. P. (1993). Introduction to Digital Logic Design. Reading: Addison-Wesley.
11. Keerthi, S. S., & Gilbert, E. (1988). Optimal infinite-horizon feedback laws for a general class of constrained discrete time systems: Stability and moving-horizon approximations. J. Optimi. Theory Appli., 2, 265-293.
12. Lazimy, R. (1985). Improved algorithm for mixed-integer quadratic programs and a computational study. Math. Programming, 32, 100-113.
13. Lee, J. H., & Cooley, B. (1997). Recent advances in model predictive control. In: Chemical Process Control - V (Vol. 93, no. 316, pp. 201-216b), AIChe Sympo. Ser. New York: American Institute of Chemical Engineers.
14. Leyffer, S. (1993). Deterministic Methods for Mixed Integer Nonlinear Programming. Ph.D. dissertation. University of Dundee. Scotland, U.K.
15. Lygeros, J., Godbole, D.N., & Sastry, S.S. (1996). A game theoretic approach to hybrid system design. In: Alur, R., & Henzinger, T. (Eds.), Hybrid Systems III (pp. 1-12). Lecture Notes in Computer Science (Vol. 1066). Berlin: Springer.
16. Mayne D. Q. (1997). Nonlinear model predictive control: An assessment In: Chemical Process Control - V (Vol. 93, No. 316, pp. 217-231), AIChe Symp. Ser. New York: American Institute of Chemical Engineers.
17. Mendelson, E. (1964). Introduction to Mathematical Logic. New York: Van Nostrand.
18. Mitter, S. K. (1997). Logic and mathematical programming. In: Morse, A. S. (Ed.), Control Using Logic Based Switching, Fall 1995 Block Island, RI, USA (pp. 79-91). London UK: Springer-Verlag.
19. Passino, K. M., Michel, A. N., & Antsaklis, P. J. (1994). Lyapunov stability of a class of discrete event systems. IEEE Trans. Automat. Control, 2(39), 269-279.
20. Qin, S. J., & Badgewell, T. A. (1997). An overview of industrial model predictive control technology. In: Chemical Process Control - V (Vol. 93, No. 316, pp. 232-256), AIChe Symp. Ser. New York, American Institute of Chemical Engineers.
21. Raman, R., & Grossmann, I. E. (1991). Relation between MILP modeling and logical inference for chemical process synthesis. Comput. Chem. Engng, 15(2), 73-84.
22. Raman, R., & Grossmann, I. E. (1992). Integration of logic and heuristic knowledge in MINLP optimization for process synthesis. Computers Chem. Engng, 16(3), 155-171.
23. Roschchin, V. A., Volkovich, O. V., & Sergienko, I. V. (1987). Models and methods of solution of quadratic integer programming problems. Cybernetics, 23, 289-305.
24. Slupphaug, O., & Foss, B. A. (1997). Model predictive control for a class of hybrid systems. Proc. European Control Conf. Brussels, Belgium.
25. Slupphaug, O., Vada, J., & Foss, B. A. (1997). MPC in systems with continuous and discrete control inputs. Proc. American Control Conf. Albuquerque, NM, USA.
26. Tyler, M. L., & Morari, M. (1999). Prepositional logic in control and monitoring problems. Automatica (in print).
27. Williams, H. P. (1977). Logical problems and integer programming. Bull. Institute Math. Appli., 13, 18-20.
28. Williams, H. P. (1987). Linear and integer programming applied to the prepositional calculus. Int. J. Systems Res. Inform Sci., 2, 81-100.
29. Williams, H. P. (1993). Model Building in Mathematical Programming (3rd Ed.). New York: Wiley.