Finite-time stability and stabilisation with polyhedral domains for linear systems

ABSTRACT This paper deals with finite-time stability, boundedness and stabilisation of discrete-time linear systems with regards to polyhedral domains. The key observation made in this paper is that finite-time stability properties can be analysed in terms of reachable sets. We first establish necessary and sufficient conditions for finite-time stability and boundedness of nominal systems, expressible as linear programming problems. We then present sufficient conditions that may be used to compute feedback control to render such systems finite-time stable/bounded. Finally we generalise the above results to the case of discrete-time linear systems with polytopic uncertainty subject to a bounded disturbance.

[1]  Francesco Amato,et al.  Finite-time stability of linear time-varying systems with jumps , 2009, Autom..

[2]  Bruce H. Krogh,et al.  Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..

[3]  Francesco Amato,et al.  Finite-time control of linear systems subject to parametric uncertainties and disturbances , 2001, Autom..

[4]  G. Bitsoris.  On the positive invariance of polyhedral sets for discrete-time systems , 1988 .

[5]  Carlo Cosentino,et al.  Finite-time stabilization via dynamic output feedback, , 2006, Autom..

[6]  Francesco Amato,et al.  Finite-Time Stability and Control , 2013 .

[7]  C. Abdallah,et al.  Robust finite-time stability design via linear matrix inequalities , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[8]  Dennis S. Bernstein,et al.  Finite-Time Stability of Continuous Autonomous Systems , 2000, SIAM J. Control. Optim..

[9]  Francesco Amato,et al.  Finite-Time Stability of Linear Time-Varying Systems: Analysis and Controller Design , 2010, IEEE Transactions on Automatic Control.

[10]  Francesco Amato,et al.  Robust finite-time stabilisation of uncertain linear systems , 2011, Int. J. Control.

[11]  P. Dorato,et al.  Finite time stability under perturbing forces and on product spaces , 1967, IEEE Transactions on Automatic Control.

[12]  Qing-Guo Wang,et al.  Control Design with Guaranteed Transient Performance via Reachable Set Estimates , 2017 .

[13]  Oded Maler,et al.  Algorithmic Verification of Continuous and Hybrid Systems , 2014, INFINITY.

[14]  Francesco Amato,et al.  Piecewise quadratic functions for finite-time stability analysis , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[15]  Francesco Amato,et al.  Necessary and sufficient conditions for finite-time stability of linear systems , 2003, Proceedings of the 2003 American Control Conference, 2003..

[16]  F. Amato,et al.  Finite-time stability analysis of linear discrete-time systems via polyhedral Lyapunov functions , 2008, 2008 American Control Conference.

[17]  Chzhan-Sy-In.  Stability of motion during a finite time interval , 1959 .

[18]  Francesco Amato,et al.  Finite-time stability of linear systems: an approach based on polyhedral Lyapunov functions , 2007, 2007 46th IEEE Conference on Decision and Control.

[19]  B. Krogh,et al.  Computing polyhedral approximations to flow pipes for dynamic systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[20]  Sophie Tarbouriech,et al.  Finite-Time Stabilization of Linear Time-Varying Continuous Systems , 2009, IEEE Transactions on Automatic Control.