Loading [MathJax]/extensions/MathZoom.js
Computation of feasible parametric regions for Lyapunov functions | IEEE Conference Publication | IEEE Xplore

Computation of feasible parametric regions for Lyapunov functions


Abstract:

A computational approach of feasible regions for parameter-dependent Lyapunov functions for linear systems based on real-root-classification (RRC) is proposed in this pap...Show More

Abstract:

A computational approach of feasible regions for parameter-dependent Lyapunov functions for linear systems based on real-root-classification (RRC) is proposed in this paper. We refer to such Lyapunov functions as feasible if there exists a parameter set that guarantees the existence of a Lyapunov function. In this sense, the stability of parameter-dependent linear ordinary differential equations (ODEs) and differential algebraic equations (DAEs) is considered. To this end, the existence condition of Lyapunov functions is given in form of an algebraic condition by means of a quantifier elimination (QE) formulation. We apply RRC to solve the QE problem to obtain algebraic necessary and sufficient existence conditions. Several numerical examples demonstrate that this approach produces non-conservative stability regions in the parameter space.
Date of Conference: 17-20 December 2017
Date Added to IEEE Xplore: 08 February 2018
ISBN Information:
Conference Location: Gold Coast, QLD, Australia

Contact IEEE to Subscribe

References

References is not available for this document.