Stability verification for energy-aware hydraulic pressure control via simplicial subdivision

This paper presents a linear programming-based method for finding Lyapunov functions of dynamical systems with polynomial vector fields. We propose to utilize a certificate of positivity in the Bernstein basis based on subdivisioning to find a Lyapunov function. The subdivision-based method is proposed since it has better degree bounds than similar methods based on degree elevation. The proposed method is successfully applied to find a Lyapunov function for a pressure controlled water distribution system.

[1]  Marie-Françoise Roy,et al.  Real algebraic geometry , 1992 .

[2]  Didier Henrion,et al.  GloptiPoly 3: moments, optimization and semidefinite programming , 2007, Optim. Methods Softw..

[3]  Richard Leroy.  Certificates of positivity in the simplicial Bernstein basis. , 2009 .

[4]  Matthew M. Peet,et al.  Constructing piecewise-polynomial lyapunov functions for local stability of nonlinear systems using Handelman's theorem , 2014, 53rd IEEE Conference on Decision and Control.

[5]  Tom Nørgaard Jensen,et al.  A Distributed Algorithm for Energy Optimization in Hydraulic Networks , 2014 .

[6]  Rafael Wisniewski,et al.  Output Regulation of Large-Scale Hydraulic Networks , 2014, IEEE Transactions on Control Systems Technology.

[7]  Adrian Bowyer,et al.  Robust arithmetic for multivariate Bernstein-form polynomials , 2000, Comput. Aided Des..

[8]  Peter J Seiler,et al.  SOSTOOLS and its control applications , 2005 .

[9]  Amir Ali Ahmadi,et al.  DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization , 2014, 2014 48th Annual Conference on Information Sciences and Systems (CISS).

[10]  Rafael Wisniewski,et al.  Control to facet for polynomial systems , 2014, HSCC.

[11]  Rafael Wisniewski,et al.  Robust stability of switched systems , 2014, 53rd IEEE Conference on Decision and Control.

[12]  Victoria Powers,et al.  Pólya's Theorem with zeros , 2011, J. Symb. Comput..

[13]  Pablo A. Parrilo,et al.  Semidefinite programming relaxations for semialgebraic problems , 2003, Math. Program..

[14]  Rida T. Farouki,et al.  The Bernstein polynomial basis: A centennial retrospective , 2012, Comput. Aided Geom. Des..

[15]  Claudio De Persis,et al.  Pressure Regulation in Nonlinear Hydraulic Networks by Positive and Quantized Controls , 2011, IEEE Transactions on Control Systems Technology.