Characterising discrete-time linear systems with the “mixed” positive real and bounded real property☆
Introduction
Passivity-based analysis and control [10], [25], a well-established theory for engineering systems that appears in a wide range of application areas such as circuit network theory [3], signal processing systems [46], mechanical networks [41] and robotics [30], [12], has recently generated interest from the engineering community once again due to novel results on the stability of network flow control schemes [45]. Traditionally, passivity results guarantee the stability of a feedback interconnection of two stable systems if, for instance, both the systems are passive, and one of the systems is input strictly passive with finite gain [42]. Furthermore, parallel interconnections of passive systems are passive [25], and thus passivity is useful for designing stable control systems that are modular-based. Indeed, motivated by gradient update methods for the optimisation problem of maximising a sum of utility functions (dependent on packet rates from different information sources) subject to capacity constraints in the communication links, [45] developed a framework for stabilising source and link control laws by showing that they can be replaced by dynamic systems with prescribed passivity properties. It was also pointed out that the extra generality afforded in doing so issues one with an ability to design the controllers to improve robustness in stability and performance with respect to time delays, unmodelled flows and capacity variation.
It must always be noted that passivity is a sufficient condition for stability, and problems can arise from using purely passivity-based techniques for real-world applications. For example, unmodelled dynamics can destroy assumed or nominal passivity over certain frequency bandwidths [34], [1], and meeting set passivity criteria can conflict with system performance requirements [16]. A range of work exists on investigating ways to relax passivity requirements while being able to maintain the stability properties of nominally passive control systems; for instance, [22], [23] studied in depth the concepts of finite frequency positive realness (i.e., positive realness only over a certain frequency band) and “restricted passivity”.
Building on the idea of finite frequency positive realness, “mixed” systems were recently examined in [17], [18], [19], [20]. “Mixed” system was a term coined to refer to systems that combine notions of passivity and small gain type behaviour in a certain manner; for example, a “mixed” system has small gain behaviours over frequency bands where positivity is violated. “Mixed” systems were intended to aid in the formalisation and extension of the well-known engineering notion that keeping feedback-loop gain small at high frequencies where passivity might be violated avoids destabilisation of high frequency dynamics; for instance, see [33], [5]. The stability of large-scale interconnections of “mixed” systems was considered in [20], and a spectral-based characterisation, leading to a test, for “mixed” systems in continuous-time was presented in [19].
While the study of systems with finite frequency positive realness (e.g. “mixed” systems [20], [19]; see also [47], [31]) has seen much progress over the past number of years, many basic questions remain. For instance, engineers rarely work with continuous-time systems exclusively. For simulation purposes, or for the purpose of control design, or in order to implement a controller, at some stage a discrete-time representation of the system must be considered. Thus, it is critical to establish whether discrete-time systems inherit fundamental properties of the continuous-time systems from which they are derived. System discretisation has currently become an issue of importance once again, and several papers [32], [48], [6], [11], [40], [36] have recently appeared on this topic, particularly in the switched systems community.
The main purpose of this paper is to introduce the concept of “mixedness” to discrete-time systems. Initially, we emphasise that not all discretisation procedures preserve the “mixed” property. We provide some results that show that “mixedness” is preserved by Tustin׳s and Euler׳s backward methods. However, for some applications, these methods may not be suitable. Given the potential for “mixedness” to be lost upon discretisation, we then adapt previous results for the continuous-time case to the discrete-time domain. First, stability results for feedback interconnections of “mixed” discrete-time systems are derived. Then, a computationally viable spectral-based characterisation method, for determining whether a system in discrete-time is “mixed,” is developed.
The remainder of the paper is organised as follows. In Section 2, “mixed” systems in discrete-time are defined and some preliminary work that is required later in the paper is provided. In Section 3, we motivate the need to characterise “mixed” systems in discrete-time, by observing how certain discretisation processes do not necessarily preserve the property of “mixedness”. In Section 4, a feedback stability result for “mixed” discrete-time systems, based on the Nyquist stability theorem, is presented. A spectral-based characterisation of “mixed” discrete-time systems, based on their state-space information, is derived in Section 5. This spectral-based characterisation leads to a test for determining “mixedness” in discrete-time and constitutes one of the main results of the paper. Examples of the spectral-based test are provided in Section 6, and directions for our future research are presented in Section 7.
Section snippets
Mathematical preliminaries
First, some mathematical definitions and auxiliary results that are to be applied to obtain the main results of the paper are presented.
On discretisation and the “mixed” property
Discrete-time systems are widely used, not only to model inherently discrete processes, but also to deal with applications in which continuous-time dynamics have to be approximated, such as in digital and networked control systems [9], [21]. Unfortunately, it is known that some properties, such as controllability, may be lost when discretisation methods are applied to continuous-time dynamical systems [38]. Since qualitative properties of the controller are often exploited in control design,
Feedback stability
The assumption that, upon discretisation, systems retain certain properties, such as “mixedness” or passivity, is not always a valid one, as demonstrated in Section 3. In fact, this issue with system discretisation is well documented in the case of passivity [29]. The following result shows that, if “mixedness” has been established in discrete-time, then a feedback stability result holds. (A test for determining whether a system is “mixed” in discrete-time is the subject of Section 5.)
Theorem 6
Spectral-based characterisation
Now we provide a more general procedure for testing whether a discrete-time system is “mixed,” which is particularly interesting since it allows us to adequately analyse the MIMO case. Consider an arbitrary, causal, linear, shift-invariant system, described by its state-space realisationwhere, for all , is the state vector, is the input and is the output. The real matrices A, B, C and D have compatible dimensions and A is
Examples
The following examples demonstrate the spectral-based characterisation developed in Section 5. Example 2 SISO system Consider again the continuous-time transfer function defined in Example 1. Using several Nyquist Diagrams, we concluded that the system was “mixed” for , and that this property was lost for . This characteristic is also perceived by the result presented in Theorem 10. For example, for T = 0.30 s, we have the associated simplectic matrices
Conclusions
In this paper, “mixed” systems were characterised in a discrete-time setting. Classical discretisation methods were investigated to verify if “mixedness” is preserved when these procedures are adopted. Since this remarkable property is not always preserved, a computational method to test whether a system is “mixed” or not was developed. A feedback stability result based on Nyquist׳s criterion that resembles the classical passivity and small-gain theorems was also presented. All these results
References (49)
- et al.
On a class of generalized eigenvalue problems and equivalent eigenvalue problems that arise in systems and control theory
Automatica
(2011) - et al.
A “mixed” small gain and passivity theorem in the frequency domain
Syst. Control Lett.
(2007) - et al.
Interconnections of nonlinear systems with “mixed” small gain and passivity properties and associated input–output stability results
Syst. Control Lett.
(2009) - et al.
A test for determining systems with “mixed” small gain and passivity properties
Syst. Control Lett.
(2011) - et al.
On interconnections of “mixed” systems using classical stability theory
Syst. Control Lett.
(2012) - et al.
Time domain interpretations of frequency domain inequalities on (semi)finite ranges
Syst. Control Lett.
(2005) - et al.
On the discretization of switched linear systems
Syst. Control Lett.
(2009) - et al.
Dynamical properties of hybrid systems simulators
Automatica
(2010) - et al.
On Padé approximations, quadratic stability and discretization of switched linear systems
Syst. Control Lett.
(2011) - et al.
Essentially negative news about positive systems
Linear Algebra Appl.
(2012)
Failures of adaptive control theory and their resolution
Commun. Inf. Syst.
Optimal Control: Applications and Methods
Network Analysis and Synthesis: A Modern Systems Theory Approach
Computer-Controlled Systems: Theory and Design
New robust stability criterion and robust controller synthesis
Int. J. Robust Nonlinear Control
An MPC/hybrid system approach to traction control
IEEE Trans. Control Syst. Technol.
A passive repetitive controller for discrete-time finite-frequency positive-real systems
IEEE Trans. Autom. Control
Optimal Sampled-Data Control Systems
Feedback Systems: Input–Output Properties
MPC-based yaw and lateral stabilisation via active front steering and braking
Vehicle Syst. Dyn.
Energy based control of the Pendubot
IEEE Trans. Autom. Control
Feedback Control of Dynamic Systems
Control Theory: Multivariable and Nonlinear Methods
Matrix Computations
Cited by (4)
Geometric Controller Specification Via Nyquist Surface Segmentation
2021, Proceedings of the American Control ConferenceArgument-Principle-Based Criteria for Structural Features in Non-Essentially-Real Systems
2019, Proceedings of the 31st Chinese Control and Decision Conference, CCDC 2019An argument-principle-based framework for structural and spectral characteristics in linear dynamical systems
2017, International Journal of ControlExamining bounded realness with generalized Nyquist loci in multivariable feedback configurations
2016, Proceedings of the World Congress on Intelligent Control and Automation (WCICA)
- ☆
This work was in part supported by Science Foundation Ireland Grant 11/PI/1177; Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP/Brazil); Departamento de Postgrado y Postítulo de la Vicerrectoría de Asuntos Académicos, Universidad de Chile; and the Engineering and Physical Sciences Research Council, UK. Parts of this work were presented at the European Control Conference 2013 in Zurich, Switzerland.
- 1
Joint first authors.
- 2
Contributed to this work while at the Hamilton Institute, National University of Ireland Maynooth, Maynooth, Co. Kildare, Ireland.