ABSTRACT
In this paper, an approach to investigate switched affine system via matrix inequalities is presented. Particularly, an extension of LaSalle’s invariance principle for this class of systems under arbitrary dwell-time switching signal is presented. The proposed results employ a common auxiliary scalar function and also multiple auxiliary scalar functions to study the asymptotic behavior of switched solutions and estimate their attractors for any dwell-time switching signal. A specific feature of these results is that the derivative of the auxiliary scalar functions can assume positive values in some bounded sets. Moreover, a problem of constrained optimization is formulated to numerically determine the auxiliary scalar functions and minimize the volume of the estimated attractor. Numerical examples show the potential of the theoretical results in providing information on the asymptotic behavior of solutions of the switched affine systems under arbitrary dwell-time switching signals.
Keywords:
switched affine system; invariance principle; dwell-time; attractor set
RESUMO
Neste artigo, uma abordagem para investigar o sistema chaveado afim por meio de desigualdades matriciais é apresentado. Particularmente, uma extensão do princípio de invariância de LaSalle para esta classe de sistemas sob sinal chaveamento dwell-time arbitrário é apresentado. Os resultados propostos empregam uma função escalar auxiliar comum e também múltiplas funções escalares auxiliares para estudar o comportamento assintótico das soluções chaveadas e estimar seus atratores para qualquer sinal de chaveamento dwell-time. Uma característica especifica destes resultados é que a derivada das funções escalares auxiliares podem assumir valores positivos em alguns conjuntos limitados. Além disso, um problema de otimização restrita é formulado para determinar numericamente as funções escalares auxiliares e minimizar o volume do atrator estimado. Exemplos numéricos mostram o potencial dos resultados teóricos em fornecer informações sobre o comportamento assintótico das soluções do sistema chaveado afim sob sinais de chaveamento dwell-time arbitrários.
Palavras-chave:
sistema chaveado afim; princípio de invariância; dwell-time; conjunto de atrator
1. INTRODUCTION
Switched systems arise in practice when modeling the operation of many systems 99. H. Lin & P.J. Antsaklis. Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results. IEEE Transactions on Automatic Control, 54(2) (2009), 308-322. doi:10.1109/TAC.2008. 2012009.
https://doi.org/10.1109/TAC.2008. 201200...
. For this reason, important results about stability and stabilization for this class of system were presented in 22. A. Bacciotti & F. Ceragioli. Stability and stabilization of discontinuous systems and nonsmooth lyapunov functions. ESAIM: Control Optimisation and Calculus of Variations, 4 (1999), 361-376.), (55. M.S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43(4) (1998), 475-482. doi:10.1109/9.664150.
https://doi.org/10.1109/9.664150...
), (88. D. Liberzon & A.S. Morse. Basic problems in stability and design of switched systems. IEEE Control Systems Magazine, 19(5) (1999), 59-70. doi:10.1109/37.793443.
https://doi.org/10.1109/37.793443...
.
A subclass of nonlinear switched systems, known as switched affine system, can model some practical problems as well, especially in the area of electronics and power systems. An interesting application of this class of systems in electrical power systems can be found in 66. R. Kuiava, R.A. Ramos, H.R. Pota & L.F.C. Alberto. Practical stability of switched systems without a common equilibria and governed by a time-dependent switching signal. European Journal of Control, 19(3) (2013), 206 - 213. doi:http://dx.doi.org/10.1016/j.ejcon.2012.11.001.
https://doi.org/10.1016/j.ejcon.2012.11....
. Since these systems are subject to changes in the system equilibrium conditions due to fast varying loads, the focus in 66. R. Kuiava, R.A. Ramos, H.R. Pota & L.F.C. Alberto. Practical stability of switched systems without a common equilibria and governed by a time-dependent switching signal. European Journal of Control, 19(3) (2013), 206 - 213. doi:http://dx.doi.org/10.1016/j.ejcon.2012.11.001.
https://doi.org/10.1016/j.ejcon.2012.11....
was to determine conditions to ensure that the system trajectories remain confined into a security region of operation, even if the equilibrium point of the model changes.
An important observation about the switched affine system is that its equilibrium points change according to the time switching signal. Therefore, in this paper we are not interested in studying the stability of a particular equilibrium point but the asymptotic behavior of solutions.
The invariance principle is a powerful tool to study the asymptotic behavior of dynamical system solutions. It was established for the class of nonlinear switched system in 22. A. Bacciotti & F. Ceragioli. Stability and stabilization of discontinuous systems and nonsmooth lyapunov functions. ESAIM: Control Optimisation and Calculus of Variations, 4 (1999), 361-376.. However, less conservative results were obtained considering the extension of LaSalle’s invariance principle. The extension of the invariance principle was firstly obtained for continuous differential equations 1414. H.M. Rodrigues, L.F.C. Alberto & N.G. Bretas. On the invariance principle: generalizations and applications to synchronization. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 47(5) (2000), 730-739. doi:10.1109/81.847878.
https://doi.org/10.1109/81.847878...
), (1515. H.M. Rodrigues, L.F.C. Alberto & N.G. Bretas. Uniform Invariance Principle and Synchronization. Robustness with Respect to Parameter Variation. Journal of Differential Equations, 169(1) (2001), 228-254. and afterwards for discrete systems 11. L.F.C. Alberto, T.R. Calliero & A.C.P. Martins. An Invariance Principle For Nonlinear Discrete Autonomous Dynamical Systems. Automatic Control, IEEE Transactions on, 52(4) (2007), 692-697. doi:10.1109/TAC.2007.894532.
https://doi.org/10.1109/TAC.2007.894532...
, periodic systems 1313. W.C. Raffa & L.F.C. Alberto. A uniform invariance principle for periodic systems with applications to synchronization. Systems & Control Letters, 97 (2016), 48 - 54. doi:https://doi.org/10.1016/j.sysconle.2016.08.006. URL http://www.sciencedirect.com/science/article/pii/S0167691116301128.
http://www.sciencedirect.com/science/art...
and switched nonlinear systems 1717. M.C. Valentino, V.A. Oliveira, L.F.C. Alberto & D.S. Azevedo. An extension of the invariance principle for dwell-time switched nonlinear systems. Systems & Control Letters, 61(4) (2012), 580 - 586. doi:http://dx.doi.org/10.1016/j.sysconle.2012.02.007.
https://doi.org/10.1016/j.sysconle.2012....
.
The invariance principle presented in 33. A. Bacciotti & L. Mazzi. An invariance principle for nonlinear switched systems. Systems & Control Letters, 54(11) (2005), 1109 - 1119. doi:http://dx.doi.org/10.1016/j.sysconle.2005.04.003.
https://doi.org/10.1016/j.sysconle.2005....
and 1717. M.C. Valentino, V.A. Oliveira, L.F.C. Alberto & D.S. Azevedo. An extension of the invariance principle for dwell-time switched nonlinear systems. Systems & Control Letters, 61(4) (2012), 580 - 586. doi:http://dx.doi.org/10.1016/j.sysconle.2012.02.007.
https://doi.org/10.1016/j.sysconle.2012....
can be used to analyze the solutions of the switched affine system. However, the authors did not explore the particularities of the affine system to obtain the results. For this reason, in this paper, the properties of the affine system are explored to obtain sufficient conditions in terms of matrix inequalities to analyze the solution of this class of systems. More specifically, extensions of the invariance principle under a common auxiliary scalar function and also multiple auxiliary scalar functions will be presented. The main results are useful to estimate attractors of switched affine systems under arbitrary dwell-time switching signals.
From a practical point of view, the results proposed in this paper overcome the problem of finding the auxiliary scalar function and also the multiple auxiliary scalar functions satisfying all the conditions of the invariance principle presented in 1717. M.C. Valentino, V.A. Oliveira, L.F.C. Alberto & D.S. Azevedo. An extension of the invariance principle for dwell-time switched nonlinear systems. Systems & Control Letters, 61(4) (2012), 580 - 586. doi:http://dx.doi.org/10.1016/j.sysconle.2012.02.007.
https://doi.org/10.1016/j.sysconle.2012....
and 33. A. Bacciotti & L. Mazzi. An invariance principle for nonlinear switched systems. Systems & Control Letters, 54(11) (2005), 1109 - 1119. doi:http://dx.doi.org/10.1016/j.sysconle.2005.04.003.
https://doi.org/10.1016/j.sysconle.2005....
. Moreover, the techniques that are used enabled us to construct a constrained optimization problem, which can numerically determine the auxiliary scalar function and the multiple auxiliary scalar functions, minimizing the volume of the estimated attractor. Preliminary results of this work were presented in 1010. T.S. Pinto, L.F.C. Alberto & M.C. Valentino. Uma extensão do princípio de invariancia para sitemas chaveados afins. Anais do XXXVI Congresso Nacional de Matemática Aplicada e Computacional, (2017). and 1111. T.S. Pinto, L.F.C. Alberto & M.C. Valentino. Uma extensão do princípio de invariancia para sitemas chaveados afins via múltiplas funções auxiliares. Anais do XXXVI Congresso Nacional de Matemática Aplicada e Computacional, (2018).
The remainder of this paper is organized as follows. In Section 2, preliminary concepts of switched systems are presented; in Section 3, an extension of the invariance principle for arbitrary switched affine systems is presented; in Section 4, a systematic method to obtain optimal estimates of the attractor set of affine switched systems, which explores a nonlinear optimization problem, along with some numerical examples, is presented. Finally, the conclusion is presented in Section 5.
The notation used in this paper is fairly standard. Specifically, ℕ denotes the set of natural numbers, ℝn denotes the Euclidean space of dimension n and ℝn×n denotes the space of real matrices n × n. The notation ||·|| refers to the Euclidean norm, B(x, ε) denotes the open ball radius ε centered in x and . The complement and boundary of set ℳ is denoted by ℳc and ∂ℳ respectively. For matrices or vectors, (‘ ) indicates transpose. In addition, for a matrix P, indicates that P is a real symmetric and a positive definite matrix and λ max(P), λ min(P) denote its minimum and maximum eigenvalue, respectively.
2 PRELIMINARIES
Consider the following class of switched system:
where is a 𝒞1-function for all , 𝒩 is the number of subsystems, is the state vector and is a piecewise constant function, continuous from the right, called switching signal. Let be a sequence of consecutive switching times associated with the switching signal σ and be the union of intervals where subsystem p is active. The smooth, piecewise continuous function is a solution of the switched system (2.1) in the interval I if x(t) satisfies . We assume that the sequence of switching times is divergent and that each subsystem p is active infinite times. The set of all switching solutions is denoted by 𝒮. We denote φσ(t) (t, x 0), the solution of the switched system (3.1) with initial condition x 0 at the time under switching signal σ(t).
Some preliminary definitions, which can be found in 77. D. Liberzon. “Switching in Systems and Control”. Birkhäuser Basel (2003). and 33. A. Bacciotti & L. Mazzi. An invariance principle for nonlinear switched systems. Systems & Control Letters, 54(11) (2005), 1109 - 1119. doi:http://dx.doi.org/10.1016/j.sysconle.2005.04.003.
https://doi.org/10.1016/j.sysconle.2005....
, are presented below for the switched system (2.1).
Definition 2.1.The solutionhas a non-vanishing dwell-time if there existsso thatwhereis the sequence of consecutive switching times associated with φσ(t) (t, x 0). The number h is called a dwell-time for φ σ(t) (t, x 0) and the set of all solutions possessing a non-vanishing dwell-time is denoted by.
Definition 2.2.A pointis a limit point of the continuous curveif there exists a sequence {t k }k∈ℕ , with, so that. The set of all limit points ofis denoted by.
The set depends not only on the initial condition x 0 but also on the switching signal σ.
Definition 2.3.The solutionof (2.1) is attracted to a compact set ℳ if for allthere exists a time. Clearly,is attracted to a set ℳ, that is,,where d is the distance between a point and a set, which is defined by.
Definition 2.4.A compact set ℳ is weakly invariant in regard to the switched system (2.1) if for each, there exists an indexand a real numberso thatfor any.
The following proposition, which is proven in33. A. Bacciotti & L. Mazzi. An invariance principle for nonlinear switched systems. Systems & Control Letters, 54(11) (2005), 1109 - 1119. doi:http://dx.doi.org/10.1016/j.sysconle.2005.04.003.
https://doi.org/10.1016/j.sysconle.2005....
, establishes properties of the limit set of bounded solutions
Proposition 2.1.Letbe a bounded solution of (2.1) for. Then,is nonempty, compact and weakly invariant. Moreover,is attracted to.
In the next section, an extension of LaSalle’s invariance principle for a subclass of switched systems (2.1) is proposed. This extension is useful for obtaining estimates of global attractor sets of switched affine systems.
3 AN INVARIANCE PRINCIPLE FOR SWITCHED AFFINE SYSTEMS
The purpose of this section is to analyze the asymptotic behavior of the solutions of the class of continuous-time affine switched systems
where and σ(t) is a dwell-time switching signal, using an auxiliary common scalar function for all subsystems of the switched system (3.1) and multiple auxiliary scalar functions.
3.1 Results obtained via common auxiliary scalar functions
Consider a scalar quadratic function , which in the course of this text will be called an auxiliary function, given by
In addition, suppose that
Now, let be the set where the derivative of the auxiliary function V along the trajectories of the subsystem p is positive or null and . Let be a sublevel set of the auxiliary function (3.2) for a given P and d.
Lemma 1 provides sufficient conditions for the set 𝒟 to be bounded by a sublevel of the auxiliary function V.
Lemma 1.Consider the switched affine system (3.1) and the auxiliary function (3.2) such that (3.3) is satisfied. Then, the set 𝒟 is bounded and there exists a real number
with, which ensures the inclusion.
Proof. The derivative of the function V along the solution of subsystem p satisfies
where . Thus, we conclude that
Since (3.3) is satisfied for all , we have that . Thus, from (3.5), we conclude that the derivative of function V is strictly negative when .
Then, . Therefore, the set 𝒟 is bounded.
Analyzing the values that the function V assumes when <mml:math><mml:mi>x</mml:mi> <mml:mo>∈</mml:mo><mml:mi>𝒟</mml:mi></mml:math>, we obtain:
Then, choosing such that , we conclude that . □
The next lemma guarantees the existence of a positively invariant set for the switched affine systems under an arbitrary dwell-time switching signal.
Lemma 2.Consider the switched affine system (3.1) and the auxiliary function (3.2) such that (3.3) is satisfied. Letbe a real number satisfying (3.4). If, then every solutionwithstays insidefor all.
Proof. For , let be a solution of the switched system (3.1) under arbitrary dwell-time switching σ(t). Suppose the existence of . Then, by the continuity of V and , there exists . Thus, V has to increase out of . On the other hand, according to Lemma 1, fixed the real number 𝓁 satisfying (3.4), , which leads to a contradiction.
Therefore, the solution stays inside for all because every sublevel set of the function V is bounded. □
From Lemma 1 e Lemma 2, we can prove the following invariance principle for the class of switched affine systems using a common auxiliary function.
Theorem 3.Consider the switched affine system (3.1) and the auxiliary function (3.2) such that (3.3) is satisfied. Then, every solutionis attracted to a weakly invariant set in, where 𝓁 is given by (3.4).
Proof. First, we consider , then, by Lemma 2 we have that every solution stays inside for all , that is, the solution is bounded. By Proposition 2.1 we conclude that the solution will be attracted to a weakly invariant set in .
Now, let and . If enters at some time t, then the result follows from the first part of this proof. Suppose the solution .
Since , it follows that . This implies the existence of such that . Therefore V(φσ(t) (t, x 0)) is strictly decreasing, which implies the existence of . By Lemma 2, the solution . Thus, the conclusion follows from the first part of this proof. Therefore, every solution is attracted to a weakly invariant set in . □
The following example illustrates the results of Theorem 3.
Example 3.1. Consider the switched affine system
where. The eigenvalues of the matrices, are,. respectively. In addition, the equilibrium points of each subsystem p,, are different: .
With the objective of obtaining an estimate of the attractor set for the switched affine system (3.6), consider the auxiliary function (3.2), where P and d are given byrespectively. Since P1satisfies (3.3), Lemma 1 ensures that the set 𝒟 is bounded and, which satisfies (3.4). Then, from Theorem 3, every solutionis attracted to a weakly invariant set in. Therefore, the attractor set of the system (3.6) is contained in the ellipsoidal regionfor any dwell-time switching. The volume of this estimation is vol.
Figure 1illustratesand a trajectory starting atunder switching signal σ(t) with dwell-time h = 0.2 seconds. This figure confirms the results of Theorem 3 by showing an attractor inside the set. Functionalong the switching solution is shown inFigure 2. Observe inFigure 2the changes of sign of the derivate of V along the solution.
Phase portrait for Example 3.1 with initial condition x0 = [ 20 20]' illustrating the level set and switching signal with dwell-time h = 0.2 seconds.
Function , defined by P1 and d1, along the switched affine system solution with initial condition x0 = [ −20 20]'.
3.2 Results obtained via multiple auxiliary scalar functions
Although Theorem 3 provides less conservative conditions on the auxiliary function V as compared to the LaSalle’s invariance principle, it still may be difficult to find such V satisfying all assumptions of Theorem 3 for all . Moreover, the function V can not exist, or it might lead to very conservative estimates of attractors. In order to overcome this difficulty, we will consider now the existence of multiple auxiliary scalar C 1 functions as follows:
Henceforth, the set of functions (3.7) will be called multiple auxiliary functions. In addition, we suppose that
Define the set where the derivate of function V p along the trajectories of subsystem p is positive or null. Let .
The next lemma provides sufficient conditions for the set ℰ to be bounded.
Lemma 4. Consider the switched affine system (3.1) and the multiple auxiliary functions V p given by (3.7) such that (3.8) is satisfied. Then, the set ℰ is bounded.
Proof. The derivative of V p along the solution of the subsystem , is given by
where . Thus, we conclude that
Since (3.8) is satisfied for all , we have that <mml:math><mml:msub><mml:mi>λ</mml:mi><mml:mrow><mml:mi>m</mml:mi><mml:mi>a</mml:mi><mml:mi>x</mml:mi></mml:mrow></mml:msub><mml:mo>(</mml:mo><mml:msub><mml:mi>Q</mml:mi><mml:mi>p</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo><</mml:mo><mml:mn>0</mml:mn></mml:math>. Then, from (3.9), we conclude that the derivative of V p (x) is strictly negative when .
Then, , where
that is, the set ℰ is bounded.
The next lemma guarantees the existence of upper and lower bounds for the multiple auxiliary functions V p given by (3.7).
Lemma 5. Consider the switched affine system (3.1) and the multiple auxiliary functions V p given by (3.7) such that (3.8) is satisfied. Then, there are continuous functions satisfying:
Proof. To show the existence of functions α and β satisfying (3.11) we will determine a particular case of them. Since , we have
for all and . Define , where .
From (3.12), we have that
Thus, considering , from (3.13) we have and . Now, define , where . Then, from (3.8), we have that
Define . As a consequence of (3.14), we have . Therefore, the scalar functions
satisfy (3.11).
We now consider the continuous functions , such that and , with satisfying (3.11). Moreover, we define the sets and with and . It is clear by construction that
The next lemma estimates the values 𝓁0,..., 𝓁𝒩+1 and the regions ℰ, and .
Lemma 6. Consider the switched affine system (3.1) and the multiple auxiliary functions V p given by (3.7) such that (3.8) is satisfied. Moreover, assume that and , with satisfying (3.11), then:
-
(i) If , then where η is given by (3.10).
-
(ii) Given a real number 𝓁0 such that, then, if.
Proof.
-
(i) Due to Lemma 4, the inclusion , where η is given by (3.10), is verified. Then, when we analyze the values the continuous function , given by , assumes in ℰ , we obtain
-
Thus, for satisfying , we conclude that . Therefore, by construction of the set , we have that .
-
(ii) The proof will be given by induction on the index . For N = 1, we can show that , when . In fact, if , then . Hence, . For , we have that
-
for all .
-
Thus, by defining , we have that since is verified.
-
Next, we assume the result holds for 𝒩 subsets, that is, the real numbers and , ensure that . Now, we show that the result holds for 𝒩 + 1. For all , we have that . For , the following inequalities are satisfied , for all . Therefore, for , we have .
In order to take into account multiple auxiliary functions, we consider the following assumption.
Assumption 3.1. For every pair of consecutive switching times such that the following holds:
The next result shows that every solution of the affine switched system (3.1) is bounded.
Lemma 7. Consider the switched affine system (3.1) and the multiple auxiliary functions V p given by (3.7) such that (3.8) is satisfied. Moreover, we assume that Assumption 3.1 is satisfied. Then, every solution , is bounded.
Proof. Let such that and η is given by (3.10). For , let be a solution of the switched system (3.1) under arbitrary dwell-time switching signals. Then, by Lemma 3 in 1717. M.C. Valentino, V.A. Oliveira, L.F.C. Alberto & D.S. Azevedo. An extension of the invariance principle for dwell-time switched nonlinear systems. Systems & Control Letters, 61(4) (2012), 580 - 586. doi:http://dx.doi.org/10.1016/j.sysconle.2012.02.007.
https://doi.org/10.1016/j.sysconle.2012....
, we have that every solution stays inside , that is, the solution is bounded.
Now, let and . If enters at some t, then the result follows from the first part of this proof. Suppose t hat the solution . Let such that and . Define with . Then the following inclusion holds . Due to the existence of the multiple functions V
p given by (3.7) and Assumption 3.1, the Lemma 3 in 1717. M.C. Valentino, V.A. Oliveira, L.F.C. Alberto & D.S. Azevedo. An extension of the invariance principle for dwell-time switched nonlinear systems. Systems & Control Letters, 61(4) (2012), 580 - 586. doi:http://dx.doi.org/10.1016/j.sysconle.2012.02.007.
https://doi.org/10.1016/j.sysconle.2012....
again implies that if , then stays inside , that is, the solution with is bounded.
Therefore, every solution of the switched system (3.1) under arbitrary dwelltime switching signal σ(t) is bounded.
Exploring the above results, next theorem establishes an extension of the invariance principle by means of multiple auxiliary scalar functions.
Theorem 8.Consider the switched affine system (3.1) and the multiple auxiliary functions Vpgiven by (3.7) such that (3.8) is satisfied. Moreover, we assume that Assumption 3.1 is satisfied. Then every solution, is Attracted to the Largest weakly invariant set of.
Proof. First, we consider . Note that, in the hypotheses of this theorem, the Assumption 3.1 and the inequalities (3.7) and (3.8) are satisfied. Then, by Lemma 7 and Lemma 3 in 1717. M.C. Valentino, V.A. Oliveira, L.F.C. Alberto & D.S. Azevedo. An extension of the invariance principle for dwell-time switched nonlinear systems. Systems & Control Letters, 61(4) (2012), 580 - 586. doi:http://dx.doi.org/10.1016/j.sysconle.2012.02.007.
https://doi.org/10.1016/j.sysconle.2012....
, we have that every solution is bounded and stays inside for all .
By Proposition 2.1 we conclude that the solution will be attracted to a weakly invariant set in .
Now let and . If there exists such that , then the proof follows from the first part of this proof. Suppose the solution does not enter . Due to Lemma 7, we have that solution is bounded. Consider the subsequence of switching times at which the system p becomes active, that is, . From Assumption 3.1, we have that is a decreasing sequence of real numbers bounded from bellow. Then, where for all . By Proposition 2.1, is a nonempty and weakly invariant set. Let , then there exists a sequence {t
j } such that as . Since the set 𝒫 is finite, there exists at least one index and a subsequence such that . Then, for all . Using the same ideas of the proof of Proposition 2 in 33. A. Bacciotti & L. Mazzi. An invariance principle for nonlinear switched systems. Systems & Control Letters, 54(11) (2005), 1109 - 1119. doi:http://dx.doi.org/10.1016/j.sysconle.2005.04.003.
https://doi.org/10.1016/j.sysconle.2005....
, we can guarantee the existence of an interval [ ε, γ] containing the origin and functions defined on [ ε, γ], satisfying the following properties: υj (t) uniformly converges to υ(t) on [ ε, γ], for all and . Then and for all . Particularly, for , then and . The set is a weakly invariant set, then the solution is attracted to the largest weakly invariant in , which leads to a contradiction because . Thus, there exists such that and the result follows from the first part of this proof.
Therefore, every solution is attracted to the largest weakly invariant set in .
The following example illustrates Theorem 8.
Example 3.2. ( 12 12. T.S. Pinto, L.F.C. Alberto & M.C. Valentino. Uma extensão do princípio de invariancia para sitemas chaveados afins via múltiplas funções auxiliares. Anais do XXXVII Congresso Nacional de Matemática Aplicada e Computacional, (2018). ) Consider the affine switched system
where,and. The eigenvalues of the matrices, are {−3.4384, −7.5616} and {−3.5 ± 1.6583i}, respectively. In addition, the equilibrium points of each subsystem p,, are given byand.
With the objective of obtaining an estimate of the attractor set for the switched affine system (3.16), consider the auxiliary functions (3.7), withandsatisfying (3.8) and the vector. From Lemma 6, we can conclude that, as, where η is given by (3.10), and. Then, from Theorem 8, every solutionis attracted to a weakly invariant set in. Therefore, the attractor set of the system (3.16) is contained in the ellipsoidal regionfor any dwell-time switching signal. The volume of this estimation is vol.
Figure 3illustratesand a trajectory starting atwith switching signal σ(t) with dwell-timeseconds. This figure confirms the results of Theorem 8 by showing an attractor inside the set. Function, along the solution of the switched affine system (3.16) is shown inFigure 4. Observe inFigure 4the changes of sign of the derivate of V along the solution.
Phase portrait for Example 3.2 with initial condition illustrating the level set and switching signal with dwell-time h = 0.2 seconds.
Function , defined by P 11, P 21 and d 1, along the switched affine system solution with initial condition .
4 ESTIMATING THE ATTRACTOR SET BY OPTIMIZATION
In this section, the results of Section 3 are explored to obtain a systematic method to find the common auxiliary function or multiple auxiliary functions for the switched affine system in order to determine an estimate of the attractor as small as possible. For this purpose, a constrained optimization problem where the restrictions are given by the sufficient conditions of the invariance principle has been considered. Using this new procedure, Examples 3.1 and 3.2 are solved again to show that the new estimates of the attractor have smaller volume than the estimates obtained previously by trial and error. To obtain the solution of the optimization problems in the next examples, we have used the function ga, of the Global Optimization Toolbox of Matlab, which is a Genetic Algorithm which explores the technique of heuristic optimization, inspired by biological evolution, to solve the optimization problem 1616. S.J. Russell & P. Norvig. “Artificial Intelligence: A Modern Approach”. Prentice Hall (2002)..
4.1 Common auxiliary function
Theorem 3 ensures that the sublevel set , associated with the common auxiliary function (3.2), is an estimate of the attractor set for the switched affine system (3.1) under arbitrary dwell-time switching. However, it is clear from Lemma 1 and Example 3.1 that the size of set is related to matrix and the vector .
Thus, we are interested in finding a matrix and a vector such as (P, d) minimizes the volume of the set . For this purpose, we considered the next optimization problem. Note that this problem can be constructed due to the format of the assumptions of Theorem 3.
Optimization Problem 4.1.
where
The next theorem establishes the formulation for finding an estimate of the attractor set of the switched affine system (3.1) with minimum volume. In this theorem, the estimate of the attractor set is formulated into an optimization problem.
Theorem 1.Suppose that the pair (P, d) is a solution for the Optimization Problem 4.1. Then,is an estimate of the attractor set for the switched affine system (3.1) with minimum volume, that is, every solutionis attracted to a weakly invariant set in.
Proof. Let and be a solution to the Optimization Problem 4.1. Then,
where . Moreover, the constraints of the optimization problem (4.2)−(4.3) are equivalent to (3.3) and (3.4). Thus, from Theorem 3, it follows that every solution is attracted to a weakly invariant set in . Since the volume of is proportional to (det(P))1/2 (44. S. Boyd, L. El Ghaoui, E. Feron & V. Balakrishnan. “Linear Matrix Inequalities in System and Control Theory”. SIAM studies in applied mathematics: 15 (1994)., minimizing this determinant is equivalent to minimizing −ln(det(P)) and therefore, the proof is complete.
We can obtain the matrix P and the vector d satisfying Theorem 1 by solving the Optimization Problem (4.1) via numerical algorithms. In other words, a computational procedure based on nonlinear optimization to estimate the attractor set for the switched affine systems, under arbitrary dwell-time switching, is obtained by exploring Theorem 1.
The next Procedure 4.1 explores Theorem 1 to estimate the attractor set of the switched affine systems (3.1) under arbitrary dwell-time switching signals.
Procedure 4.1.
-
• Input: .
-
• Output: (an estimate the attractor set of switched affine systems (3.1) obtained via Theorem 1).
-
1. Find the positive definite matrix and the vector , solving Optimization Problem 4.1.
-
2. Calculate the volume of the set.
Example 4.1 explores Theorem 4.1 and Procedure 4.1 to solve Example 3.1 again, in order to obtain a better estimate of the attractor set of the switched affine system (3.6) under arbitrary switching signal.
Example 4.1.Consider the switched affine system (3.6) presented in Example 3.1. Following the Procedure 4.1, we can find the local optimal solutionand, which defines the ellipsoidal regioncentered at d with vol.
Then, from Theorem 4.1, every solutionis attracted to a weakly invariant set in. Therefore, the attractor set of the system (3.6) is contained in the ellipsoidal regionfor any dwell-time switching signal. Moreover, we can confirm that the estimate of the attractor set obtained by using Procedure 4.1 is better than those presented in Example 3.1, whose volume is vol.
Figure 5 illustrates the trajectory of the switched affine system with under a dwelltime switching signal with seconds, and, the estimate of , obtained in Example 3.1, and , obtained by using Procedure 4.1. The attractor set is contained in , confirming the results of Theorem 4.1.
The estimates and of the attractor set and a solution , of the switched affine system (3.6) under a switching signal σ(t) with dwell-time seconds.
4.2 Multiple auxiliary functions
The results established in Subsection 8 ensure that the set , associated with the scalar function α(x), given by , where , is an estimate of the attractor set of the switched system affine (3.1) for any dwell-time switching signal σ(t). However, it is evident from the hypotheses of Theorem 8 that the size of , is related to the positive definite matrices and the vector . Then, at this moment, we are interested in finding matrices and vector that minimize the volume of the set . For this purpose, we consider the next optimization problem. Note that this problem can be constructed due to the format of the assumptions of Theorem 8.
Optimization Problem 4.2.
where
The next result allows us to find an estimate of the attractor set of switched affine system 3.1 with minimum volume under arbitrary switching signal by exploring Theorem 8. In this result, the estimation of the attractor set is formulated as a nonlinear optimization problem.
Theorem 2.Suppose that (P 1, . . . , P 𝒩 , P m , P M , d) is a solution of the Optimization Problem 4.2.Consider that Assumption 3.1 is satisfied and. Then, is an estimate of the attractor set of the switched affine system (3.1) with minimum volume for any arbitrary dwell-time switching signal, that is, every solutionis attracted to a weakly invariant set in.
Proof. Consider that (P 1, . . . , P 𝒩 , P m , P M , d) is a solution for the Optimization Problem 4.2. From constraints (4.6) (4.7) and from the first ?? coordinates of the solution of the Optimization Problem 4.2, it is possible to write the functions V p as (3.7) such that (3.8) is satisfied. Using (4.8) and (4.9), we can define and satisfying (3.11). Rewriting (4.10), we have , that is, by Lemma 6, one guarantees that (3.15) is satisfied, where and η is given by (3.10). Since Assumption 3.1 is considered, every hypothesis of Theorem 2 is satisfied. Therefore, every solution of the switched affine system (3.1) under arbitrary dwelltime switching signal, , with , is attracted to the largest invariant set in . Since the volume of is proportional to (det(P m ))1/2 (44. S. Boyd, L. El Ghaoui, E. Feron & V. Balakrishnan. “Linear Matrix Inequalities in System and Control Theory”. SIAM studies in applied mathematics: 15 (1994)., minimizing this determinant is equivalent to minimizing −ln(det(P m )) and the proof is complete.
Positive definite matrices and a vector , which satisfy Theorem 2, are obtained by numerically solving the Optimization Problem 4.2. In other words, (P 1,. . . , P 𝒩 , P m , P M , d) can be systematically calculated to obtain a good estimate of the attractor set.
Exploring Theorem 2, the next procedure is defined to estimate the attractor set of switched affine systems (3.1) under arbitrary dwell-time switching.
Procedure 4.2.
-
• Input: .
-
• Output: (estimate of the attractor set of the system (3.1) obtained via Theorem 2.)
-
1. Find the positive definite matricesand the vector, by solving the Optimization Problem 4.2.
-
2. Since,
-
3. Calculate the volume of the set.
Example 4.2 explores Theorem 2 under Procedure 4.2 to obtain a better estimate of the attractor set as compared to the estimate obtained in Example 3.2.
Example 4.2.Consider the switched affine system of (3.16) presented in Example 3.2. Using the Procedure 4.2 and solving the Optimization Problem 4.2, we obtain the local optimal solutionand the scalarsand. Then, from Theorem 2, every solutionis attracted to a weakly invariant set in. Therefore, the attractor set of the system (3.16) is contained in the ellipsoidal regionfor any dwell-time switching signal. The volume of this estimation is vol. Moreover, we can confirm that the estimate of the attractor set obtained by using Procedure 4.2 is better than the one presented in Example 3.2, whose volume is vol.
Figure 6illustrates the trajectory of the switched affine system withunder a dwelltime switching signal withseconds, and, the estimate of, obtained in Example 3.2,.and, obtained by using Procedure 4.2. The attractor set is contained in, confirming the results of Theorem 2.
Phase portrait for Example 3.2 with initial condition illustrating the level sets and switching signal with dwell-time seconds.
5 CONCLUSION
In this paper, we have studied the asymptotic behavior of the solutions of the class of switched affine systems under arbitrary dwell-time switching signal exploring the specific structure of these systems.
The invariance principles proposed in this paper were obtained via a common auxiliary scalar function and multiple auxiliary scalar functions. These principles offer estimates of the attractor set of the switched affine systems (3.1) in terms of an ellipsoidal sublevel set for any dwelltime switching signal. Exploring the invariance principle and a nonlinear optimization problem, optimal estimates of the attractor set were obtained. Illustrative examples show the potential of the theoretical results in providing information on the asymptotic behavior of solutions of switched affine systems under arbitrary dwell-time switching signals.
ACKNOWLEDGEMENTS
This work was partially supported by the project INCT (National Institute of Science and Technology) under the grant FAPESP (São Paulo Research Foundation) 2014/5081-0 and by CNPq (National Council for Scientific and Technological Development) under the grant 308067/2017-7.
REFERENCES
-
1L.F.C. Alberto, T.R. Calliero & A.C.P. Martins. An Invariance Principle For Nonlinear Discrete Autonomous Dynamical Systems. Automatic Control, IEEE Transactions on, 52(4) (2007), 692-697. doi:10.1109/TAC.2007.894532.
» https://doi.org/10.1109/TAC.2007.894532 -
2A. Bacciotti & F. Ceragioli. Stability and stabilization of discontinuous systems and nonsmooth lyapunov functions. ESAIM: Control Optimisation and Calculus of Variations, 4 (1999), 361-376.
-
3A. Bacciotti & L. Mazzi. An invariance principle for nonlinear switched systems. Systems & Control Letters, 54(11) (2005), 1109 - 1119. doi:http://dx.doi.org/10.1016/j.sysconle.2005.04.003.
» https://doi.org/10.1016/j.sysconle.2005.04.003 -
4S. Boyd, L. El Ghaoui, E. Feron & V. Balakrishnan. “Linear Matrix Inequalities in System and Control Theory”. SIAM studies in applied mathematics: 15 (1994).
-
5M.S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control, 43(4) (1998), 475-482. doi:10.1109/9.664150.
» https://doi.org/10.1109/9.664150 -
6R. Kuiava, R.A. Ramos, H.R. Pota & L.F.C. Alberto. Practical stability of switched systems without a common equilibria and governed by a time-dependent switching signal. European Journal of Control, 19(3) (2013), 206 - 213. doi:http://dx.doi.org/10.1016/j.ejcon.2012.11.001.
» https://doi.org/10.1016/j.ejcon.2012.11.001 -
7D. Liberzon. “Switching in Systems and Control”. Birkhäuser Basel (2003).
-
8D. Liberzon & A.S. Morse. Basic problems in stability and design of switched systems. IEEE Control Systems Magazine, 19(5) (1999), 59-70. doi:10.1109/37.793443.
» https://doi.org/10.1109/37.793443 -
9H. Lin & P.J. Antsaklis. Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results. IEEE Transactions on Automatic Control, 54(2) (2009), 308-322. doi:10.1109/TAC.2008. 2012009.
» https://doi.org/10.1109/TAC.2008. 2012009 -
10T.S. Pinto, L.F.C. Alberto & M.C. Valentino. Uma extensão do princípio de invariancia para sitemas chaveados afins. Anais do XXXVI Congresso Nacional de Matemática Aplicada e Computacional, (2017).
-
11T.S. Pinto, L.F.C. Alberto & M.C. Valentino. Uma extensão do princípio de invariancia para sitemas chaveados afins via múltiplas funções auxiliares. Anais do XXXVI Congresso Nacional de Matemática Aplicada e Computacional, (2018).
-
12T.S. Pinto, L.F.C. Alberto & M.C. Valentino. Uma extensão do princípio de invariancia para sitemas chaveados afins via múltiplas funções auxiliares. Anais do XXXVII Congresso Nacional de Matemática Aplicada e Computacional, (2018).
-
13W.C. Raffa & L.F.C. Alberto. A uniform invariance principle for periodic systems with applications to synchronization. Systems & Control Letters, 97 (2016), 48 - 54. doi:https://doi.org/10.1016/j.sysconle.2016.08.006. URL http://www.sciencedirect.com/science/article/pii/S0167691116301128
» https://doi.org/10.1016/j.sysconle.2016.08.006» http://www.sciencedirect.com/science/article/pii/S0167691116301128 -
14H.M. Rodrigues, L.F.C. Alberto & N.G. Bretas. On the invariance principle: generalizations and applications to synchronization. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 47(5) (2000), 730-739. doi:10.1109/81.847878.
» https://doi.org/10.1109/81.847878 -
15H.M. Rodrigues, L.F.C. Alberto & N.G. Bretas. Uniform Invariance Principle and Synchronization. Robustness with Respect to Parameter Variation. Journal of Differential Equations, 169(1) (2001), 228-254.
-
16S.J. Russell & P. Norvig. “Artificial Intelligence: A Modern Approach”. Prentice Hall (2002).
-
17M.C. Valentino, V.A. Oliveira, L.F.C. Alberto & D.S. Azevedo. An extension of the invariance principle for dwell-time switched nonlinear systems. Systems & Control Letters, 61(4) (2012), 580 - 586. doi:http://dx.doi.org/10.1016/j.sysconle.2012.02.007.
» https://doi.org/10.1016/j.sysconle.2012.02.007
Publication Dates
-
Publication in this collection
30 Apr 2020 -
Date of issue
Jan-Apr 2020
History
-
Received
11 Dec 2018 -
Accepted
19 Nov 2019