SlideShare a Scribd company logo
1 of 45
Optimization of Positive Linear Systems
via Geometric Programming
Masaki Ogura
Osaka University, Japan
1
M. Ogura, M. Kishida, and J. Lam, “Geometric programming for optimal positive linear
systems,” IEEE Transactions on Automatic Control (accepted for publication), 2020.
Shenzhen University
12/26/2019
 Positive linear systems
 Parameter Tuning Problem
 Synthesis by geometric programming
 (Hidden convexity)
 Numerical example
Outline 2
Positive linear systems
3
Nonnegative variables
Probability Chemistry Economics
Math biology Project management
4
Dynamical systems with positive variables
 Lotka-Volterra equation
Rantzer, Valcher, “A tutorial on positive systems and large scale control,”
2018 IEEE Conference on Decision and Control, 2018.
Positive systems 5
 Buffer network
Positivity
 𝐴 Metzler, 𝑡 ≥ 0 ⇒ exp 𝐴𝑡 ≥ 0 (nonnegative matrix)
 𝑥0 ≥ 0 and 𝑤 𝑡 ≥ 0 ⇒ 𝑥 𝑡 ≥ 0
 𝑥0 ≥ 0 and 𝑤 𝑡 ≥ 0 ⇒ 𝑦 𝑡 ≥ 0
Positive linear system
𝑑𝑥
𝑑𝑡
= 𝐴𝑥 + 𝐵𝑤
𝑦 = 𝐶𝑥 非負行列
Nonnegative matrices
6
Metzler matrix
(nonnegative off-diagonals)
Informal statement...
Problem statement 7
𝑑𝑥
𝑑𝑡
= 𝐴𝑥 + 𝐵𝑤
𝑦 = 𝐶𝑥
𝑑𝑥
𝑑𝑡
= 𝐴𝑥 + 𝐵𝑤
𝑦 = 𝐶𝑥
Investment
Desirable control-theoretical
properties
Positive linear
system
 Parametrized positive linear system
 Parameter tuning problem
Problem statement 8
𝑑𝑥
𝑑𝑡
= 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤
𝑦 = 𝐶 𝜃 𝑥,
Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃
𝐿(𝜃)
minimize
𝐽 Σ𝜃 ≤ 𝛾
𝜃 ∈ Θ
subject to Σ𝜃 is internally stable
Performance functional
𝐻2 norm, 𝐻∞ norm, Hankel norm, ...
Parameter tuning cost
Networked epidemic processes
https://www.barabasilab.com/
Example: Epidemic Containment 9
H1N1 Flu outbreak
Networked Susceptible-Infected-Susceptible model
Nodes = individuals
Edges = relationships
Example: Epidemic Containment
Infection rate b
Infected
Susceptible
Recovery rate d
10
Infection probability ≥ 0
Epidemic containment problem [Preciado 2014, IEEE TCNS]
Finite, limited amount of medicine
Example: Epidemic Containment 11
Larger recovery rate di Smaller infection rate bi
𝑔 𝛿𝑖 𝑓 𝛽𝑖
Total cost
𝑖=1
𝑁
(𝑓 𝛽𝑖 + 𝑔(𝛿𝑖))
Network 𝑉, 𝐸
𝑉 = {1, … , 𝑁}
 Linearlized SIS model
 Cost function
𝐿 𝜃 =
𝑖=1
𝑁
(𝑓 𝛽𝑖 + 𝑔(𝛿𝑖))
Example: Epidemic Containment 12
𝑑𝑥
𝑑𝑡
= diag 𝛽1, … , 𝛽𝑁 𝐴𝐺 − diag 𝛿1, … , 𝛿𝑁 𝑥 + 𝐵𝑤
𝑦 = 𝐶𝑥,
Σ𝛽,𝛿:
Adjacency matrix
External disturbance
Performance output
Infection
probability vector
 Parametrized positive linear system
 Parameter tuning problem
Problem statement (p. 8) 13
𝑑𝑥
𝑑𝑡
= 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤
𝑦 = 𝐶 𝜃 𝑥,
Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃
𝐿(𝜃)
minimize
𝐽 Σ𝜃 ≤ 𝛾
𝜃 ∈ Θ
subject to Σ𝜃 is internally stable
Convexity results
 Assumption: Off-diagonals of 𝐴 fixed. 𝐵 and 𝐶 fixed.
 Convexity of 𝑥 𝑇 [Colaneri 2014, Automatica]
 Convexity of 𝐻2 or 𝐻∞ norm [Dhingra 2018, IEEE TCNS]
 Don’t apply to epidemic containment (and other problems)
Research question
Related works 14
𝑑𝑥
𝑑𝑡
= 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤
𝑦 = 𝐶 𝜃 𝑥,
Σ𝜃:
Is it possible to optimally tune the off-diagonals of 𝑨
as well as 𝑩 and 𝑪 matrices?
Geometric programming
15
A framework for optimizing “posynomial functions”
Posynomial
 𝑓 𝑥1, … , 𝑥𝑛 = (sum of monomials)
Monomial
𝑔 𝑥1, … , 𝑥𝑛 = 𝑐 𝑥1
𝑎1 ⋯ 𝑥𝑛
𝑎𝑛
 Positive coefficient: 𝑐 > 0
 Positive variables: 𝑥1, … , 𝑥𝑛 > 0
 Real exponents: 𝑎1, … , 𝑎𝑛 ∈ ℝ
Boyd, Kim, Vandenberghe, Hassibi, “A tutorial on geometric programming,” Optimization and
Engineering, vol. 8, no. 1, pp. 67–127, 2007.
Geometric programming 16
Definition
 An example
Geometric program
minimize 𝑓(𝑥1, … , 𝑥𝑛)
subject to 𝑓𝑖 𝑥1, … , 𝑥𝑛 ≤ 1 (𝑖 = 1, … , 𝑝)
𝑔𝑗 𝑥1, … , 𝑥𝑛 = 1 ( 𝑗 = 1, … , 𝑞)
Posynomial
Monomial
17
𝑥1, … , 𝑥𝑛 > 0
𝑥, 𝑦, 𝑧 > 0
Reduction to a convex optimization
Posynomial
ℝ𝑛
ℝ+
𝑛
ℝ+
ℝ
exp log
Convex
Geometric program Convex optimization
Log transformation
18
 Geometric program
 Variable transformations: 𝑥 = 𝑒𝑡, 𝑦 = 𝑒𝑠
 Equivalent convex optimization
An example
minimize 𝑥−1/3
𝑦−1/4
subject to 𝑥1/2 + 𝑦1/2 ≤ 1
k
𝑥
𝑦
minimize 𝑒
−
𝑡
3−
𝑠
4
subject to 𝑒𝑡/2
+ 𝑒𝑠/2
≤ 1
minimize −
𝑡
3
−
𝑠
4
subject to 𝑠 ≤ 2 log(1 − 𝑒𝑡/2)
𝑡
𝑠
19
Circuit design
Applications 20
Other fields
Boyd, Kim, Vandenberghe, Hassibi, “A tutorial on geometric programming,” Optimization and
Engineering, vol. 8, no. 1, pp. 67–127, 2007.
Geometric programming to solve parameter tuning
problem for positive linear systems?
Solution by geometric
programming
21
 Parametrized positive linear system
 Parameter tuning problem
 Assumptions in literature: Off-diagonals of 𝐴 fixed. 𝐵 and 𝐶
fixed.
Problem statement (p. 8) 22
𝑑𝑥
𝑑𝑡
= 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤
𝑦 = 𝐶 𝜃 𝑥,
Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃
𝐿(𝜃)
minimize
𝐽 Σ𝜃 ≤ 𝛾
𝜃 ∈ Θ
subject to Σ𝜃 is internally stable
 Parametrized positive linear system
Assumption: system matrices 23
𝐴(𝜃) = 𝐴(𝜃) − 𝑅(𝜃)
Posynomials
𝐵(𝜃)
Posynomials
Posynomials
𝐶(𝜃)
𝑑𝑥
𝑑𝑡
= 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤
𝑦 = 𝐶 𝜃 𝑥,
Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃
 Parametrized positive linear system
Assumption: parameter set 24
𝑑𝑥
𝑑𝑡
= 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤
𝑦 = 𝐶 𝜃 𝑥,
Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃
Θ = {𝜃 ∈ ℝ𝑛𝜃 | 𝜃 > 0, 𝑓1 𝜃 ≤ 1, … , 𝑓𝑝 𝜃 ≤ 1}
Posynomials
 Parametrized positive linear system
 Parameter tuning problem
Assumption: cost function 25
𝑑𝑥
𝑑𝑡
= 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤
𝑦 = 𝐶 𝜃 𝑥,
Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃
𝐿(𝜃)
minimize
𝐽 Σ𝜃 ≤ 𝛾
𝜃 ∈ Θ
subject to Σ𝜃 is internally stable
Posynomial
If 𝐽 Σ𝜃 is either
 𝐻2 norm;
 𝐻∞ norm;
 Worst-case growth rate under structural uncertainty;
Main result: An overview 26
Σ𝜃
Δ
Main result: An overview 27
https://www.slideserve.com/helene/introduction-to-the-hankel-based-model-order-
reduction-for-linear-systems
Hankel operator
LTI SYSTEM
X (state)
t
u
t
y
Hankel operator
Past
input
(u(t>0)=0)
Future
output
2 2
: ( ,0) (0, )
H L L
  
Hankel operator:
- maps past inputs to future system outputs
- ignores any system response before time 0.
- Has finite rank (connection only by the state at t=0)
- As an operator on L2 it has an induced norm (energy
amplification)!
If 𝐽 Σ𝜃 is either
 𝐻2 norm;
 𝐻∞ norm;
 Worst-case growth rate under structural uncertainty;
 Hankel norm;
 Schatten 𝑝-norm;
then, the parameter tuning problem can be exactly solved by
geometric programming.
No need to fix the elements of 𝑨, 𝑩, 𝑪 matrices!
35
𝐿(𝜃)
minimize
𝐽 Σ𝜃 ≤ 𝛾
𝜃 ∈ Θ
subject to Σ𝜃 is internally stable
Strategy
Reduction to a geometric program 28
Algebraic
How to rewrite into a
constraint in terms of
posynomials?
Posynomial
Original 𝐽 Σ𝜃
 Linear systems theory  Perron-Frobenius
 Matrix theory tools
Example: 𝑯∞
-norm 29
𝐺(0) ≤ 𝛾 Posynomial
Σ𝜃 ∞ ≤ 𝛾
DC-dominance property
[Tanaka 2013, SCL]
𝐺(0) = 𝐶𝜃𝐴𝜃
−1
𝐵𝜃
Matrix inversion
lemma
Max singular
value lemma
Maximum singular value lemma
Let 𝑀 be a nonnegative matrix and 𝛾 be a positive number. Then, the
following conditions are equivalent:
 𝑀 < 𝛾
 ∃ positive vectors 𝑢 and 𝑣 such that 𝑀𝑢 < 𝛾𝑣 and 𝑀𝑣 < 𝛾𝑢
Matrix inversion lemma
Let 𝐹 be a Metzler matrix, 𝑔 be a nonnegative vector, and 𝐻 be a
nonnegative matrix. The following conditions are equivalent:
 𝐹 is Hurwitz stable and −𝐻𝐹−1𝑔 < 𝑣
 ∃ positive vector 𝜒 such that 𝐻𝜒 < 𝑣 and 𝐹𝜒 + 𝑔 < 0
Lemmas 30
Example: 𝑯∞
norm 31
Example: Hankel norm 32
Any fundamental reason for the effectiveness of
geometric programming?
Hidden convexity
33
Positive linear system (not parametrized)
 Impulse response function
Φ 𝑡 = 𝐶 exp 𝐴𝑡 𝐵
 Claim (informal)
Φ(𝑡) is a “posynomial” in the entries of 𝐴, 𝐵, 𝐶
Hidden convexity
𝑑𝑥
𝑑𝑡
= 𝐴𝑥 + 𝐵𝑤
𝑦 = 𝐶𝑥,
Σ:
34
Hidden convexity 26
“(log𝐴, log 𝐵, log 𝐶)”
(𝐴, 𝐵, 𝐶) ℝ+
ℝ
exp log
Convex
Φ(𝑡)
Diagonal shift
 Φ 𝑡 = 𝑒−𝑟𝑡
𝐶 exp 𝐴𝑡 𝐵
Diagonals of 𝑨 matrix 35
𝐴 = 𝐴 − 𝑟𝐼
≥ 𝟎
≥ 𝟎
≥ 𝟎
Posynomial in
entries of 𝐴, 𝐵, 𝐶.
Claim
Each entry of Φ(𝑡) is the limit of a sequence of posynomials in
the entries of 𝐴, 𝐵, 𝐶.
Proof
Hidden convexity of impulse response 36
= 𝑒−𝑟𝑡
𝐶
𝑘=0
∞
𝐴𝑘
𝑡𝑘
𝑘!
𝐵
Φ 𝑡 = 𝑒−𝑟𝑡𝐶 exp 𝐴𝑡 𝐵
= lim
𝐿→∞
𝑒−𝑟𝑡
𝑘=0
𝐿
𝑡𝑘
𝑘
𝐶𝐴𝑘 𝐵
Corollary
The following quantities are log-convex in entries of 𝐴, 𝐵, 𝐶
 Output: 𝑦 𝑡 = 𝑒−𝑟𝑡𝐶 exp 𝐴𝑡 𝑥 0 + 0
𝑡
Φ 𝑡 − 𝜏 𝑤 𝜏 𝑑𝜏
 ℓ𝑝 norm: 𝑦(𝑡)
 𝐿𝑝 norm: 𝑦 𝑝 = 0
∞
𝑦 𝑡 𝑝 𝑑𝑡
1/𝑝
 𝐿𝑝 gain: Σ 𝑝 = sup
𝑤∈𝐿𝑝
𝑦 𝑝
𝑤 𝑝
Extensions 37
 Appearance of GP not necessarily surprising!
Hidden convexity 38
“(log 𝐴, log 𝐵, log 𝐶)”
(𝐴, 𝐵, 𝐶) ℝ+
ℝ
exp log
Convex
𝐿𝑝
gain
Example
39
 Privacy issue
 Information acquisition cost
 Data reliability
Network uncertainty 40
?
?
?
?
?
Perfect information Uncertain network
Optimal medical investment
taking into account
uncertainty in network
structure?
Additive uncertainty on adjacency matrix
Network uncertainty
38
?
?
?
?
?
37
?
?
?
?
?
= +
Adjacency
matrix
= +
𝐴𝐺 Δ
Nominal graph
41
Fixed Uncertain
 Linearlized SIS model w/ uncertainty
 Cost function
𝐿 𝜃 =
𝑖=1
𝑁
(𝑓 𝛽𝑖 + 𝑔(𝛿𝑖))
 Problem: maximize the worst-case decay rate of the size of
infected population geometric programming
Example: Epidemic Containment 42
𝑑𝑥
𝑑𝑡
= diag 𝛽1, … , 𝛽𝑁 (𝑨𝑮+𝚫) − diag 𝛿1, … , 𝛿𝑁 𝑥 + 𝐵𝑤
𝑦 = 𝐶𝑥,
Σ𝛽,𝛿:
PageRank and optimal investments
 We need to invest more to prepare for worst case scenario
 GP allows us to find cost-efficient medical resource allocation
Numerical simulation: results
Without uncertainty With uncertainty
43
Larger investment
Conclusions
44
Parameter tuning of positive linear systems
 Geometric programs w/ finitely many variables
 Hidden convexity
Future research directions
 Switched linear systems
 Discrete-time systems
 Nonlinear systems
Research questions
 Can we combine convexity results and log-convexity results
to better synthesize positive linear systems?
Conclusion 45

More Related Content

What's hot

Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...IJERA Editor
 
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...IJERA Editor
 
A Generalized Sampling Theorem Over Galois Field Domains for Experimental Des...
A Generalized Sampling Theorem Over Galois Field Domains for Experimental Des...A Generalized Sampling Theorem Over Galois Field Domains for Experimental Des...
A Generalized Sampling Theorem Over Galois Field Domains for Experimental Des...csandit
 
Koh_Liang_ICML2017
Koh_Liang_ICML2017Koh_Liang_ICML2017
Koh_Liang_ICML2017Masa Kato
 
Handling missing data with expectation maximization algorithm
Handling missing data with expectation maximization algorithmHandling missing data with expectation maximization algorithm
Handling missing data with expectation maximization algorithmLoc Nguyen
 
Time Delay and Mean Square Stochastic Differential Equations in Impetuous Sta...
Time Delay and Mean Square Stochastic Differential Equations in Impetuous Sta...Time Delay and Mean Square Stochastic Differential Equations in Impetuous Sta...
Time Delay and Mean Square Stochastic Differential Equations in Impetuous Sta...ijtsrd
 
Chapter 2 matrices
Chapter 2   matricesChapter 2   matrices
Chapter 2 matricessarkissk
 
Numerical Solutions of Burgers' Equation Project Report
Numerical Solutions of Burgers' Equation Project ReportNumerical Solutions of Burgers' Equation Project Report
Numerical Solutions of Burgers' Equation Project ReportShikhar Agarwal
 
Matrix and It's Applications
Matrix and It's ApplicationsMatrix and It's Applications
Matrix and It's ApplicationsPritom Chaki
 
On The Numerical Solution of Picard Iteration Method for Fractional Integro -...
On The Numerical Solution of Picard Iteration Method for Fractional Integro -...On The Numerical Solution of Picard Iteration Method for Fractional Integro -...
On The Numerical Solution of Picard Iteration Method for Fractional Integro -...DavidIlejimi
 
Varaiational formulation fem
Varaiational formulation fem Varaiational formulation fem
Varaiational formulation fem Tushar Aneyrao
 
Data Approximation in Mathematical Modelling Regression Analysis and Curve Fi...
Data Approximation in Mathematical Modelling Regression Analysis and Curve Fi...Data Approximation in Mathematical Modelling Regression Analysis and Curve Fi...
Data Approximation in Mathematical Modelling Regression Analysis and Curve Fi...Dr.Summiya Parveen
 
Spectral Element Methods in Large Eddy Simulation
Spectral Element Methods in Large Eddy SimulationSpectral Element Methods in Large Eddy Simulation
Spectral Element Methods in Large Eddy Simulationgaurav dhir
 
A Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary ConditionA Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary ConditionIJMERJOURNAL
 
Chapter 4: Linear Algebraic Equations
Chapter 4: Linear Algebraic EquationsChapter 4: Linear Algebraic Equations
Chapter 4: Linear Algebraic EquationsMaria Fernanda
 
least squares approach in finite element method
least squares approach in finite element methodleast squares approach in finite element method
least squares approach in finite element methodsabiha khathun
 

What's hot (19)

Integral calculus
Integral calculusIntegral calculus
Integral calculus
 
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
 
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
Stochastic Analysis of Van der Pol OscillatorModel Using Wiener HermiteExpans...
 
A Generalized Sampling Theorem Over Galois Field Domains for Experimental Des...
A Generalized Sampling Theorem Over Galois Field Domains for Experimental Des...A Generalized Sampling Theorem Over Galois Field Domains for Experimental Des...
A Generalized Sampling Theorem Over Galois Field Domains for Experimental Des...
 
Ds33717725
Ds33717725Ds33717725
Ds33717725
 
Koh_Liang_ICML2017
Koh_Liang_ICML2017Koh_Liang_ICML2017
Koh_Liang_ICML2017
 
Handling missing data with expectation maximization algorithm
Handling missing data with expectation maximization algorithmHandling missing data with expectation maximization algorithm
Handling missing data with expectation maximization algorithm
 
Time Delay and Mean Square Stochastic Differential Equations in Impetuous Sta...
Time Delay and Mean Square Stochastic Differential Equations in Impetuous Sta...Time Delay and Mean Square Stochastic Differential Equations in Impetuous Sta...
Time Delay and Mean Square Stochastic Differential Equations in Impetuous Sta...
 
Chapter 2 matrices
Chapter 2   matricesChapter 2   matrices
Chapter 2 matrices
 
Numerical Solutions of Burgers' Equation Project Report
Numerical Solutions of Burgers' Equation Project ReportNumerical Solutions of Burgers' Equation Project Report
Numerical Solutions of Burgers' Equation Project Report
 
Matrix and It's Applications
Matrix and It's ApplicationsMatrix and It's Applications
Matrix and It's Applications
 
On The Numerical Solution of Picard Iteration Method for Fractional Integro -...
On The Numerical Solution of Picard Iteration Method for Fractional Integro -...On The Numerical Solution of Picard Iteration Method for Fractional Integro -...
On The Numerical Solution of Picard Iteration Method for Fractional Integro -...
 
Lecture about interpolation
Lecture about interpolationLecture about interpolation
Lecture about interpolation
 
Varaiational formulation fem
Varaiational formulation fem Varaiational formulation fem
Varaiational formulation fem
 
Data Approximation in Mathematical Modelling Regression Analysis and Curve Fi...
Data Approximation in Mathematical Modelling Regression Analysis and Curve Fi...Data Approximation in Mathematical Modelling Regression Analysis and Curve Fi...
Data Approximation in Mathematical Modelling Regression Analysis and Curve Fi...
 
Spectral Element Methods in Large Eddy Simulation
Spectral Element Methods in Large Eddy SimulationSpectral Element Methods in Large Eddy Simulation
Spectral Element Methods in Large Eddy Simulation
 
A Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary ConditionA Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary Condition
 
Chapter 4: Linear Algebraic Equations
Chapter 4: Linear Algebraic EquationsChapter 4: Linear Algebraic Equations
Chapter 4: Linear Algebraic Equations
 
least squares approach in finite element method
least squares approach in finite element methodleast squares approach in finite element method
least squares approach in finite element method
 

Similar to Optimization of positive linear systems via geometric programming

Intro to Quant Trading Strategies (Lecture 7 of 10)
Intro to Quant Trading Strategies (Lecture 7 of 10)Intro to Quant Trading Strategies (Lecture 7 of 10)
Intro to Quant Trading Strategies (Lecture 7 of 10)Adrian Aley
 
A machine learning method for efficient design optimization in nano-optics
A machine learning method for efficient design optimization in nano-optics A machine learning method for efficient design optimization in nano-optics
A machine learning method for efficient design optimization in nano-optics JCMwave
 
A machine learning method for efficient design optimization in nano-optics
A machine learning method for efficient design optimization in nano-opticsA machine learning method for efficient design optimization in nano-optics
A machine learning method for efficient design optimization in nano-opticsJCMwave
 
Paper Study: Melding the data decision pipeline
Paper Study: Melding the data decision pipelinePaper Study: Melding the data decision pipeline
Paper Study: Melding the data decision pipelineChenYiHuang5
 
Stochastic Gradient Descent with Exponential Convergence Rates of Expected Cl...
Stochastic Gradient Descent with Exponential Convergence Rates of Expected Cl...Stochastic Gradient Descent with Exponential Convergence Rates of Expected Cl...
Stochastic Gradient Descent with Exponential Convergence Rates of Expected Cl...Atsushi Nitanda
 
Composition of Clans for Solving Linear Systems on Parallel Architectures
Composition of Clans for Solving Linear Systems on Parallel ArchitecturesComposition of Clans for Solving Linear Systems on Parallel Architectures
Composition of Clans for Solving Linear Systems on Parallel ArchitecturesDmitryZaitsev5
 
Tutorial Equivariance in Imaging ICMS 23.pptx
Tutorial Equivariance in Imaging ICMS 23.pptxTutorial Equivariance in Imaging ICMS 23.pptx
Tutorial Equivariance in Imaging ICMS 23.pptxJulián Tachella
 
Regularization Methods to Solve
Regularization Methods to SolveRegularization Methods to Solve
Regularization Methods to SolveKomal Goyal
 
Paper study: Learning to solve circuit sat
Paper study: Learning to solve circuit satPaper study: Learning to solve circuit sat
Paper study: Learning to solve circuit satChenYiHuang5
 
Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3Fabian Pedregosa
 
Photophysics of dendrimers
Photophysics of dendrimersPhotophysics of dendrimers
Photophysics of dendrimersGiorgio Colombi
 
Discrete Nonlinear Optimal Control of S/C Formations Near The L1 and L2 poi...
  Discrete Nonlinear Optimal Control of S/C Formations Near The L1 and L2 poi...  Discrete Nonlinear Optimal Control of S/C Formations Near The L1 and L2 poi...
Discrete Nonlinear Optimal Control of S/C Formations Near The L1 and L2 poi...Belinda Marchand
 
An Improved Iterative Method for Solving General System of Equations via Gene...
An Improved Iterative Method for Solving General System of Equations via Gene...An Improved Iterative Method for Solving General System of Equations via Gene...
An Improved Iterative Method for Solving General System of Equations via Gene...Zac Darcy
 
An Improved Iterative Method for Solving General System of Equations via Gene...
An Improved Iterative Method for Solving General System of Equations via Gene...An Improved Iterative Method for Solving General System of Equations via Gene...
An Improved Iterative Method for Solving General System of Equations via Gene...Zac Darcy
 
Approximate Solution of a Linear Descriptor Dynamic Control System via a non-...
Approximate Solution of a Linear Descriptor Dynamic Control System via a non-...Approximate Solution of a Linear Descriptor Dynamic Control System via a non-...
Approximate Solution of a Linear Descriptor Dynamic Control System via a non-...IOSR Journals
 

Similar to Optimization of positive linear systems via geometric programming (20)

document(1).pdf
document(1).pdfdocument(1).pdf
document(1).pdf
 
Intro to Quant Trading Strategies (Lecture 7 of 10)
Intro to Quant Trading Strategies (Lecture 7 of 10)Intro to Quant Trading Strategies (Lecture 7 of 10)
Intro to Quant Trading Strategies (Lecture 7 of 10)
 
A machine learning method for efficient design optimization in nano-optics
A machine learning method for efficient design optimization in nano-optics A machine learning method for efficient design optimization in nano-optics
A machine learning method for efficient design optimization in nano-optics
 
A machine learning method for efficient design optimization in nano-optics
A machine learning method for efficient design optimization in nano-opticsA machine learning method for efficient design optimization in nano-optics
A machine learning method for efficient design optimization in nano-optics
 
Paper Study: Melding the data decision pipeline
Paper Study: Melding the data decision pipelinePaper Study: Melding the data decision pipeline
Paper Study: Melding the data decision pipeline
 
Stochastic Gradient Descent with Exponential Convergence Rates of Expected Cl...
Stochastic Gradient Descent with Exponential Convergence Rates of Expected Cl...Stochastic Gradient Descent with Exponential Convergence Rates of Expected Cl...
Stochastic Gradient Descent with Exponential Convergence Rates of Expected Cl...
 
Composition of Clans for Solving Linear Systems on Parallel Architectures
Composition of Clans for Solving Linear Systems on Parallel ArchitecturesComposition of Clans for Solving Linear Systems on Parallel Architectures
Composition of Clans for Solving Linear Systems on Parallel Architectures
 
Tutorial Equivariance in Imaging ICMS 23.pptx
Tutorial Equivariance in Imaging ICMS 23.pptxTutorial Equivariance in Imaging ICMS 23.pptx
Tutorial Equivariance in Imaging ICMS 23.pptx
 
Regularization Methods to Solve
Regularization Methods to SolveRegularization Methods to Solve
Regularization Methods to Solve
 
Paper study: Learning to solve circuit sat
Paper study: Learning to solve circuit satPaper study: Learning to solve circuit sat
Paper study: Learning to solve circuit sat
 
KAUST_talk_short.pdf
KAUST_talk_short.pdfKAUST_talk_short.pdf
KAUST_talk_short.pdf
 
Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3
 
Stochastic Optimization
Stochastic OptimizationStochastic Optimization
Stochastic Optimization
 
Linkedin_PowerPoint
Linkedin_PowerPointLinkedin_PowerPoint
Linkedin_PowerPoint
 
Photophysics of dendrimers
Photophysics of dendrimersPhotophysics of dendrimers
Photophysics of dendrimers
 
Discrete Nonlinear Optimal Control of S/C Formations Near The L1 and L2 poi...
  Discrete Nonlinear Optimal Control of S/C Formations Near The L1 and L2 poi...  Discrete Nonlinear Optimal Control of S/C Formations Near The L1 and L2 poi...
Discrete Nonlinear Optimal Control of S/C Formations Near The L1 and L2 poi...
 
An Improved Iterative Method for Solving General System of Equations via Gene...
An Improved Iterative Method for Solving General System of Equations via Gene...An Improved Iterative Method for Solving General System of Equations via Gene...
An Improved Iterative Method for Solving General System of Equations via Gene...
 
An Improved Iterative Method for Solving General System of Equations via Gene...
An Improved Iterative Method for Solving General System of Equations via Gene...An Improved Iterative Method for Solving General System of Equations via Gene...
An Improved Iterative Method for Solving General System of Equations via Gene...
 
Exponential decay for the solution of the nonlinear equation induced by the m...
Exponential decay for the solution of the nonlinear equation induced by the m...Exponential decay for the solution of the nonlinear equation induced by the m...
Exponential decay for the solution of the nonlinear equation induced by the m...
 
Approximate Solution of a Linear Descriptor Dynamic Control System via a non-...
Approximate Solution of a Linear Descriptor Dynamic Control System via a non-...Approximate Solution of a Linear Descriptor Dynamic Control System via a non-...
Approximate Solution of a Linear Descriptor Dynamic Control System via a non-...
 

Recently uploaded

457503602-5-Gas-Well-Testing-and-Analysis-pptx.pptx
457503602-5-Gas-Well-Testing-and-Analysis-pptx.pptx457503602-5-Gas-Well-Testing-and-Analysis-pptx.pptx
457503602-5-Gas-Well-Testing-and-Analysis-pptx.pptxrouholahahmadi9876
 
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Call Girls Mumbai
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayEpec Engineered Technologies
 
Computer Networks Basics of Network Devices
Computer Networks  Basics of Network DevicesComputer Networks  Basics of Network Devices
Computer Networks Basics of Network DevicesChandrakantDivate1
 
Design For Accessibility: Getting it right from the start
Design For Accessibility: Getting it right from the startDesign For Accessibility: Getting it right from the start
Design For Accessibility: Getting it right from the startQuintin Balsdon
 
Orlando’s Arnold Palmer Hospital Layout Strategy-1.pptx
Orlando’s Arnold Palmer Hospital Layout Strategy-1.pptxOrlando’s Arnold Palmer Hospital Layout Strategy-1.pptx
Orlando’s Arnold Palmer Hospital Layout Strategy-1.pptxMuhammadAsimMuhammad6
 
Online electricity billing project report..pdf
Online electricity billing project report..pdfOnline electricity billing project report..pdf
Online electricity billing project report..pdfKamal Acharya
 
Online food ordering system project report.pdf
Online food ordering system project report.pdfOnline food ordering system project report.pdf
Online food ordering system project report.pdfKamal Acharya
 
Tamil Call Girls Bhayandar WhatsApp +91-9930687706, Best Service
Tamil Call Girls Bhayandar WhatsApp +91-9930687706, Best ServiceTamil Call Girls Bhayandar WhatsApp +91-9930687706, Best Service
Tamil Call Girls Bhayandar WhatsApp +91-9930687706, Best Servicemeghakumariji156
 
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Arindam Chakraborty, Ph.D., P.E. (CA, TX)
 
Employee leave management system project.
Employee leave management system project.Employee leave management system project.
Employee leave management system project.Kamal Acharya
 
Digital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptxDigital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptxpritamlangde
 
Linux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using PipesLinux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using PipesRashidFaridChishti
 
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptxHOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptxSCMS School of Architecture
 
DC MACHINE-Motoring and generation, Armature circuit equation
DC MACHINE-Motoring and generation, Armature circuit equationDC MACHINE-Motoring and generation, Armature circuit equation
DC MACHINE-Motoring and generation, Armature circuit equationBhangaleSonal
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXssuser89054b
 
Thermal Engineering Unit - I & II . ppt
Thermal Engineering  Unit - I & II . pptThermal Engineering  Unit - I & II . ppt
Thermal Engineering Unit - I & II . pptDineshKumar4165
 

Recently uploaded (20)

457503602-5-Gas-Well-Testing-and-Analysis-pptx.pptx
457503602-5-Gas-Well-Testing-and-Analysis-pptx.pptx457503602-5-Gas-Well-Testing-and-Analysis-pptx.pptx
457503602-5-Gas-Well-Testing-and-Analysis-pptx.pptx
 
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced LoadsFEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
FEA Based Level 3 Assessment of Deformed Tanks with Fluid Induced Loads
 
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
 
Computer Networks Basics of Network Devices
Computer Networks  Basics of Network DevicesComputer Networks  Basics of Network Devices
Computer Networks Basics of Network Devices
 
Design For Accessibility: Getting it right from the start
Design For Accessibility: Getting it right from the startDesign For Accessibility: Getting it right from the start
Design For Accessibility: Getting it right from the start
 
Signal Processing and Linear System Analysis
Signal Processing and Linear System AnalysisSignal Processing and Linear System Analysis
Signal Processing and Linear System Analysis
 
Orlando’s Arnold Palmer Hospital Layout Strategy-1.pptx
Orlando’s Arnold Palmer Hospital Layout Strategy-1.pptxOrlando’s Arnold Palmer Hospital Layout Strategy-1.pptx
Orlando’s Arnold Palmer Hospital Layout Strategy-1.pptx
 
Online electricity billing project report..pdf
Online electricity billing project report..pdfOnline electricity billing project report..pdf
Online electricity billing project report..pdf
 
Call Girls in South Ex (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in South Ex (delhi) call me [🔝9953056974🔝] escort service 24X7Call Girls in South Ex (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in South Ex (delhi) call me [🔝9953056974🔝] escort service 24X7
 
Online food ordering system project report.pdf
Online food ordering system project report.pdfOnline food ordering system project report.pdf
Online food ordering system project report.pdf
 
Tamil Call Girls Bhayandar WhatsApp +91-9930687706, Best Service
Tamil Call Girls Bhayandar WhatsApp +91-9930687706, Best ServiceTamil Call Girls Bhayandar WhatsApp +91-9930687706, Best Service
Tamil Call Girls Bhayandar WhatsApp +91-9930687706, Best Service
 
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
 
Employee leave management system project.
Employee leave management system project.Employee leave management system project.
Employee leave management system project.
 
Digital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptxDigital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptx
 
Linux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using PipesLinux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using Pipes
 
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptxHOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
HOA1&2 - Module 3 - PREHISTORCI ARCHITECTURE OF KERALA.pptx
 
DC MACHINE-Motoring and generation, Armature circuit equation
DC MACHINE-Motoring and generation, Armature circuit equationDC MACHINE-Motoring and generation, Armature circuit equation
DC MACHINE-Motoring and generation, Armature circuit equation
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
 
Thermal Engineering Unit - I & II . ppt
Thermal Engineering  Unit - I & II . pptThermal Engineering  Unit - I & II . ppt
Thermal Engineering Unit - I & II . ppt
 

Optimization of positive linear systems via geometric programming

  • 1. Optimization of Positive Linear Systems via Geometric Programming Masaki Ogura Osaka University, Japan 1 M. Ogura, M. Kishida, and J. Lam, “Geometric programming for optimal positive linear systems,” IEEE Transactions on Automatic Control (accepted for publication), 2020. Shenzhen University 12/26/2019
  • 2.  Positive linear systems  Parameter Tuning Problem  Synthesis by geometric programming  (Hidden convexity)  Numerical example Outline 2
  • 4. Nonnegative variables Probability Chemistry Economics Math biology Project management 4
  • 5. Dynamical systems with positive variables  Lotka-Volterra equation Rantzer, Valcher, “A tutorial on positive systems and large scale control,” 2018 IEEE Conference on Decision and Control, 2018. Positive systems 5  Buffer network
  • 6. Positivity  𝐴 Metzler, 𝑡 ≥ 0 ⇒ exp 𝐴𝑡 ≥ 0 (nonnegative matrix)  𝑥0 ≥ 0 and 𝑤 𝑡 ≥ 0 ⇒ 𝑥 𝑡 ≥ 0  𝑥0 ≥ 0 and 𝑤 𝑡 ≥ 0 ⇒ 𝑦 𝑡 ≥ 0 Positive linear system 𝑑𝑥 𝑑𝑡 = 𝐴𝑥 + 𝐵𝑤 𝑦 = 𝐶𝑥 非負行列 Nonnegative matrices 6 Metzler matrix (nonnegative off-diagonals)
  • 7. Informal statement... Problem statement 7 𝑑𝑥 𝑑𝑡 = 𝐴𝑥 + 𝐵𝑤 𝑦 = 𝐶𝑥 𝑑𝑥 𝑑𝑡 = 𝐴𝑥 + 𝐵𝑤 𝑦 = 𝐶𝑥 Investment Desirable control-theoretical properties Positive linear system
  • 8.  Parametrized positive linear system  Parameter tuning problem Problem statement 8 𝑑𝑥 𝑑𝑡 = 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤 𝑦 = 𝐶 𝜃 𝑥, Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃 𝐿(𝜃) minimize 𝐽 Σ𝜃 ≤ 𝛾 𝜃 ∈ Θ subject to Σ𝜃 is internally stable Performance functional 𝐻2 norm, 𝐻∞ norm, Hankel norm, ... Parameter tuning cost
  • 10. Networked Susceptible-Infected-Susceptible model Nodes = individuals Edges = relationships Example: Epidemic Containment Infection rate b Infected Susceptible Recovery rate d 10 Infection probability ≥ 0
  • 11. Epidemic containment problem [Preciado 2014, IEEE TCNS] Finite, limited amount of medicine Example: Epidemic Containment 11 Larger recovery rate di Smaller infection rate bi 𝑔 𝛿𝑖 𝑓 𝛽𝑖 Total cost 𝑖=1 𝑁 (𝑓 𝛽𝑖 + 𝑔(𝛿𝑖)) Network 𝑉, 𝐸 𝑉 = {1, … , 𝑁}
  • 12.  Linearlized SIS model  Cost function 𝐿 𝜃 = 𝑖=1 𝑁 (𝑓 𝛽𝑖 + 𝑔(𝛿𝑖)) Example: Epidemic Containment 12 𝑑𝑥 𝑑𝑡 = diag 𝛽1, … , 𝛽𝑁 𝐴𝐺 − diag 𝛿1, … , 𝛿𝑁 𝑥 + 𝐵𝑤 𝑦 = 𝐶𝑥, Σ𝛽,𝛿: Adjacency matrix External disturbance Performance output Infection probability vector
  • 13.  Parametrized positive linear system  Parameter tuning problem Problem statement (p. 8) 13 𝑑𝑥 𝑑𝑡 = 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤 𝑦 = 𝐶 𝜃 𝑥, Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃 𝐿(𝜃) minimize 𝐽 Σ𝜃 ≤ 𝛾 𝜃 ∈ Θ subject to Σ𝜃 is internally stable
  • 14. Convexity results  Assumption: Off-diagonals of 𝐴 fixed. 𝐵 and 𝐶 fixed.  Convexity of 𝑥 𝑇 [Colaneri 2014, Automatica]  Convexity of 𝐻2 or 𝐻∞ norm [Dhingra 2018, IEEE TCNS]  Don’t apply to epidemic containment (and other problems) Research question Related works 14 𝑑𝑥 𝑑𝑡 = 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤 𝑦 = 𝐶 𝜃 𝑥, Σ𝜃: Is it possible to optimally tune the off-diagonals of 𝑨 as well as 𝑩 and 𝑪 matrices?
  • 16. A framework for optimizing “posynomial functions” Posynomial  𝑓 𝑥1, … , 𝑥𝑛 = (sum of monomials) Monomial 𝑔 𝑥1, … , 𝑥𝑛 = 𝑐 𝑥1 𝑎1 ⋯ 𝑥𝑛 𝑎𝑛  Positive coefficient: 𝑐 > 0  Positive variables: 𝑥1, … , 𝑥𝑛 > 0  Real exponents: 𝑎1, … , 𝑎𝑛 ∈ ℝ Boyd, Kim, Vandenberghe, Hassibi, “A tutorial on geometric programming,” Optimization and Engineering, vol. 8, no. 1, pp. 67–127, 2007. Geometric programming 16
  • 17. Definition  An example Geometric program minimize 𝑓(𝑥1, … , 𝑥𝑛) subject to 𝑓𝑖 𝑥1, … , 𝑥𝑛 ≤ 1 (𝑖 = 1, … , 𝑝) 𝑔𝑗 𝑥1, … , 𝑥𝑛 = 1 ( 𝑗 = 1, … , 𝑞) Posynomial Monomial 17 𝑥1, … , 𝑥𝑛 > 0 𝑥, 𝑦, 𝑧 > 0
  • 18. Reduction to a convex optimization Posynomial ℝ𝑛 ℝ+ 𝑛 ℝ+ ℝ exp log Convex Geometric program Convex optimization Log transformation 18
  • 19.  Geometric program  Variable transformations: 𝑥 = 𝑒𝑡, 𝑦 = 𝑒𝑠  Equivalent convex optimization An example minimize 𝑥−1/3 𝑦−1/4 subject to 𝑥1/2 + 𝑦1/2 ≤ 1 k 𝑥 𝑦 minimize 𝑒 − 𝑡 3− 𝑠 4 subject to 𝑒𝑡/2 + 𝑒𝑠/2 ≤ 1 minimize − 𝑡 3 − 𝑠 4 subject to 𝑠 ≤ 2 log(1 − 𝑒𝑡/2) 𝑡 𝑠 19
  • 20. Circuit design Applications 20 Other fields Boyd, Kim, Vandenberghe, Hassibi, “A tutorial on geometric programming,” Optimization and Engineering, vol. 8, no. 1, pp. 67–127, 2007. Geometric programming to solve parameter tuning problem for positive linear systems?
  • 22.  Parametrized positive linear system  Parameter tuning problem  Assumptions in literature: Off-diagonals of 𝐴 fixed. 𝐵 and 𝐶 fixed. Problem statement (p. 8) 22 𝑑𝑥 𝑑𝑡 = 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤 𝑦 = 𝐶 𝜃 𝑥, Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃 𝐿(𝜃) minimize 𝐽 Σ𝜃 ≤ 𝛾 𝜃 ∈ Θ subject to Σ𝜃 is internally stable
  • 23.  Parametrized positive linear system Assumption: system matrices 23 𝐴(𝜃) = 𝐴(𝜃) − 𝑅(𝜃) Posynomials 𝐵(𝜃) Posynomials Posynomials 𝐶(𝜃) 𝑑𝑥 𝑑𝑡 = 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤 𝑦 = 𝐶 𝜃 𝑥, Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃
  • 24.  Parametrized positive linear system Assumption: parameter set 24 𝑑𝑥 𝑑𝑡 = 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤 𝑦 = 𝐶 𝜃 𝑥, Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃 Θ = {𝜃 ∈ ℝ𝑛𝜃 | 𝜃 > 0, 𝑓1 𝜃 ≤ 1, … , 𝑓𝑝 𝜃 ≤ 1} Posynomials
  • 25.  Parametrized positive linear system  Parameter tuning problem Assumption: cost function 25 𝑑𝑥 𝑑𝑡 = 𝐴(𝜃)𝑥 + 𝐵(𝜃)𝑤 𝑦 = 𝐶 𝜃 𝑥, Σ𝜃: 𝜃 ∈ Θ ⊂ ℝ𝑛𝜃 𝐿(𝜃) minimize 𝐽 Σ𝜃 ≤ 𝛾 𝜃 ∈ Θ subject to Σ𝜃 is internally stable Posynomial
  • 26. If 𝐽 Σ𝜃 is either  𝐻2 norm;  𝐻∞ norm;  Worst-case growth rate under structural uncertainty; Main result: An overview 26 Σ𝜃 Δ
  • 27. Main result: An overview 27 https://www.slideserve.com/helene/introduction-to-the-hankel-based-model-order- reduction-for-linear-systems Hankel operator LTI SYSTEM X (state) t u t y Hankel operator Past input (u(t>0)=0) Future output 2 2 : ( ,0) (0, ) H L L    Hankel operator: - maps past inputs to future system outputs - ignores any system response before time 0. - Has finite rank (connection only by the state at t=0) - As an operator on L2 it has an induced norm (energy amplification)! If 𝐽 Σ𝜃 is either  𝐻2 norm;  𝐻∞ norm;  Worst-case growth rate under structural uncertainty;  Hankel norm;  Schatten 𝑝-norm; then, the parameter tuning problem can be exactly solved by geometric programming. No need to fix the elements of 𝑨, 𝑩, 𝑪 matrices!
  • 28. 35 𝐿(𝜃) minimize 𝐽 Σ𝜃 ≤ 𝛾 𝜃 ∈ Θ subject to Σ𝜃 is internally stable Strategy Reduction to a geometric program 28 Algebraic How to rewrite into a constraint in terms of posynomials? Posynomial Original 𝐽 Σ𝜃  Linear systems theory  Perron-Frobenius  Matrix theory tools
  • 29. Example: 𝑯∞ -norm 29 𝐺(0) ≤ 𝛾 Posynomial Σ𝜃 ∞ ≤ 𝛾 DC-dominance property [Tanaka 2013, SCL] 𝐺(0) = 𝐶𝜃𝐴𝜃 −1 𝐵𝜃 Matrix inversion lemma Max singular value lemma
  • 30. Maximum singular value lemma Let 𝑀 be a nonnegative matrix and 𝛾 be a positive number. Then, the following conditions are equivalent:  𝑀 < 𝛾  ∃ positive vectors 𝑢 and 𝑣 such that 𝑀𝑢 < 𝛾𝑣 and 𝑀𝑣 < 𝛾𝑢 Matrix inversion lemma Let 𝐹 be a Metzler matrix, 𝑔 be a nonnegative vector, and 𝐻 be a nonnegative matrix. The following conditions are equivalent:  𝐹 is Hurwitz stable and −𝐻𝐹−1𝑔 < 𝑣  ∃ positive vector 𝜒 such that 𝐻𝜒 < 𝑣 and 𝐹𝜒 + 𝑔 < 0 Lemmas 30
  • 32. Example: Hankel norm 32 Any fundamental reason for the effectiveness of geometric programming?
  • 34. Positive linear system (not parametrized)  Impulse response function Φ 𝑡 = 𝐶 exp 𝐴𝑡 𝐵  Claim (informal) Φ(𝑡) is a “posynomial” in the entries of 𝐴, 𝐵, 𝐶 Hidden convexity 𝑑𝑥 𝑑𝑡 = 𝐴𝑥 + 𝐵𝑤 𝑦 = 𝐶𝑥, Σ: 34 Hidden convexity 26 “(log𝐴, log 𝐵, log 𝐶)” (𝐴, 𝐵, 𝐶) ℝ+ ℝ exp log Convex Φ(𝑡)
  • 35. Diagonal shift  Φ 𝑡 = 𝑒−𝑟𝑡 𝐶 exp 𝐴𝑡 𝐵 Diagonals of 𝑨 matrix 35 𝐴 = 𝐴 − 𝑟𝐼 ≥ 𝟎 ≥ 𝟎 ≥ 𝟎
  • 36. Posynomial in entries of 𝐴, 𝐵, 𝐶. Claim Each entry of Φ(𝑡) is the limit of a sequence of posynomials in the entries of 𝐴, 𝐵, 𝐶. Proof Hidden convexity of impulse response 36 = 𝑒−𝑟𝑡 𝐶 𝑘=0 ∞ 𝐴𝑘 𝑡𝑘 𝑘! 𝐵 Φ 𝑡 = 𝑒−𝑟𝑡𝐶 exp 𝐴𝑡 𝐵 = lim 𝐿→∞ 𝑒−𝑟𝑡 𝑘=0 𝐿 𝑡𝑘 𝑘 𝐶𝐴𝑘 𝐵
  • 37. Corollary The following quantities are log-convex in entries of 𝐴, 𝐵, 𝐶  Output: 𝑦 𝑡 = 𝑒−𝑟𝑡𝐶 exp 𝐴𝑡 𝑥 0 + 0 𝑡 Φ 𝑡 − 𝜏 𝑤 𝜏 𝑑𝜏  ℓ𝑝 norm: 𝑦(𝑡)  𝐿𝑝 norm: 𝑦 𝑝 = 0 ∞ 𝑦 𝑡 𝑝 𝑑𝑡 1/𝑝  𝐿𝑝 gain: Σ 𝑝 = sup 𝑤∈𝐿𝑝 𝑦 𝑝 𝑤 𝑝 Extensions 37
  • 38.  Appearance of GP not necessarily surprising! Hidden convexity 38 “(log 𝐴, log 𝐵, log 𝐶)” (𝐴, 𝐵, 𝐶) ℝ+ ℝ exp log Convex 𝐿𝑝 gain
  • 40.  Privacy issue  Information acquisition cost  Data reliability Network uncertainty 40 ? ? ? ? ? Perfect information Uncertain network Optimal medical investment taking into account uncertainty in network structure?
  • 41. Additive uncertainty on adjacency matrix Network uncertainty 38 ? ? ? ? ? 37 ? ? ? ? ? = + Adjacency matrix = + 𝐴𝐺 Δ Nominal graph 41 Fixed Uncertain
  • 42.  Linearlized SIS model w/ uncertainty  Cost function 𝐿 𝜃 = 𝑖=1 𝑁 (𝑓 𝛽𝑖 + 𝑔(𝛿𝑖))  Problem: maximize the worst-case decay rate of the size of infected population geometric programming Example: Epidemic Containment 42 𝑑𝑥 𝑑𝑡 = diag 𝛽1, … , 𝛽𝑁 (𝑨𝑮+𝚫) − diag 𝛿1, … , 𝛿𝑁 𝑥 + 𝐵𝑤 𝑦 = 𝐶𝑥, Σ𝛽,𝛿:
  • 43. PageRank and optimal investments  We need to invest more to prepare for worst case scenario  GP allows us to find cost-efficient medical resource allocation Numerical simulation: results Without uncertainty With uncertainty 43 Larger investment
  • 45. Parameter tuning of positive linear systems  Geometric programs w/ finitely many variables  Hidden convexity Future research directions  Switched linear systems  Discrete-time systems  Nonlinear systems Research questions  Can we combine convexity results and log-convexity results to better synthesize positive linear systems? Conclusion 45