ABSTRACT
In this paper, we address the Bernstein expansion of rational polynomial continuous dynamical systems over simplices. We consider rational Lyapunov functions and controllers both expanded into rational Bernstein form. Rational control functions are optimized by the smallest and largest rational Bernstein coefficients of maximum degree. Bounds for certifying the existence of rational functions in the monomial and Bernstein forms are given. Subsequently, the maximum degree of Bernstein basis is sufficiently optimized.
Supplemental Material
Available for Download
- Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, and Erika Ábrahám. 2015. Linear relaxations of polynomial positivity for polynomial lyapunov function synthesis. IMA Journal of Mathematical Control and Information 33, 3 (2015), 723–756.Google ScholarCross Ref
- Fatima Boudaoud, Fabrizio Caruso, and Marie-Françoise Roy. 2008. Certificates of positivity in the Bernstein basis. Discrete & Computational Geometry 39, 4 (2008), 639–655.Google ScholarDigital Library
- Tareq Hamadneh, Ibraheem Abu-Falahah, and Mohammad AlQudah. 2022. Numerical optimization and positivity certificates for polynomials and rationals over simplices. J. Comput. Appl. Math. (2022), 114430.Google Scholar
- Tareq Hamadneh, Nikolaos Athanasopoulos, and Mohammed Ali. 2019. Minimization and Positivity of the Tensorial Rational Bernstein Form. In 2019 IEEE Jordan International Joint Conference on Electrical Engineering and Information Technology (JEEIT). IEEE, 474–479.Google Scholar
- Tareq Hamadneh, Nikolaos Athanasopoulos, and Rafael Wisniewski. 2020. Control design and Lyapunov Functions via Bernstein Approximations: Exact Results. IFAC-PapersOnLine 53, 2 (2020), 6459–6464.Google ScholarCross Ref
- Tareq Hamadneh and Rafael Wisniewski. 2018. Algorithm for Bernstein Polynomial Control Design. IFAC-PapersOnLine 51, 16 (2018), 283–289.Google ScholarCross Ref
- Jeffrey M Lane and Richard F Riesenfeld. 1981. Bounds on a polynomial. BIT Numerical Mathematics 21, 1 (1981), 112–117.Google ScholarDigital Library
- Richard Leroy. 2008. Certificats de positivité et minimisation polynomiale dans la base de Bernstein multivariée. Ph. D. Dissertation. Université Rennes 1.Google Scholar
- Richard Leroy. 2009. Certificates of positivity in the simplicial Bernstein basis. (2009). https://hal.archives-ouvertes.fr/hal-00589945 working paper or preprint.Google Scholar
- Richard Leroy. Springer, 2012. Convergence under subdivision and complexity of polynomial minimization in the simplicial Bernstein basis. Reliable Computing 17 (Springer, 2012), 11–21.Google Scholar
- Anthony Narkawicz, Jürgen Garloff, Andrew P Smith, and César A Munoz. 2012. Bounding the Range of a Rational Functiom over a Box. Reliable Computing 17(2012) (2012), 34–39.Google Scholar
- Paulo Tabuada. 2009. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media.Google ScholarDigital Library
- Jihad Titi, Tareq Hamadneh, and Jürgen Garloff. 2015. Convergence of the Simplicial Rational Bernstein Form. In Modelling, Computation and Optimization in Information Systems and Management Sciences. Springer, 433–441.Google Scholar
Index Terms
- Bernstein Coefficients for Computing Rational Lyapunov and Control Functions of Dynamical Systems
Recommendations
Orthogonal rational functions and quadrature on an interval
Rational functions with real poles and poles in the complex lower half-plane, orthogonal on the real line, are well known. Quadrature formulas similar to the Gauss formulas for orthogonal polynomials have been studied. We generalize to the case of ...
On the Bernstein Inequality for Rational Functions with a Prescribed Zero
We extend some results of Giroux and Rahman (Trans. Amer. Math. Soc.193(1974), 67 98) for Bernstein-type inequalities on the unit circle for polynomials with a prescribed zero atz=1 to those for rational functions. These results improve the Bernstein-...
Orthogonal rational functions and rational modifications of a measure on the unit circle
In this paper we present formulas expressing the orthogonal rational functions associated with a rational modification of a positive bounded Borel measure on the unit circle, in terms of the orthogonal rational functions associated with the initial ...
Comments