Analysis of discrete-time PWA systems with logic states

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2289, Issue , 2002, Pages 194-208

  Ferrari Trecate, Giancarlo ^a   Cuzzola, Francesco A ^a   Morari, Manfred ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

H ; Hybrid systems; Linear matrix inequalities; Mixed logic dynamical systems; Piecewise affine systems; Stability

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; CONVERGENCE OF NUMERICAL METHODS; DYNAMICAL SYSTEMS; HYBRID SYSTEMS; LINEAR MATRIX INEQUALITIES; MATRIX ALGEBRA; RECONFIGURABLE HARDWARE;

ANALYSIS PROBLEMS; CANONICAL FORM; DISCRETE TIME; LAGRANGE STABILITY; MIXED LOGIC; PERFORMANCE ANALYSIS; PIECEWISE AFFINE HYBRID SYSTEMS; PIECEWISE AFFINE SYSTEMS;

CONTINUOUS TIME SYSTEMS;

EID: 70449374406     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_17     Document Type: Conference Paper

References (23)

1. A. Bemporad, F. Borrelli, and M. Morari. Optimal controllers for hybrid systems: Stability and explicit form. Proc. 39th Conference on Decision and Control, December 2000.
2. A. Bemporad, G. Ferrari-Trecate, and M. Morari. Observability and Controllability of Piecewise Affine and Hybrid Systems. IEEE Transactions on Automatic Control, 45(10):1864–1876, 2000.
3. A. Bemporad and M. Morari. Control of Systems Integrating Logic, Dynamics, and Constraints. Automatica, 35(3):407–427, March 1999.
4. A. Bemporad, M. Morari, V. Dua, and E. N. Pistikopoulos. The explicit linear quadratic regulator for constrained systems. In American Control Conference, Chicago, IL, June 2000.
5. A. Bemporad, F.D. Torrisi, and M. Morari. Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems. In Springer Verlag Lecture Notes in Computer Science, editor, Proceedings 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000.
6. M.S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Autom. Control, 43(4):475–482, April 1998.
7. C. I. Byrnes and W. Lin. Passivity and absolute stabilization of a class of discretetime nonlinear systems. Automatica, 31(2):263–268, 1995.
8. F. A. Cuzzola and M. Morari. A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems. In A. Sangiovanni-Vincentelli and M. Di Benedetto, editors, Hybrid Systems: Computation and Control, Proceedings 4th International Workshop on Hybrid Systems, Lecture Notes in Computer Science 2034, pages 189–203. Springer-Verlag, 2001.
9. G. Ferrari-Trecate, F. A. Cuzzola, D. Mignone, and M. Morari. Analysis of Discrete-Time Piecewise Affine and Hybrid Systems. Technical Report AUT01- 16, Automatic Control Laboratory, ETH Zurich, 2001. Provisionally accepted for the publication in Automatica.
10. G. Ferrari-Trecate, F. A. Cuzzola, and M. Morari. Analysis of Discrete-Time PWA Systems with Boolean Inputs, Outputs and States. Technical Report AUT01-21, Automatic Control Laboratory, ETH Zurich, 2001.
11. P. Ghainet, P. Apkarian, and M. Chilali. Affine parameter-dependent Lyapunov functions and real parametric uncertainty. IEEE Transactions on Automatic Control, 41(3):436–442, 1996.
12. A. Hassibi, S. P. Boyd, and J. P. How. A Class of Lyapunov Functionals for Analyzing Hybrid Dynamical Systems. In Proc. of the American Control Conference, pages 2455-2460, 1999.
13. W.P.M.H. Heemels, B. De Schutter, and A. Bemporad. On the Equivalence of Classes of Hybrid Systems: Mixed Logical Dynamical and Complementarity Systems. Automatica, 37(7):1085–1091, 2000.
14. M. Johannson and A. Rantzer. Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Trans. Autom. Control, 43(4):555–559, 1998.
15. T. A. Johansen. Computation of Lyapunov functions for smooth nonlinear systems using convex optimisation. Automatica, 36(11):1617–1626, 2000.
16. ∞ Control of Discrete-Time Nonlinear Systems. IEEE Transactions on Automatic Control, 41(4):494–510, 1996.
17. A. Pettersson and B. Lennartson. Exponential Stability of Hybrid Systems Using Piecewise Quadratic Lyapunov Functions Resulting in LMIs. In IFAC, 14th Triennial World Congress, Beijing, P.R. China, 1999.
18. C. W. Scherer, P. Gahinet, and M. Chilali. Multi-Objective Output-Feedback Control via LMI Optimization. IEEE Transactions on Automatic Control, 42(7):896–911, 1997.
19. ∞ Control for an Integrated Suspension System via Parametrized Linear Matrix Inequality Characterizations. IEEE Transactions on Control System Technology, 9(1):175–185, 2001.
20. ∞ control problem: A state space approach. System & Control Letters, 16:1–8, 1991.
21. ∞ control. IEEE Transactions on Automatic Control, 37:770–784, 1992.
22. J. C. Willems. Dissipative dynamic systems. Arch. Rational Mechanics Analysis, 45:321–393, 1972.
23. V. A. Yakubovich. S-Procedure in nonlinear control theory. Vestnik Leninggradskogo Universiteta, Ser. Matematika, pages 62–77, 1971.