in nested loops (e.g., bi-level, interior point, predictor) ̇ 𝑥 ! = 𝑓! 𝑥! , 𝑥" ̇ 𝜖 𝑥 " = 𝑓" 𝑥! , 𝑥" ̇ 𝑥! = 𝑓! 𝑥! , 𝑥" ̇ 𝑥" = 𝑓" 𝑥! , 𝑥" - ∇#! f" x! , x" $! ⋅ ∇#" f" x! , x" ⋅ 𝑓! 𝑥! , 𝑥" with a predictive sensitivity correction term that anticipates 𝑥! (𝑥" 𝑡 ) 2 d⌧ = (x2 xr 2 ) xr 2 = 1 b1 a1x1 + KP,1(x1 xr 1 ) + KI,1⇣1 which admits the globally asymptotically stable steady state xs 1 = xr 1, xs 2 = xr 2 = ur 1 = a1x r 1 b1 , ⇣s 1 = 0, ⇣s = 0 for positive gains KP,i > 0, KI,i > 0. See Fig. 3 for a block diagram representation of this control architecture. Remark 5. The feed-forward control inputs in (18) can also be implemented using the references xr 1, xr 2 (= ur 1 ) instead of the states x1, x2, to compensate the plant dynamics. Then, the conditions for asymptotic stability of (19) are KP,i > ai and KI,i > 0. These controllers (18) may also not include any feed-forward compensation at all. Then, the conditions for asymptotic stability of (19) are ai biKP,i < 0, KI,i > 0. In either case, all our subsequent results hold with minor adjustments. C1 C2 P2 P1 xr 1 ur 1 u2 x2 = u1 x1 ⌃2 : Fast-inner system ⌃1 : Slow-outer system Fig. 2: Block diagram of a cascade control. Sensitivity-Conditioning: Beyond Singular Perturbation for Control Design on Multiple Time Scales Miguel Picallo, Saverio Bolognani, Florian D¨ orfler Abstract— A classical approach to design controllers for interconnected systems is to assume that the differ- ent subsystems operate at different time scales, then de- sign simpler controllers within each time scale, and finally certify stability of the interconnected system via singular perturbation analysis. In this work, we propose an alter- native approach that also allows to design the controllers of the individual subsystems separately. However, instead of requiring a sufficiently large time-scale separation, our approach consists of adding a feed-forward term to modify the dynamics of faster systems in order to anticipate the dynamics of slower ones. We present several examples in bilevel optimization and cascade control design, where our approach improves the performance of currently available methods. Index Terms— Bilevel optimization, cascade control, in- terconnected systems, nonlinear control design, singular perturbation, time-scale separation. I. INTRODUCTION Interconnected and nested systems are ubiquitous in control applications, but they may be challenging to analyse and design. If interconnected systems are composed by subsys- tems operating on multiple time scales [1] and a normal hyperbolicity condition holds [2], then each time scale can be studied independently, substituting dynamics of faster time scales by algebraic equations [3]. Such systems appear in engineering applications like power systems [4], [5], biological systems [6], motion control [7], electrical drives [8], etc. In that context, time-scale separation arguments, like singular perturbation analysis [9], [10], allow to certify when the stability guarantees derived in each separate time scale are preserved in the interconnected system. Standard singular perturbation considers only two time scales [11], although it can be extended to multiple ones [2], [5], [12]. Besides analysis, singular perturbation is also a powerful tool for control design [13], for example as a model reduction technique [14]: complex systems on a single time scale can be artificially separated into subsystems on different time scales, and thus simplify their analysis and controller design. Singular perturbation analysis can then provide additional conditions, for example on the control parameters [5], to ensure that Funding by the Swiss Federal Office of Energy through the project “Renewable Management and Real-Time Control Platform (ReMaP)” (SI/501810-01) and the ETH Foundation is gratefully acknowledged. The authors are with the Automatic Control Laboratory at ETH Z¨ urich, Switzerland. (emails: {miguelp,bsaverio,dorfler}@ethz.ch) the interconnected system remains stable. Some examples of these applications are hierarchical control architectures, like cascade control [15], or iterative optimization algorithms, like dual ascent [16], interior point methods [17], etc. However, for more than two time scales such singular perturbation conditions may be hard to derive, unless the interconnection present a specific structure [5], [12]. More importantly, since artificial time-scale separation slows down some subsystems with respect to others, it poses a fundamental limit on the convergence rate of the interconnected system. In this work, we consider interconnected control systems in which the individual subsystems are designed and stabilized (e.g., by means of control) on separate time scales, and we are interested in preserving the overall system stability of the interconnection in a single time scale. Unlike the singular per- turbation approach, we propose a single-time scale intercon- nection that guarantees closed-loop stability without imposing additional conditions on control parameters, nor slowing down any subsystem with respect to others. Additionally, our ap- proach can deal with general interconnection structures, where the dynamics of each subsystem may depend on the states of all other subsystems. Our proposed interconnection can be interpreted as a transient feed-forward term in faster systems, that anticipates the dynamics of slower ones. For that, it uses the sensitivity of the fast system’s steady state with respect to the slower system’s state. Therefore, we term this approach the sensitivity-conditioning. This new interconnection is inspired by recently proposed optimization algorithms to solve problems that are usually rep- resented on multiple time scales: the prediction-correction al- gorithms for time-varying optimization [18], [19], the advance- steps in nonlinear model predictive control [20], [21], and the opponent-learning awareness games [22], [23]. These algorithms use the nonlinear optimization sensitivity [24], [25] to generate feed-forward terms that improve their convergence. Our approach also relates to classic backstepping [11, Ch. 14] in the context of overcoming time-scale separation limitations. However, unlike backstepping, our approach does not require to know a stabilizing state feedback law in closed form. Hence, our approach is implementable in cases where such a feedback law is not available. Our contributions are the following: First, we divide the problem of designing the interconnection of two subsystems into a design problem of separate time-scales and a con- ditioning of their interconnection. For the latter, we define arXiv:2101.04367v3 [math.OC] 26 Nov 2021 reminds you of control architectures ? cascade control: two ”nested loops” TABLE II: Simulation parameters RLC-filter R = 1m⌦, L = 1mH, C = 300µ Frequency f = 50 1 sec , ! = 2⇡50rad sec Outer Controller C1 kP,v = 30 A V F , kI,v = 0.3 A V F rad sec Reference Real and imaginary parts: v r < = 12 Magnitude: |v r| = 120V = 1 p.u. Black start v(0) = 0V = 0 p.u., i(0) = 0A = cascade control applied to inverter slow/fast tuning arbitrary tuning 𝑚𝑖𝑛𝑖𝑚𝑖𝑧𝑒&" 𝑔'((()* 𝑥! , 𝑥" 𝑠. 𝑡. 𝑥" ∈ 𝑎𝑟𝑔𝑚𝑖𝑛+ &! 𝑔,-.)* (𝑥! , 9 𝑥" ) (e.g., nested gradient descent) time-scale separation predictive sensitivity
floriandoerfler
jmmastey
reverentgeek
shpigford
lauravandoore
jeffersonlam
cromwellryan
bkeepers
marcelosomers
tammyeverts
mclloyd
addyosmani
shlominoach
