An efficient technique for translating mixed logical dynamical systems into piecewise affine systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2002, Pages 1970-1975

  Bemporad, Alberto ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DIGITAL CONTROL SYSTEMS; DISCRETE TIME CONTROL SYSTEMS; LINEAR EQUATIONS; MATHEMATICAL MODELS; PIECEWISE LINEAR TECHNIQUES;

LINEAR DYNAMIC EQUATIONS; LINEAR HYBRID SYSTEMS; MIXED LOGICAL SYSTEMS; PIECEWISE AFFINE SYSTEMS;

LINEAR CONTROL SYSTEMS;

EID: 0036990551     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. P.J. Antsaklis. A brief introduction to the theory and applications of hybrid systems. Proc. IEEE, Special Issue on Hybrid Systems: Theory and Applications, 88(7):879-886, July 2000.
2. E. Asarin, O. Bournez, T. Dang, and O. Maler. Reachability analysis of piecewise-linear dynamical systems. In B. Krogh and N. Lynch, editors, Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, pages 20-31. Springer-Verlag, 2000.
3. 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.
4. A. Bemporad, F. Borrelli, and M. Morari. On the optimal control law for linear discrete time hybrid systems. In Hybrid Systems: Computation and Control, Lecture Notes in Computer Science. Springer Verlag, 2002.
5. A. Bemporad, G. Ferrari-Trecate, and M. Morari. Observability and controllability of piecewise affine and hybrid systems. IEEE Trans. Automatic Control, 45(10):1864-1876, 2000.
6. A. Bemporad, K. Fukuda, and F.D. Torrisi. Convexity recognition of the union of polyhedra. Computational Geometry, 18:141-154, 2001.
7. A. Bemporad and D. Mignone. MIQP.M: A Matlab function for solving mixed integer quadratic programs. ETH Zurich, 2000. Code available at http://control.ethz.ch/~hybrid/miqp.
8. A. Bemporad, D. Mignone, and M. Morari. Moving horizon estimation for hybrid systems and fault detection. In Proc. American Contr. Conf., pages 2471-2475, Chicago, IL, June 1999.
9. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407-427, March 1999.
10. A. Bemporad, M. Morari, V. Dua, and E. N. Pistikopoulos. The explicit linear quadratic regulator for constrained systems. Automatica, 38(1):3-20, 2002.
11. A. Bemporad, F.D. Torrisi, and M. Morari. Optimization-based verification and stability characterization of piecewise affine and hybrid systems. In B. Krogh and N. Lynch, editors, Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, pages 45-58. Springer Verlag, 2000.
12. S. Boyd and L. Vandenberghe. Convex Optimization. To be published in 2003. http://www.stanford.edu/class/ee364/index.html#book.
13. M.S. Branicky. Studies in hybrid systems: modeling, analysis, and control. PhD thesis, LIDS-TH 2304, Massachusetts Institute of Technology, Cambridge, MA, 1995.
14. A. Chutinan and B. H. Krogh. Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations. In F. Vaandrager and J. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 76-90. Springer-Verlag, 1999.
15. R. DeCarlo, M. Branicky, S. Pettersson, and B. Lennartson. Perspectives and results on the stability and stabilizability of hybrid systems. Proceedings of the IEEE, 88(7):1069-1082, 2000.
16. T. Gal. Postoptimal Analyses, Parametric Programming, and Related Topics. de Gruyter, Berlin, 2nd edition, 1995.
17. K. Gokbayrak and C.G. Cassandras. A hierarchical decomposition method for optimal control of hybrid systems. In Proc. 38th IEEE Conf. on Decision and Control, pages 1816-1821, Phoenix, AZ, December 1999.
18. S. Hedlund and A. Rantzer. Optimal control of hybrid systems. In Proc. 38th IEEE Conf. on Decision and Control, pages 3972-3976, Phoenix, AZ, December 1999.
19. W.P.M.H. Heemels, J.M. Schumacher, and S. Weiland. Linear complementarity systems. SIAM Journal on Applied Mathematics, 60(4):1234-1269, 2000.
20. W.P.M.H. Heemels, B. De Schutter, and A. Bemporad. Equivalence of hybrid dynamical models. Automatica, 37(7):1085-1091, July 2001.
21. ILOG, Inc. CPLEX 7.0 User Manual. Gentility Cedex, France, 2000.
22. M. Johannson and A. Rantzer. Computation of piece-wise quadratic Lyapunov functions for hybrid systems. IEEE Trans. Automatic Control, 43(4):555-559, 1998.
23. J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349-370, 1999.
24. E.D. Sontag. Nonlinear regulation: The piecewise linear approach. IEEE Trans. Automatic Control, 26(2):346-358, April 1981.
25. F.D. Torrisi and A. Bemporad. Discrete-time hybrid modeling and verification. In Proc. 41th IEEE Conf. on Decision and Control, pages 2899-2904, Orlando, Florida, 2001.
26. F.D. Torrisi and A. Bemporad. HYSDEL - A tool for generating computational hybrid models. Technical Report AUT02-03, ETH Zurich, Submitted for publication, 2002. http://control.ethz.ch/~hybrid/hysdel.
27. A.J. van der Schaft and J.M. Schumacher. Complementarity modelling of hybrid systems. IEEE Trans. Automatic Control, 43:483-490, 1998.
28. H.P. Williams. Model Building in Mathematical Programming. John Wiley & Sons, Third Edition, 1993.