Global Stability Analysis of Nonlinear Sampled-Data Systems using Convex Methods

Global Stability Analysis of Nonlinear Sampled-Data Systems using Convex Methods

Matthew M. Peet and Alexandre Seuret Matthew M. Peet Arizona State University, PO Box 876106, Tempe, AZ 85287, 1Alexandre Seuret CNRS, LAAS, 7 avenue du Colonel Roche, 31077 Toulouse, France. Univ. de Toulouse, LAAS, F-31400 Toulouse, France. 2
2email: mpeet@asu.edu
4email: aseuret@laas.fr
Abstract

In this chapter, we consider the problem of global stability of nonlinear sampled-data systems. Sampled-data systems are a form of hybrid model which arises when discrete measurements and updates are used to control continuous-time plants. In this paper, we use a recently introduced Lyapunov approach to derive stability conditions for both the case of fixed sampling period (synchronous) and the case of a time-varying sampling period (asynchronous). This approach requires the existence of a Lyapunov function which decreases over each sampling interval. To enforce this constraint, we use a form of slack variable which exists over the sampling period, may depend on the sampling period, and allows the Lyapunov function to be temporarily increasing. The resulting conditions are enforced using a new method of convex optimization of polynomial variables known as Sum-of-Squares. We use several numerical examples to illustrate this approach.

1 Introduction to the Problem of Stability of Sampled-Data Systems

Consider an aircraft in combat being remotely piloted by an operator. Directed energy or some other form of electronic warfare is used to deny portions of the electromagnetic spectrum and thus reduce the communication bandwidth between vehicle and operator. The change in bandwidth restricts the rate at which information can be transmitted to the vehicle. The question we ask is what is the minimum rate of transfer of information the aircraft can tolerate before it becomes unstable. This situation is similar to the use of electronic countermeasures on an active radar-guided missile. In both cases, there is a set of continuous-time dynamics representing the dynamics of the controlled system. These continuous dynamics are regulated by continuous real-time feedback using digital sensing and actuation. During normal operation, the controller is updated continuously and so the digitization of the controller does not affect the dynamics of the closed-loop system. When interference occurs, however, the update rate of the controller may be sparse or unpredictable. In this case, the system becomes neither discrete nor continuous, but rather a special type of hybrid system referred to as a Sampled-Data system, modeled as

where for all and is the sampling period which may be constant or may depend on . Typically, systems of this form arise when the dynamics depend on external updates - often through the use of a controller so that with . The sampling period may be thought of as the time between updates from an external controller. In the scenarios described above, would vary with - the so-called ‘asynchronous’ case. However, there are certain situations when may not vary from update to update - such as when as when the controller is implemented using using an A/D converter with step-times. We refer to this situation as the ‘synchronous’ case.

Linear Sampled-Data systems have been well-studied in the literature ChenFran:1995 ; FRISEURIC:AUT:04 ; Fujioka:Autom:2009 ; ZhanBranPhi:IEEECSM:2001 , including work on nonlinear systems in jury1964stability ; zaccarian2003finite . One popular approach has been to regard the system in continuous-time and use a discontinuous, time-varying delay to represent the hybrid part of the dynamics mikheev1988asymptotic . Unfortunately, this approach has not been completely successful, as the understanding of nonlinear systems with time-varying delay is itself a difficult problem. An alternative approach has been to regard the system in discrete time Suh:Auto:2008 ; OishiFujioka:CDC:2009 ; hetel_06 , where the update law is given by the solution map of the continuous-time system over a period . For a linear system, this solution map is well-defined using matrix exponentials. For nonlinear systems, it can be approximated over bounded intervals using methods such as the extended Picard iteration Peet_2012TAC . The difficulty with this approach is that the update law is different for every sampling period - meaning that although the approach may work well for a fixed sampling period, for unknown and time-varying sampling period, one has to verify stability over a family of potential solutions. Even in the linear case, this means verification of stability with parametric uncertainty which enters through the exponential. If we have a nonlinear sampled-data system, then even if the vector field is polynomial, the extended Picard iteration yields a polynomial approximation to the solution map - meaning we must test stability of a complicated polynomial vector field with parametric uncertainty - an NP-hard problem.

In this chapter, we consider the use of a new Lyapunov-based approach to stability analysis of sampled-data systems. Specifically, we rely on a Lyapunov result which states that while Lyapunov functions must experience a net decrease over the sampling period, it may be instantaneously increasing seuret:auto:2010 . This constraint can be implemented in a Lyapunov context through the use of ‘spacing functions’ - functions which are required to vanish at the endpoints of the sampling period. The main idea behind these functions is that instead of requiring negativity of the Lyapunov function over the entire sampling interval, we only require the sum of the Lyapunov function and the spacing function to be decreasing for all time. The inspiration for this approach came from the previous work on spacing functions for Lyapunov-Krasovskii functionals for stability of time-delay systems in peet_2009SICON . In seuret_2013TAC , we considered the use of this approach for construction of quadratic Lyapunov functions for linear sampled-data systems in both the synchronous and asynchronous cases. The contribution of this chapter is to show how this approach can be extended to prove global stability of nonlinear sampled-data systems.

This chapter is organized as follows. In Section 2, we introduce the sampled-data system model and define our concepts of stability. We then give the Lyapunov theorem whose conditions we will test. We then introduce the Sum-of-Squares approach to optimization of polynomial variables, including the use of Positivstellensatz results to enforce local positivity. In Section 3, we show how the Sum-of-Squares framework can be used to enforce the stability conditions of Section 2. Finally, in Section 4, we apply the results of the chapter to several cases of nonlinear stability analysis in both the synchronous and asynchronous cases.

2 Background

In this section we will first describe the Lyapunov theorem we will use and discuss the conditions that a Lyapunov function must satisfy. Following this, we will briefly discuss the computational framework we will use to enforce the conditions of the Lyapunov theorem. Specifically, we will give background on optimization of polynomials using the Sum-of-Squares methodology (SOS).

2.1 Sampled-Data Systems

In this chapter, we consider the stability of solutions of equations of the form

(1)

where , for all and is the sampling period which may be constant or may depend on . We assume that satisfies some upper bound for all . When it exists, we define the continuous-time flow-map to be any function which satisfies for all and . If exists, then the sampled-data system can be reduced to a discrete-time system as . For the linear sampled-data system

we have the explicit solution

For a nonlinear system, the solution map is difficult to find - although it may be approximated using such methods as Picard iteration.

Definition 1

We say the Sampled-Data System (1) is globally exponentially stable if there exist positive constants such that for any initial condition , and any satisfying  (1), we have for all .

For a linear sampled-data system with a uniform bound on , global exponential stability is equivalent to .

Definition 2

We say the Sampled-Data System (1) is locally exponentially stable on domain if there exist positive constants such that for any initial condition , and any satisfying  (1), we have and for all .

2.2 A Lyapunov Theorem

In this theorem, we assume global existence and continuity of solutions.

Notation: For a given solution, , of System (1), define the function for . Associated with , we denote the supremum norm .

Theorem 2.1

seuret:auto:2010 Suppose is continuously differentiable and

(2)

for positive scalars with . Then for any positive constants and such that for all , the following are equivalent.

(i)

There exists positive constants such that for all solutions of Equation (1), and for all ,

(ii)

There exists a positive constant and continuously differentiable functions which satisfy the following for all .

(3)

and such that for all solutions of Equation (1), and for all

(4)

Moreover, if either of these statements is satisfied, then System (1) is globally exponentially stable about the origin with decay rate .

Note that the function is an operator on an infinite-dimensional vector space. Parametrization of a dense subspace of such operators is impossible using digital computation. However, in this paper, we avoid this difficulty by choosing the operator to have the form of . This choice for the structure of comes from the proof of Theorem 2.1 and is non-conservative.

2.3 Sum-of-Squares Optimization

Theorem 2.1 reduces the question of global exponential stability of sampled-data systems to the existence of a Lyapunov function and a piecewise-continuous ‘spacing function’ , which jointly satisfy certain pointwise constraints. Specifically, using the structure , we require

and

for all and .

To find the functions and and enforce these constraints, we must optimize functional variables subject to positivity constraints. While this is a very difficult form of optimization, there has been recent progress in this area through the use of sum-of-squares variables. Specifically, we assume the functions and are polynomials of bounded degree. The vector space of polynomials of bounded degree is finite dimensional and can be represented using e.g. a set of monomial basis functions. Specifically, if we define the vector of monomials in variables of degree or less as , then we can assume that has the form

for some vector . To enforce the positivity constraints, we assume that any positive polynomial, can be represented as the sum of squared polynomials as

While this assumption is somewhat conservative, the conservatism is not significant, as Sum-of-Squares polynomials are known to be dense in the set of positive polynomials. The key advantage to requiring positive polynomials to be sum-of-squares is that the set of sum-of-squares polynomials of bounded degree is precisely parameterized by the set of positive semidefinite matrices with size corresponding to the degree of the polynomials. That is, a polynomial is SOS if and only if

for some positive semidefinite matrix and where recall is the vector of monomials in variables of degree or less. Thus the constraint that be a SOS polynomial is equivalent to a set of linear equality constraints between the variables and , as well as the constraint that . Thus optimization of SOS polynomials is actually a form of semidefinite programming - for which we have efficient numerical algorithms and implementations - e.g. sturm_1999 ; borchers1999csdp .

Notation: We denote the constraint that a polynomial be Sum-of-Squares as .

While polynomials which are SOS will always be globally positive, we occasionally would like to search for polynomials which are only positive on a subset of . This is typically accomplished through the use of SOS multipliers, formalized through certain ‘Positivstellensatz’ results.

Lemma 1

Suppose that there exists polynomials and SOS polynomial such that

Then for any .

Thus if we can represent the subset of interest as a semialgebraic set, then we can enforce positivity on this set using SOS and polynomial variables. Note that in Lemma 1 is not itself a Sum-of-Squares.

As an example, if we wish to enforce positivity of on the interval , then we can search for functions such that

where . This function was chosen because if any only if . Positivstellensatz results stengle_1973 ; schmudgen_1991 ; putinar_1993 give conditions under which Lemma 1 is not conservative.

Polynomial positivity and Sum-of-Squares have been studied for some time. For additional information, we refer the reader to the references reznick_2000 ; parrilo_2000 ; lasserre_2006 ; chesi_2005 ; peet_2009SICON .

3 Main Results

Now that we have described our approach, the main results of the paper follow directly. We will describe both the synchronous and asynchronous cases and consider global exponential stability. Note that in the following theorems, we restrict to have the structure

That is, there is no dependence on . This was done in order to be consistent with our approach to linear Sampled-Data systems described in seuret_2013TAC and also to reduce the computational complexity of the stability conditions. This restriction may, however, introduce additional conservatism and should be considered carefully by the user.

3.1 The Synchronous Case

We first consider stability in the ‘synchronous’ case - that is, when for all . In this case, the updates to the state occur after regular intervals. As we have argued before, this case is often unrealistic. However, there exist certain scenarios where this model is relevant - such as in the case of an A/D converter. Synchronous sampled-data systems are well-represented by conversion to a discrete-time system as the resulting state update law

will not depend on . However, as we mentioned before, derivation and stability analysis of the resulting nonlinear discrete-time system are still difficult problems. For this reason and others, the method we outline in this section will not rely on conversion to discrete-time, but will use SOS programming to perform global exponential stability analysis while retaining the full hybrid model of the dynamics.

Theorem 3.1

Suppose there exist polynomials , , , and such that

(5)
(6)
(7)

then if for all , System 1 is globally exponentially stable.

Proof

Using as given and for all , we first get from Condition (5) that

and hence

Furthermore, since is a polynomial, it is upper bounded by some function for sufficiently large and .

Next, we see that from Condition (7),

Finally, we have from Condition (6) and Lemma 1 that

for all . Thus the conditions for exponential stability in Theorem 2.1 are satisfied. We conclude that System (1) is stable if for all .

3.2 The Asynchronous Case

In this Subsection, we consider the case when the sampling period is time-varying, yet is known to lie within some interval . To illustrate, suppose that during a Denial-of-Service attack the rate of controller updates is reduced, but still does not drop below the rate of one packet per second. Thus implies a maximum sampling period of . However, it is possible and even likely that the duration between most of the updates updates during and after the attack may be significantly less that this . Hence, there is also a minimum sample time determined to be either or possibly to be the communication delay between controller and system if the application is tele-operation.

To address the problem where we have , we allow the ‘spacing function’ to vary with . This is allowable since the spacing function is not part of the storage function, .

Note that we do not allow to be a function of . The restriction that not vary with is similar to the Quadratic Stability condition for general classes of switched systems. However, which quadratic stability is known to be conservative for general classes of hybrid system, for sampled-data systems it is not known whether quadratic stability is conservative.

Theorem 3.2

Suppose there exist polynomials , , , and such that

(8)
(9)
(10)

then if for all , System (1) is globally exponentially stable.

Proof

The proof is similar to the synchronous case. We use as given and define for all . From Condition (8) we have that

As before, since is a polynomial, it is upper bounded by some function for sufficiently large and .

Next, we see that from Condition (10),

Finally, we have from Condition (9) and Lemma 1 that

for all and . Thus the conditions for exponential stability in Theorem 2.1 are satisfied. We conclude that System (1) is stable if for all .

4 Numerical Examples

To verify the algorithms described above, we performed global stability analysis on a set of nonlinear sampled-data systems. In the examples considered here, we let , meaning that we are not interested in finding exponential rates of decay. For a study of estimating exponential rates of decay as a function of sampling period for linear systems, we refer to seuret_2013TAC .

4.1 Example 1:

For our first set of numerical examples, we consider the class of 1-D nonlinear dynamical systems parameterized by

where we assume that the term represents negative feedback. Without sampling, we know this system is globally stable if and only if for all . It can be shown that this condition is satisfied if and only if and . For this example, we initially chose , and . Then, we used a sampled signal for the term to get the following dynamics.

In Table 1, we list the maximum verifiably globally stable sampling period for this system as a function of the polynomial degree used for the variables and . These results were obtained using the conditions of Theorem 3.1 implemented using SOSTOOLS coupled with SeDuMi. Due to the known potential for numerical inaccuracies, all solutions were verified a-posteriori using SOS and via simulation. The resulting Lyapunov function and function are illustrated over a single sampling period in Figure 1. The evolution of the system can be seen over multiple sampling periods in Figure 2.

Figure 1: Evolution of and over one sampling period for Numerical Example 1
Figure 2: Evolution of over 30 sampling periods for Numerical Example 1 with

4.2 Example 2:

In our second example, we consider a controlled model of a jet engine with dynamics

We consider the case where the negative feedback to the first state is provided using a sampled-data controller. When , this system is known to be globally stable. Figure 3 illustrates the trajectories of this system plotted against the level set of one such Lyapunov function for .

Figure 3: Level Sets of a Lyapunov function for Example 2, with multiple trajectories simulated over 30 sampling periods.
Degree
  Example 1: Maximum Synchronous               
  Example 2: Maximum Synchronous             N/A    N/A
  Example 3: Maximum Asynchronous             N/A    N/A
Table 1: Maximum allowable sampling period for Examples , , and with .

4.3 Example 3:

In this example, we revisit the dynamics of Example 1.

However, in this case, we are interest in the case where the sampling period is unknown and time-varying with upper and lower bounds, . Specifically, we choose the lower bound to be and determine the maximum upper bound for which stability is retained for all time-varying sampling periods which satisfy . The results are listed in Table 1. As we can see, in this example, allowing the sampling period to vary with time does not significantly affect the maximum sampling period - a surprising result which indicates that using a Lyapunov function which does not depend on may not be conservative.

5 Conclusion

In this chapter, we have studied the question of global stability of nonlinear sampled-data systems in both the synchronous and asynchronous cases. These systems arise through the use of digitized sensing and actuation to control continuous-time dynamics where the controller updates may be irregular. Our approach has been to exploit a new type of slack variable to find Lyapunov functions which experience net decrease over each sampling period, but may be instantaneously increasing at certain points in time. The stability conditions are implemented using a new form of optimization (Sum-of-Squares) which allows us to search for polynomial functions which satisfy pointwise positivity constraints. The result is a convex algorithm which is able to assess global stability of nonlinear vector fields with sampled-data signals in both the asynchronous and the synchronous cases. The effectiveness of the algorithm is demonstrated on several numerical examples.

Acknowledgements.
This work was supported by the National Science Foundation under Grants CMMI 110036 and CMMI 1151018.

Bibliography

  • (1) T. Chen and B. Francis, Optimal sampled-data control systems.   Berlin, Germany: Springer-Verlag, 1995.
  • (2) E. Fridman, A. Seuret, and J.-P. Richard, “Robust sampled-data stabilization of linear systems: An input delay approach,” Automatica, vol. 40, no. 8, pp. 1141–1446, 2004.
  • (3) H. Fujioka, “Stability analysis of systems with aperiodic sample-and-hold devices,” Automatica, vol. 45, no. 3, pp. 771–775, 2009.
  • (4) W. Zhang, M. Branicky, and S. Phillips, “Stability of networked control systems,” IEEE Control Systems Magazine, no. 21, 2001.
  • (5) E. Jury and B. Lee, “On the stability of a certain class of nonlinear sampled-data systems,” Automatic Control, IEEE Transactions on, vol. 9, no. 1, pp. 51–61, 1964.
  • (6) L. Zaccarian, A. R. Teel, and D. Nešić, “On finite gain lp stability of nonlinear sampled-data systems,” Systems & control letters, vol. 49, no. 3, pp. 201–212, 2003.
  • (7) Y. Mikheev, V. Sobolev, and E. Fridman, “Asymptotic analysis of digital control systems,” Automation and Remote Control, vol. 49, no. 9, pp. 1175–1180, 1988.
  • (8) Y. Suh, “Stability and stabilization of nonuniform sampling systems,” Automatica, vol. 44, no. 12, pp. 3222–3226, 2008.
  • (9) Y. Oishi and H. Fujioka, “Stability and stabilization of aperiodic sampled-data control systems: An approach using robust linear matrix inequalities,” in Joint IEEE Conference on Decision and Control and Chinese Control Conference, December 16-18 2009.
  • (10) L. Hetel, J. Daafouz, and C. Iung, “Stabilization of arbitrary switched linear systems with unknown time-varying delays,” IEEE Trans. on Automatic Control, vol. 51, no. 10, pp. 1668–1674, Oct. 2006.
  • (11) M. Peet and A. Papachristodoulou, “A converse sum of squares Lyapunov result with a degree bound,” IEEE Transactions on Automatic Control, vol. 57, no. 9, 2012.
  • (12) A. Seuret, “A novel stability analysis of linear systems under asynchronous samplings,” Automatica, vol. 48, no. 1, pp. 177–182, 2012.
  • (13) M. M. Peet, A. Papachristodoulou, and S. Lall, “Positive forms and stability of linear time-delay systems,” SIAM Journal on Control and Optimization, vol. 47, no. 6, 2009.
  • (14) A. Seuret and M. Peet, “Stability analysis of sample-data systems using sum-of-squares,” IEEE Transactions on Automatic Control, vol. 58, no. 6, 2013.
  • (15) J. F. Sturm, “Using SeDuMi 1.02, a Matlab Toolbox for optimization over symmetric cones,” Optimization Methods and Software, vol. 11-12, pp. 625–653, 1999.
  • (16) B. Borchers, “CSDP, a C library for semidefinite programming,” Optimization Methods and Software, vol. 11, no. 1-4, pp. 613–623, 1999.
  • (17) G. Stengle, “A nullstellensatz and a positivstellensatz in semialgebraic geometry,” Mathematische Annalen, vol. 207, pp. 87–97, 1973.
  • (18) C. Schmüdgen, “The K-moment problem for compact semi-algebraic sets,” Mathematische Annalen, vol. 289, no. 2, pp. 203–206, 1991.
  • (19) M. Putinar, “Positive polynomials on compact semi-algebraic sets,” Indiana Univ. Math. J., vol. 42, no. 3, pp. 969–984, 1993.
  • (20) B. Reznick, “Some concrete aspects of Hilbert’s 17th problem,” Contemporary Mathematics, vol. 253, pp. 251–272, 2000.
  • (21) P. A. Parrilo, “Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization,” Ph.D. dissertation, California Institute of Technology, 2000.
  • (22) J. B. Lasserre, “A sum of squares approximation of nonnegative polynomials,” SIAM Journal of Optimization, vol. 16, no. 3, pp. 751–765, 2006.
  • (23) G. Chesi, A. Garulli, A. Tesi, and A. Vincino, “Polynomially parameter-dependent lyapunov functions for robust stability of polytopic systems: An lmi approach,” vol. 50, no. 3, pp. 365–370, 2005.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
33232
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description