Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form

IEEE Transactions on Automatic Control

Volumn 49, Issue 5, 2004, Pages 832-838

  Bemporad, Alberto ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

Equivalent models; Hybrid systems; Mixed integer programming; Multiparametric programming; Piecewise affine systems

Indexed keywords

ALGORITHMS; INTEGER PROGRAMMING; OPTIMAL CONTROL SYSTEMS; PIECEWISE LINEAR TECHNIQUES;

EQUIVALENT MODEL; HYBRID SYSTEM; MIXED-INTEGER PROGRAMMING; MULTIPARAMETRIC PROGRAMMING; PIECEWISE AFFINE SYSTEM;

DIGITAL CONTROL SYSTEMS;

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

References (31)

1. P. J. Antsaklis, "A brief introduction to the theory and applications of hybrid systems," Proc. IEEE, vol. 88, pp. 879-886, July 2000.
2. J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, 1999.
3. M. S. Branicky, "Studies in hybrid systems: modeling, analysis, and control," Ph.D. dissertation, Mass. Inst. Technol., Cambridge, MA, 1995.
4. K. Gokbayrak and C. G. Cassandras, "A hierarchical decomposition method for optimal control of hybrid systems," in Proc. 38th IEEE Conf. Decision Control, Phoenix, AZ, Dec. 1999, pp. 1816-1821.
5. S. Hedlund and A. Rantzer, "Optimal control of hybrid systems," in Proc. 38th IEEE Conf. on Decision and Control, Phoenix, AZ, Dec. 1999, pp. 3972-3976.
6. W. P. M. H. Heemels, B. De Schutter, and A. Bemporad, "Equivalence of hybrid dynamical models," Automatica, vo. 37, no. 7, pp. 1085-1091, July 2001.
7. E. D. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Automat. Contr., vol. AC-26, pp. 346-358, Apr. 1981.
8. W. P. M. H. Heemels, J. M. Schumacher, and S. Weiland, "Linear complementary systems," SIAM J. Appl. Math., vol. 60, no. 4, pp. 1234-1269, 2000.
9. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol. 35, no. 3, pp. 407-427, Mar. 1999.
10. F. D. Torrisi and A. Bemporad, "HYSDEL - A tool for generating computational hybrid models," IEEE Trans. Contr. Syst. Technol., vol. 12, pp. 235-249, Mar. 2004.
11. ____, "Discrete-time hybrid modeling and verification," in Proc. 41th IEEE Conf. Decision Control, Orlando, FL, 2001, pp. 2899-2904.
12. A. Bemporad, F. Borrelli, and M. Morari, "Piecewise linear optimal controllers for hybrid systems," in Proc. Amer. Control Conf., Chicago, IL, June 2000, pp. 1190-1194.
13. R. DeCarlo, M. Branicky, S. Patterson, and B. Lennartson, "Perspectives and results on the stability and stabilizability of hybrid systems," Proc. IEEE, vol. 88, pp. 1069-1092, July 2000.
14. M. Johansson and A. Rantzer, "Computation of piece-wise quadratic Lyapunov functions for hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 555-559, Apr. 1998.
15. G. Ferrari-Trecate, F. A. Cuzzola, D. Mignone, and M. Morari, "Analysis of discrete-time piecewise affine and hybrid sysetms," Automatica, vol. 38, pp. 1239-1246, 2002.
16. A. Bemporad, F. Borrelli, and M. Morari, "On the optimal control law for linear discrete time hybrid systems," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Computer Science, M. Greenstreet and C. Tomlin, Eds. New York: Springer-Verlag, 2002, 2289, pp. 105-119.
17. E. C. Kerrigan and D. Q. Mayne, "Optimal control of constrained, piecewise affine systems with bounded disturbances," in Proc. 42th IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2002, pp. 1552-1557.
18. D. Q. Mayne and S. Rakovic, "Optimal control of constrained piecewise affine discrete time systems using reverse transformation," in Proc. 42th IEEE Conf. Decision Control, Las Vegas, NV, Dec. 2002, pp. 1546-1551.
19. E. Asarin, O. Bournez, T. Dang, and O. Maler, "Reachability analysis of piecewise-linear dynamical systems," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Computer Science, B. Krogh and N. Lynch, Eds. New York: Springer-Verlag, 2000, vol. 1790, pp. 20-31.
20. A. Chutinan and B. H. Krogh, "Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Computer Science, F. Vaadrager and J. van Schuppen, Eds. New York: Springer-Verlag, 1999, vol. 1569, pp. 76-90.
21. A. Bemporad, F. D. Torrisi, and M. Morari, "Optimization-based verification and stability characterization of piecewise affine and hybrid systems," in Hybrid Systems: Computation and Control. ser. Lecture Notes in Computer Science, B. Krogh and N. Lynch, Eds. New York: Springer-Verlag, 2000, vol. 1790, pp. 45-58.
22. A. Bemporad, G. Ferrari-Trecate, and M. Morari, "Observability and controllability of piecewise affine and hybrid systems," IEEE Trans. Automat. Contr., vol. 45, pp. 1864-1876, Oct. 2000.
23. A. Bemporad, Hybrid Toolbox - User's Guide, Dec. 2003.
24. T. Gal, Postoptimal Analyzes, Parametric Programming, and Related Topics, 2nd ed. Berlin, Germany: de Gruyter, 1995.
25. A. Bemporad, M. Morari, V. Dua, and E. N. Pistikopoulos, "The explicit linear quadratic regulator for constrained systems," Automatica, vol. 38, no. 1, pp. 3-20, 2002.
26. CPLEX 9.0 User Manual, ILOG, Inc. Gentilly Cedex, France, 2003.
27. A. Makhorin. (2003) GLPK (GNU Linear Programming Kit) User's Guide. [Online]. Available: http//www.gnu.org/software/glpk/glpk.html
28. H. P. Williams, Model Building in Mathematical Programming, 3rd ed. New York: Wiley, 1993.
29. A. Bemporad, "An efficient technique for translating mixed logical dynamical systems into piecewise affine systems," in Proc. 42th IEEE Conf. Decision Control, 2002, pp. 1970-1975.
30. J. N. Hooker, Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. New York: Wiley, 2000.
31. A. Bemporad, K. Fukuda, and F. D. Torrisi, "Convexity recognition of the union of polyhedra," Comput. Geom., vol. 18, pp. 141-154, 2001.