Model-predictive control of discrete hybrid stochastic automata

IEEE Transactions on Automatic Control

Volumn 56, Issue 6, 2011, Pages 1307-1321

  Bemporad, Alberto ^a   Di Cairano, Stefano ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b FORD MOTOR COMPANY   (United States)

Author keywords

Hybrid systems; model predictive control; optimization; stochastic systems

Indexed keywords

ASYMPTOTIC CONVERGENCE; CHANCE CONSTRAINT; DISCRETE HYBRID STOCHASTIC AUTOMATON; FINITE-TIME OPTIMAL CONTROL; HYBRID CONTROLS; HYBRID DYNAMICAL SYSTEMS; OPTIMAL CONTROL SOLUTION; RECEDING HORIZON CONTROL; STOCHASTIC EVENTS; SUFFICIENT CONDITIONS; TRACKING PERFORMANCE;

CONTROL; HYBRID SYSTEMS; MODEL PREDICTIVE CONTROL; NONLINEAR CONTROL SYSTEMS; OPTIMIZATION; PREDICTIVE CONTROL SYSTEMS; PROBABILITY; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; SUPPLY CHAIN MANAGEMENT;

STOCHASTIC CONTROL SYSTEMS;

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

References (47)

1. 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.
2. E. Sontag, "Nonlinearregulation: The piecewise linear approach", IEEE Trans. Autom. Control, vol. AC-26, no. 2, pp. 346-358, Apr. 1981.
3. T. Henzinger, "The theory of hybrid automata", in Proc. 11th Annu. IEEE Symp. Logic in Computer Science (LICS'96), New Brunswick, NJ, 1996, pp. 278-292.
4. W. Heemels, B. de Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models", Automatica, vol. 37, no. 7, pp. 1085-1091, Jul. 2001. (Pubitemid 32498993)
5. A. Bemporad, G. Ferrari-Trecate, and M. Morari, "Observability and controllability of piecewise affine and hybrid systems", IEEE Trans. Autom. Control, vol. 45, no. 10, pp. 1864-1876, Oct. 2000. (Pubitemid 32067071)
6. M. Johannson and A. Rantzer, "Computation of piece-wise quadratic Lyapunov functions for hybrid systems", IEEE Trans. Autom. Control, vol. 43, no. 4, pp. 555-559, Apr. 1998. (Pubitemid 128737378)
7. J. Lygeros, K. Johansson, S. Simic, J. Zhang, and S. Sastry, "Dynamical properties of hybrid automata", IEEE Trans. Autom. Control, vol. 48, no. 1, pp. 2-17, Jan. 2003.
8. A. Juloski, W. Heemels, G. Ferrari-Trecate, R. Vidal, S. Paoletti, and J. Niessen, "Comparison of four procedures for the identification of hybrid systems", Hybrid Syst.: Comput. and Control, pp. 354-369, 2005. (Pubitemid 41252078)
9. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints", Automatica, vol. 35, no. 3, pp. 407-427, 1999.
10. F. Borrelli, M. Baotić, 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. (Pubitemid 41119029)
11. M. Lazar, W. Heemels, S. Weiland, and A. Bemporad, "Stabilizing model predictive control of hybrid systems", IEEE Trans. Autom. Control, vol. 51, no. 11, pp. 1813-1818, Nov. 2006. (Pubitemid 44824367)
12. J. Lygeros, "Stochastic hybrid systems: Theory and applications", in Proc. 47th IEEE Conf. Decision and Control, 2008, pp. 40-42.
13. E. Boukas and H. Yang, "Stability of discrete-time linear systems with Markovian jumping parameters", Mathemat. Control, Signals and Syst., vol. 8, pp. 390-402, 1995.
14. P. Bolzern, P. Colaneri, and G. D. Nicolao, "On almost sure stability of discrete-time Markov jump linear systems", in Proc. 43th IEEE Conf. Decision and Control, Paradise Island, Bahamas, 2004, pp. 3204-3208. (Pubitemid 40287279)
15. M. Davis, Markov Models and Optimization. London, U. K.: Chapman & Hall, 1993.
16. G. Pola, M. Bujorianu, J. Lygeros, and M. DiBenedetto, "Stochastic hybridmodels: Anoverviewwith application to air traffic management", in Proc. IFAC Conf. Analysis and Design of Hybrid Systems, Apr. 2003.
17. J. Hu, J. Lygeros, and S. Sastry, "Towards a theory of stochastic hybrid systems", in Hybrid Systems: Computation and Control, B. Krogh and N. Lynch, Eds. New York: Springer-Verlag, 2000, vol. 1790, Lecture Notes in Computer Science, pp. 160-173.
18. M. Ghosh, A. Arapostathis, and S. Marcus, "Optimal control of switching diffusions with application to flexible manufacturing systems", SIAM J. Control and Optimiz., vol. 31, no. 5, pp. 1183-1204, 1993. (Pubitemid 23709249)
19. M. Ghosh, S. Marcus, and A. Arapostathis, "Controlled switching diffusions as hybrid processes", in Hybrid Syst., G. Goos, R. Alur, and E. Sontag, Eds.: Springer-Verlag, 1996, vol. 1066, Lecture Notes in Computer Science, pp. 64-75. (Pubitemid 126066693)
20. M. Bujorianu and J. Lygeros, "Reachability questions in piecewise deterministic Markov processes", in Hybrid Systems: Comput. and Control, O. Maler and A. Pnueli, Eds.: Springer-Verlag, 2003, vol. 2623, Lecture Notes in Computer Science, pp. 126-140.
21. D. Chatterjee and D. Liberzon, "On stability of randomly switched nonlinear systems", IEEE Trans. Autom. Control, vol. 52, no. 12, pp. 2390-2394, Dec. 2007.
22. S. Strubbe, A. Julius, and A. van der Schaft, "Communicating piecewise deterministic Markov processes", in Proc. IFAC Conf. Analysis and Design of Hybrid Systems, 2003, pp. 349-354.
23. M. Prandini, J. Hu, J. Lygeros, and S. Sastry, "A probabilistic approach to aircraft conflict detection", IEEE Trans. Intell. Transport. Syst., vol. 1, no. 4, pp. 199-220, Dec. 2000.
24. C. Cassandras and R. Mookherjee, "Receding horizon optimal control for some stochastic hybrid systems", in Proc. 41th IEEE Conf. Decision and Control, 2003, pp. 2162-2167.
25. J. Hespanha, "Stochastic hybrid systems: Application to communication networks", in Hybrid Syst.: Comput. and Control, R. Alur and G. Pappas, Eds. Berlin: Springer-Verlag, 2004, vol. 2993, Lecture Notes in Computer Science, pp. 387-401.
26. A. Abate, M. Prandini, J. Lygeros, and S. Sastry, "Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems", Automatica, vol. 44, no. 11, pp. 2724-2734, 2008.
27. A. Schwarm and M. Nikolaou, "Chance-constrained model predictive control", AIChE J., vol. 45, no. 8, pp. 1743-1752, 1999. (Pubitemid 29382586)
28. P. Li, M. Wendt, and G. Wozny, "Robust model predictive control under chance constraints", Comput. and Chem. Eng., vol. 24, no. 2-7, pp. 829-834, 2000. (Pubitemid 30608322)
29. D. van Hessem and O. Bosgra, "A conic reformulation of model predictive control including bounded and stochastic disturbances under state and input constraints", in Proc. 41th IEEE Conf. Decision and Control, Las Vegas, NV, 2002, pp. 4643-4648.
30. I. Batina, A. Stoorvogel, and S. Weiland, "Optimal control of linear, stochastic systems with state and input constraints", in Proc. 41th IEEE Conf. on Decision and Control, 2002, vol. 2, pp. 1564-1569.
31. D. Muñoz de la Peña, A. Bemporad, and T. Alamo, "Stochastic programming applied to model predictive control", in Proc. 44th IEEE Conf. Decision and Control and European Control Conf., Sevilla, Spain, 2005, pp. 1361-1366. (Pubitemid 46297157)
32. P. Couchman, M. Cannon, and B. Kouvaritakis, "Stochastic MPC with inequality stability constraints", Automatica, vol. 42, pp. 2169-2174, 2006. (Pubitemid 44647196)
33. J. Primbs and C. Sung, "Stochastic receding horizon control of constrained linear systems with state and control multiplicative noise", IEEE Trans. Autom. Control, vol. 54, no. 2, pp. 221-230, Feb. 2009.
34. F. Oldewurtel, C. Jones, and M. Morari, "A tractable approximation of chance constrained stochastic MPC based on affine disturbance feedback", in Proc. 47th IEEE Conf. Decision and Control, Cancun, Mexico, 2008, pp. 4731-4736.
35. P. Hokayem, D. Chatterjee, and J. Lygeros, "On stochastic receding horizon control with bounded control inputs", in Proc. 48th IEEE Conf. Decision and Control, Shangai, China, 2009, pp. 6359-6364.
36. L. Blackmore, A. Bektassov, M. Ono, and B. C. Williams, "Robust optimal predictive control of jump Markov linear systems using particles", in Hybrid Syst.: Comput. and Control, A. Bemporad, A. Bicchi, and G. Buttazzo, Eds. New York: Springer-Verlag, 2007, vol. 4416, Lecture Notes in Computer Science, pp. 104-117.
37. D. Bernardini and A. Bemporad, "Scenario-based model predictive control of stochastic constrained linear systems", in Proc. 48th IEEE Conf. Decision and Control, 2009, pp. 6333-6338.
38. F. Torrisi and A. Bemporad, "HYSDEL - A tool for generating computational hybrid models", IEEE Trans. Control Syst. Technol., vol. 12, no. 2, pp. 235-249, Mar. 2004.
39. H. Williams, Model Building in Mathematical Programming. New York: Wiley, 1993.
40. A. Bemporad, W. Heemels, and B. D. Schutter, "On hybrid systems and closed-loop MPC systems", IEEE Trans. Autom. Control, vol. 47, no. 5, pp. 863-869, May 2002. (Pubitemid 34692275)
41. J. Birge and F. Louveaux, Introduction to Stochastic Programming. New York: Springer, 1997.
42. A. Bemporad, Hybrid Toolbox - User's Guide 2003 [Online]. Available: http://www.dii.unisi.it/hybrid/toolbox
43. A. Bemporad, F. Borrelli, and M. Morari, "Piecewise linear optimal controllers for hybrid systems", in Proc. American Control Conference, Chicago, IL, Jun. 2000, pp. 1190-1194. (Pubitemid 32028446)
44. J. Hooker, Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. New York: Wiley, 2000.
45. J. Schwartz, W. Wang, and D. Rivera, "Simulation-based optimization of process control policies for inventory managementin supply chains", Automatica, vol. 42, no. 8, pp. 1311-1320, 2006. (Pubitemid 43962915)
46. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Norwell, MA: Kluwer, 1999.
47. A. Papoulis, Probability, Random Variables and Stochastic Processes. New York: McGraw-Hill, 1991.