ABSTRACT
A symbolic abstraction method is used to synthesize stabilizing state-feedback controllers for piecewise affine plants. An increasing sequence of symbolic models of the piecewise affine plant and the corresponding sequence of convex synthesis conditions are obtained in the order of decreasing conservatism. Whenever one of these conditions is feasible, synthesis of a stabilizing piecewise affine controller is guaranteed. At least in principle, the synthesis conditions are capable of identifying the largest stabilizable region, and hence they do not suffer from inherent conservatism.
- R. Alur, T. Henzinger, G. Lafferriere, and G. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88(7):971--984, 2000.Google ScholarCross Ref
- D. Avis and K. Fukuda. Reverse search for enumeration. Discrete Applied Mathematics, 65(1-3):21--46, 1996. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407--427, 1999. Google ScholarDigital Library
- S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan. Linear Matrix Inequalities in System and Control Theory, volume 15 of Studies in Applied Mathematics. SIAM, Philadelphia, PA, 1994.Google Scholar
- F. A. Cuzzola and M. Morari. A generalized approach for analysis and control of discrete-time piecewise affine and hybrid systems. In M. D. Di Benedetto and A. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, volume 2034 of Lecture Notes in Computer Science, pages 189--203, London, UK, 2001. Springer-Verlag. Google ScholarDigital Library
- T. Geyer, F. D. Torrisi, and M. Morari. Optimal complexity reduction of polyhedral piecewise affine systems. Automatica, 44(7):1728--1740, 2008. Google ScholarDigital Library
- E. G. Gilbert and K. T. Tan. Linear systems with state and control constraints: The theory and application of maximal output admissible sets. IEEE Transactions on Automatic Control, 36(9):1008--1020, 1991.Google ScholarCross Ref
- A. Girard and G. J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, 52(5):782--798, 2007.Google ScholarCross Ref
- E. A. Gol, X. Ding, M. Lazar, and C. belta. Finite bisimulations for switched linear systems. Proceedings of the 51st IEEE Conference on Decision and Control, pages 7632--7637, 2012.Google ScholarCross Ref
- M. Lazar and A. Jokić. A generating function approach to the stability of discrete-time switched linear systems. In Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, pages 131--140, 2010. Google ScholarDigital Library
- D. Q. Mayne and S. Raković. Model predictive control of constrained piecewise affine discrete-time systems. International Journal of Robust and Nonlinear Control, 13(3-4):261--279, 2003.Google ScholarCross Ref
- D. Mignone, G. Ferrari-Trecate, and M. Morari. Stability and stabilization of piecewise affine and hybrid systems: An LMI approach. In Proceedings of the 39th IEEE Conference on Decision and Control, volume 1, pages 504--509, 2000.Google ScholarCross Ref
- S. Mirzazad-Barijough and J.-W. Lee. Robust stability and performance analysis of discrete-time piecewise affine systems with disturbances. In Proceedings of the 51st IEEE Conference on Decision and Control, pages 4229--4234, 2012.Google ScholarCross Ref
- S. Mirzazad-Barijough and J.-W. Lee. Stability and transient performance of discrete-time piecewise affine systems. IEEE Transactions on Automatic Control, 57(4):936--949, 2012.Google ScholarCross Ref
- P. Prabhakar, G. Dullerud, and M. Viswanathan. Pre-orders for reasoning about stability. In Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, pages 197--206, 2012. Google ScholarDigital Library
- E. D. Sontag. Nonlinear regulation: The piecewise linear approach. IEEE Transactions on Automatic Control, 26(2):346--358, 1981.Google ScholarCross Ref
- P. Tabuada. Controller synthesis for bisimulation equivalence. Systems & Control Letters, 57(6):443--452, 2008.Google ScholarCross Ref
- B. Yordanov and C. Belta. Formal analysis of discrete-time piecewise affine systems. IEEE Transactions on Automatic Control, 55(12):2834--2840, 2010.Google ScholarCross Ref
- B. Yordanov, J. Tumova, I. Cerna, J. Barnat, and C. Belta. Temporal logic control of discrete-time piecewise affine systems. IEEE Transactions on Automatic Control, 57(6):1491--1504, 2012.Google ScholarCross Ref
Index Terms
- State-feedback stabilization of discrete-time piecewise affine systems
Recommendations
Stabilization of Hybrid Systems by Feedback Control Based on Discrete-Time State Observations
Recently, Mao [Automatica J. IFAC, 49 (2013), pp. 3677--3681] initiated the study the mean-square exponential stabilization of continuous-time hybrid stochastic differential equations by feedback controls based on discrete-time state observations. In the ...
Brief Analysis of discrete-time piecewise affine and hybrid systems
In this paper, we present various algorithms both for stability and performance analysis of discrete-time piece-wise affine (PWA) systems. For stability, different classes of Lyapunov functions are considered and it is shown how to compute them through ...
Stabilization analysis for discrete-time systems with time delay
The stabilization problem for a class of discrete-time systems with time-varying delay is investigated. By constructing an augmented Lyapunov function, some sufficient conditions guaranteeing exponential stabilization are established in forms of linear ...
Comments