Geometric Programming for Optimal Positive Linear Systems

This article studies the parameter tuning problem of positive linear systems for optimizing their stability properties. We specifically show that, under certain regularity assumptions on the parameterization, the problem of finding the minimum-cost parameters that achieve a given requirement on a system norm reduces to a <italic>geometric program</italic>, which, in turn, can be exactly and efficiently solved by convex optimization. The flexibility of geometric programming allows the state, input, and output matrices of the system to simultaneously depend on the parameters to be tuned. The class of system norms under consideration includes the <inline-formula><tex-math notation="LaTeX">$H^2$</tex-math></inline-formula> norm, <inline-formula><tex-math notation="LaTeX">$H^\infty$</tex-math></inline-formula> norm, Hankel norm, and Schatten <inline-formula><tex-math notation="LaTeX">$p$</tex-math></inline-formula>-norm. Also, the parameter tuning problem for ensuring the robust stability of the system under structural uncertainties is shown to be solved by geometric programming. The proposed optimization framework is further extended to delayed positive linear systems, where it is shown that the parameter tuning problem jointly constrained by the exponential decay rate, the <inline-formula><tex-math notation="LaTeX">$\mathcal L^1$</tex-math></inline-formula>-gain, and the <inline-formula><tex-math notation="LaTeX">$\mathcal L^\infty$</tex-math></inline-formula>-gain can be solved by convex optimization. The assumption on the system parameterization is stated in terms of posynomial functions, which form a broad class of functions and thus allow us to deal with various interesting positive linear systems arising from, for example, dynamical buffer networks and epidemic spreading processes. We present numerical examples to illustrate the effectiveness of the proposed optimization framework.

[1]  Shengyuan Xu,et al.  Control for stability and positivity: equivalent conditions and computation , 2005, IEEE Transactions on Circuits and Systems II: Express Briefs.

[2]  Hojjat Adeli,et al.  Efficient optimization of space trusses , 1986 .

[3]  S. Rinaldi,et al.  Positive Linear Systems: Theory and Applications , 2000 .

[4]  Wassim M. Haddad,et al.  Stability theory for nonnegative and compartmental dynamical systems with time delay , 2004, Proceedings of the 2004 American Control Conference.

[5]  Chuangyin Dang,et al.  Stability Analysis of Positive Switched Linear Systems With Delays , 2011, IEEE Transactions on Automatic Control.

[6]  George J. Pappas,et al.  Geometric programming relaxations for linear system reachability , 2004, Proceedings of the 2004 American Control Conference.

[7]  Christopher King,et al.  An alternative proof of the Barker, Berman, Plemmons (BBP) result on diagonal stability and extensions - Corrected Version , 2009 .

[8]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[9]  Takashi Tanaka,et al.  The Bounded Real Lemma for Internally Positive Systems and H-Infinity Structured Static State Feedback , 2011, IEEE Transactions on Automatic Control.

[10]  Chinwendu Enyioha,et al.  Optimal Resource Allocation for Network Protection Against Spreading Processes , 2013, IEEE Transactions on Control of Network Systems.

[11]  James Lam,et al.  $\ell_{\infty}/L_{\infty} $-Gain Analysis for Positive Linear Systems With Unbounded Time-Varying Delays , 2015, IEEE Transactions on Automatic Control.

[12]  Marcello Colombino,et al.  A Convex Characterization of Robust Stability for Positive and Positively Dominated Linear Systems , 2015, IEEE Transactions on Automatic Control.

[13]  K. Glover All optimal Hankel-norm approximations of linear multivariable systems and their L, ∞ -error bounds† , 1984 .

[14]  Yoshio Ebihara,et al.  $H_2$ Analysis of LTI Systems via Conversion to Externally Positive Systems , 2018, IEEE Transactions on Automatic Control.

[15]  Maria Elena Valcher,et al.  A Tutorial on Positive Systems and Large Scale Control , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[16]  Marcello Colombino,et al.  Convex reformulation of a robust optimal control problem for a class of positive systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[17]  Yurii Nesterov,et al.  Interior-point polynomial algorithms in convex programming , 1994, Siam studies in applied mathematics.

[18]  Qing-Long Han,et al.  $L_1$-Stochastic Stability and $L_1$-Gain Performance of Positive Markov Jump Linear Systems With Time-Delays: Necessary and Sufficient Conditions , 2017, IEEE Transactions on Automatic Control.

[19]  Daniel Pérez Palomar,et al.  Power Control By Geometric Programming , 2007, IEEE Transactions on Wireless Communications.

[20]  Mihailo R. Jovanovic,et al.  Convex synthesis of symmetric modifications to linear systems , 2015, 2015 American Control Conference (ACC).

[21]  Victor M. Preciado,et al.  Optimal Design of Switched Networks of Positive Linear Systems via Geometric Programming , 2015, IEEE Transactions on Control of Network Systems.

[22]  Victor M. Preciado,et al.  Stability of Spreading Processes over Time-Varying Large-Scale Networks , 2015, IEEE Transactions on Network Science and Engineering.

[23]  Rajeev Motwani,et al.  The PageRank Citation Ranking : Bringing Order to the Web , 1999, WWW 1999.

[24]  Petter Holme,et al.  Cost-efficient vaccination protocols for network epidemiology , 2016, PLoS Comput. Biol..

[25]  Joe Brewer,et al.  Kronecker products and matrix calculus in system theory , 1978 .

[26]  G. Balázsi,et al.  Optimality and adaptation of phenotypically switching cells in fluctuating environments. , 2015, Physical review. E, Statistical, nonlinear, and soft matter physics.

[27]  Victor M. Preciado,et al.  Epidemic Processes over Adaptive State-Dependent Networks , 2016, Physical review. E.

[28]  Anders Rantzer,et al.  A convex optimization approach to cancer treatment to address tumor heterogeneity and imperfect drug penetration in physiological compartments , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[29]  P. Van Mieghem,et al.  Virus Spread in Networks , 2009, IEEE/ACM Transactions on Networking.

[30]  Stephen P. Boyd,et al.  A tutorial on geometric programming , 2007, Optimization and Engineering.

[31]  Marcello Colombino,et al.  On the optimal control problem for a class of monotone bilinear systems , 2016, ArXiv.

[32]  George J. Pappas,et al.  Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks , 2015, IEEE Control Systems.

[33]  Stephen P. Boyd,et al.  Digital Circuit Optimization via Geometric Programming , 2005, Oper. Res..

[34]  D. Chandra,et al.  Improved Routh-Pade/spl acute/ approximants: a computer-aided approach , 2004, IEEE Transactions on Automatic Control.

[35]  D.L. Elliott,et al.  Feedback systems: Input-output properties , 1976, Proceedings of the IEEE.

[36]  V. Preciado,et al.  Delayed bet-hedging resilience strategies under environmental fluctuations. , 2017, Physical review. E.

[37]  Takashi Tanaka,et al.  DC-dominant property of cone-preserving transfer functions , 2013, Syst. Control. Lett..

[38]  Parikshit Shah,et al.  Relative Entropy Relaxations for Signomial Optimization , 2014, SIAM J. Optim..

[39]  Marcello Colombino,et al.  Structured Decentralized Control of Positive Systems With Applications to Combination Drug Therapy and Leader Selection in Directed Networks , 2017, IEEE Transactions on Control of Network Systems.

[40]  Piet Van Mieghem,et al.  Epidemic processes in complex networks , 2014, ArXiv.

[41]  Fabian R. Wirth,et al.  A positive systems model of TCP-like congestion control: asymptotic results , 2006, IEEE/ACM Transactions on Networking.

[42]  Robert Shorten,et al.  On the Stability of Switched Positive Linear Systems , 2007, IEEE Transactions on Automatic Control.

[43]  Gene Woolsey,et al.  OR Practice - Solving Complex Chemical Equilibria Using a Geometric-Programming Based Technique , 1986, Oper. Res..

[44]  Patrizio Colaneri,et al.  Stochastic stability of Positive Markov Jump Linear Systems , 2014, Autom..

[45]  Richard M. Murray,et al.  A scalable formulation for engineering combination therapies for evolutionary dynamics of disease , 2013, 2014 American Control Conference.

[46]  Patrizio Colaneri,et al.  Optimal therapy scheduling for a simplified HIV infection model , 2013, Autom..

[47]  Corentin Briat,et al.  Robust stability and stabilization of uncertain linear positive systems via integral linear constraints: L1‐gain and L∞‐gain characterization , 2012, ArXiv.

[48]  Franco Blanchini,et al.  Co-Positive Lyapunov Functions for the Stabilization of Positive Switched Systems , 2012, IEEE Transactions on Automatic Control.

[49]  Peng Shi,et al.  Stability of switched positive linear systems with average dwell time switching , 2012, Autom..

[50]  Franco Blanchini,et al.  Convexity of the cost functional in an optimal control problem for a class of positive switched systems , 2014, Autom..

[51]  Stephen P. Boyd,et al.  Geometric programming duals of channel capacity and rate distortion , 2004, IEEE Transactions on Information Theory.

[52]  Marcello Colombino,et al.  On the convexity of a class of structured optimal control problems for positive systems , 2016, 2016 European Control Conference (ECC).

[53]  James Lam,et al.  On the Decay Rate of Discrete-Time Linear Delay Systems With Cone Invariance , 2017, IEEE Transactions on Automatic Control.

[54]  Mark R. Opmeer,et al.  A Lower Bound for the Balanced Truncation Error for MIMO Systems , 2015, IEEE Transactions on Automatic Control.

[55]  Jun Shen,et al.  Input-output gain analysis for linear systems on cones , 2017, Autom..

[56]  Pham Huu Anh Ngoc Stability of Positive Differential Systems With Delay , 2013, IEEE Transactions on Automatic Control.

[57]  F. Tadeo,et al.  Controller Synthesis for Positive Linear Systems With Bounded Controls , 2007, IEEE Transactions on Circuits and Systems II: Express Briefs.