Brief paperEquilibrium-independent passivity: A new definition and numerical certification☆
Section snippets
Introduction and motivation
Since Willems’ seminal paper (Willems, 1972), dissipation inequalities have been studied extensively as a means for reducing high-order systems to interconnections of manageable subsystems in order to more easily ascertain the behavior of the full system (Hill and Moylan, 1976, Hill and Moylan, 1977, Moylan and Hill, 1978). Specifically, the particular dissipation inequality associated with passivity has proved useful in analyzing cascade and feedback systems, even in the nonlinear case when
Notation and assumptions
All norms in this paper are Euclidean norms. We will use to refer to a general dynamical system of the form with , locally Lipschitz, and continuous. When special structure, e.g., SISO () or scalar state (), is imposed on it will be made clear.
Basic assumptions: We make two assumptions that are basic to the subsequent discussion. First, we assume that there exists a nonempty set such that for every there exists a unique
A new definition
Definition 1 The system is equilibrium-independent passive (EIP) on if for every there exists a once-differentiable and positive definite storage function such that and for all .
Examples
In this section we present some properties of EIP systems and accompanying illustrative examples.
Certification of EIP by sum-of-squares programming
We now turn our attention to systems for which , and . We explore the problem of computing a storage function that certifies equilibrium-independent passivity when the existence of such a function is not obvious. Our objective can be summarized as follows: given a dynamical system , find a positive definite function with such that It is to be understood that and are shorthand for and
Certification of EIP for systems in normal form
We now show that the search for a storage function certifying EIP is simplified when the system model is in the following normal form with and . In this form the state is decomposed into the scalar output state and the internal state . (This notation is chosen to preserve the convention that represents the entire state and represents the output.)
We only consider polynomial . Let (positive definite,
Comparison to incremental passivity
In this section we explore the relationship between equilibrium-independent passivity and incremental passivity, which is defined formally in Stan and Sepulchre (2007) as follows (with some minor notational changes for consistency with the preceding): Definition 5 A system is incrementally passive if for all and any pair of trajectories , with corresponding inputs and outputs and , there exists a positive definite storage function with such that
Quadratic equilibrium-independent dissipation inequalities
The concept of equilibrium-independent passivity extends naturally to more general supply rates of the form Following the strategy of Lemma 1, we can derive a general necessary condition on the steady-state input/output map for a system to be equilibrium-independent dissipative with respect to a quadratic supply rate. Let be equilibrium-independent dissipative with respect to the supply rate that is, there exists a positive
Conclusions
We have defined EIP as a system property and have presented conditions on system dynamics which guarantee EIP for certain systems. We have also proposed a computational method with which to certify the EIP of a system, and have demonstrated some useful properties pertaining to the interconnection of EIP systems.
Since the ideas that motivated this study have proved successful in analyzing a certain class of these interconnections which occur regularly in biological systems and communication
George H. Hines graduated with his B.S. in Engineering and Applied Science (Aeronautics) from Caltech in 2008. He is currently a Ph.D. student at UC Berkeley under the supervision of Profs. Andy Packard and Kameshwar Poolla. His research explores the epigenetic influence of environmental cues on the dynamics of gene expression.
References (21)
- et al.
Diagonal stability of a class of cyclic systems and its connection with the secant criterion
Automatica
(2006) - et al.
Stability results for nonlinear feedback systems
Automatica
(1977) Asymptotic amplitudes and Cauchy gains: a small-gain principle and an application to inhibitory biological feedback
Systems and Control Letters
(2002)- et al.
A passivity-based stability criterion for a class of biochemical reaction networks
Mathematical Biosciences and Engineering
(2008) - Balas, G.J., Packard, A., Seiler, P., & Topcu, U. (2009). Robustness analysis of nonlinear systems....
- et al.
Feedback systems: input/output properties
(1975) - et al.
Generalized convexity, generalized monotonicity and applications
(2005) - et al.
The stability of nonlinear dissipative systems
IEEE Transactions on Automatic Control
(1976) - Jayawardhana, B. (2005). Tracking and disturbance rejection for nonlinear passive systems. In Proceedings of the 44th...
- et al.
Rate control in communication networks: shadow prices, proportional fairness and stability
Journal of the Operational Research Society
(1998)
Cited by (105)
On ϱ-passivity
2023, IFAC-PapersOnLineOn the incremental form of dissipativity
2022, IFAC-PapersOnLine
George H. Hines graduated with his B.S. in Engineering and Applied Science (Aeronautics) from Caltech in 2008. He is currently a Ph.D. student at UC Berkeley under the supervision of Profs. Andy Packard and Kameshwar Poolla. His research explores the epigenetic influence of environmental cues on the dynamics of gene expression.
Murat Arcak received the B.S. degree in Electrical and Electronics Engineering from the Bogazici University, Istanbul, in 1996, and the M.S. and Ph.D. degrees in Electrical and Computer Engineering from the University of California, Santa Barbara, in 1997 and 2000, under the direction of Petar Kokotovic. He was an assistant professor (2001–2006) and an associate professor (2006–2008) at the Rensselaer Polytechnic Institute, Troy, NY. He is now an associate professor in the Electrical Engineering and Computer Sciences Department at the University of California, Berkeley. Dr. Arcak’s research is in nonlinear control theory and its applications, with particular interest in networked dynamical systems. He is a member of SIAM, a senior member of IEEE, and an associate editor for the IFAC journal Automatica. He received a CAREER Award from the National Science Foundation in 2003, the Donald P. Eckman Award from the American Automatic Control Council in 2006, and the SIAG/CST Prize from the Society for Industrial and Applied Mathematics in 2007.
Andrew K. Packard joined UC Berkeley Mechanical Engineering in 1990. His technical interests include quantitative nonlinear systems analysis and optimization and data structure issues associated with large-scale collaborative research for predictive modeling of complex physical processes. He is an author of the Robust Control toolbox distributed by Mathworks. The Meyer sound X-10 loudspeaker utilizes novel feedback control circuitry developed by his UCB research group. He is a recipient of the campus Distinguished Teaching Award, the 1995 Eckman Award, the 2005 IEEE Control System Technology Award, and a 2007 IEEE Fellow.
- ☆
Supported by the National Science Foundation under grant ECCS 0852750, the Air Force Office of Scientific Research under grant FA9550-09-1-0092, and the NASA Langley NRA contract NNH077ZEA001N: “Analytical Validation Tools for Safety Critical Systems.” The technical contract monitor is Dr. Christine Belcastro. The material in this paper was partially presented at the American Control Conference, June 30–July 2, 2010, St. Louis, Missouri, USA. This paper was recommended for publication in revised form by Associate Editor Alessandro Astolfi under the direction of Editor Andrew R. Teel.