Control over communication networks : modeling, analysis, and synthesis

The focus of this work is on dynamical systems that are controlled over a communication network, also denoted as Networked Control Systems (NCSs). Such systems consist of a continuous-time plant and a discrete-time controller that are connected via a communication network, such as e.g. controller area network (CAN), wireless networks, or internet. Advantages of the use of such a network are a reduction of installation and maintenance costs and a flexible architecture. The reduction of the costs is achieved by using one (shared) processor to control multiple plants, instead of using dedicated processors for each plant. Adding or removing plants or controllers to the network is easy, which explains the benefit in terms of a flexible architecture of the control system. Moreover, the use of wireless networks obviously allows to separate the controller and plant physically. Typical applications of NCSs are mobile sensor networks, remote surgery, automated highway systems, and the cooperative control of unmanned aerial vehicles. Disadvantages of the use of such networks are the occurrence of time-varying delays, time-varying sampling intervals, and packet dropouts, i.e. loss of data. Moreover, time-varying sampling intervals and delays may also result from other sources than the communication network. Namely, in many high-tech embedded systems, the processor is used for both the control computation and other software tasks, such as interrupt and error handling. This leads to variation in the computation time or variation in the moment of asking for new sensor data, resulting in variable sampling intervals. The amount of variation depends on the chosen software implementation, the chosen architecture, and the processor load. A control design that can deal with the variation in the time-delays, sampling intervals, and the occurrence of packet dropout is important for the multidisciplinary design of high-tech systems. Namely, such robustness properties of the control design represent a relaxation on the demands from control engineering on the software and communication network design. In this thesis, a discrete-time model for linear NCSs is derived that considers time-varying delays, time-varying sampling intervals, and packet dropouts. Based on this model, examples of the destabilizing effect of variations in the delay and variations in the sampling intervals are given to show the necessity of stability conditions that consider the effects of time-varying delays, time-varying sampling intervals, and packet dropouts. To derive such stability conditions, upper and lower bounds of time-varying delays and sampling intervals are assumed, as well as a maximum number for the subsequent packet dropouts. Based on these assumptions, sufficient conditions in terms of linear matrix inequalities (LMIs) are derived that guarantee global asymptotic stability of the NCS. Two different control strategies, i.e. state feedback control and state-feedback control including past control input information are considered. For both control approaches, conditions in terms of LMIs are given for the controller synthesis problem and a comparison of the applicability of both control approaches is made. Besides the stability analysis and controller synthesis conditions, the intersample behavior is investigated to ensure stability of the continuous-time system between the sampling instants. An extension to the stability analysis conditions is given that can be used to solve the approximate tracking problem for NCSs with time-varying delays and sampling intervals and packet dropouts. Only approximate tracking can be achieved because the time-varying delays, sampling intervals, packet dropouts, and the use of a zero-order hold between the controller and actuator cause an inexact feedforward, which induces a perturbation on the tracking error dynamics. Sufficient conditions for the input-tostate stability of the tracking error dynamics are provided and an upper bound for the tracking error is given as a function of the plant properties, the control design, and the bounds on the delays, the sampling interval and the number of subsequent packet dropouts. To validate the obtained stability and controller synthesis conditions experiments are performed on a typical motion control example. First, measurements are performed to validate the stability region, i.e. all stabilizing controllers, for constant time-delays. Second, the destabilizing effect of time-variation of the delays is shown in experiments. Third, the obtained stabilizing controllers for time-varying delays, with constant sampling intervals are validated. A comparison between the stability regions for constant delays and time-varying delays shows that the stability conditions developed in this thesis are not overly conservative. The delay combinations that result in instability in the measurements confirm this observation

Stability of internet-based control systems with uncertainties and multiple time-varying delays

In this paper, based on remote control and local control strategy, a class of hybrid multi-rate control models with uncertainties and multiple time-varying delays is formulated and their robust stability properties are investigated. By Lyapunov-Krasovskii functions and apply it to a descriptor model transformation, some new criteria of robust stability for such Internet-based control systems are established. Numerical example and simulation are given to illustrate the effectiveness of the theoretical results

Stability Results for Switched Linear Systems with Constant Discrete Delays

Es reproducción del documento publicado en http://dx.doi.org/10.1155/2008/543145This paper investigates the stability properties of switched systems possessing several parameterizations (or configurations) while being subject to internal constant point delays. Some of the stability results are formulated based on Gronwall's lemma for global exponential stability, and they are either dependent on or independent of the delay size but they depend on the switching law through the requirement of a minimum residence time. Another set of results concerned with the weaker property of global asymptotic stability is also obtained as being independent of the switching law, but still either dependent on or independent of the delay size, since they are based on the existence of a common Krasovsky-Lyapunov functional for all the above-mentioned configurations. Extensions to a class of polytopic systems and to a class of regular time-varying systems are also discussed.Ministerio de Educación DPI2006-00714 y GIC07143-IT-269-07 ; Gobierno Vasco SAIOTEK SPED06UN10 y SPE07UN0

On the Characterization of Hankel and Toeplitz Operators Describing Switched Linear Dynamic Systems with Point Delays

This paper investigates the causality properties of a class of linear time-delay systems under constant point delays which possess a finite set of distinct linear time-invariant parameterizations (or configurations) which, together with some switching function, conform a linear time-varying switched dynamic system. Explicit expressions are given to define pointwisely the causal and anticausal Toeplitz and Hankel operators from the set of switching time instants generated from the switching function. The case of the auxiliary unforced system defined by the matrix of undelayed dynamics being dichotomic (i.e., it has no eigenvalue on the complex imaginary axis) is considered in detail. Stability conditions as well as dual instability ones are discussed for this case which guarantee that the whole system is either stable, or unstable but no configuration of the switched system has eigenvalues within some vertical strip including the imaginary axis. It is proved that if the system is causal and uniformly controllable and observable, then it is globally asymptotically Lyapunov stable independent of the delays, that is, for any possibly values of such delays, provided that a minimum residence time in-between consecutive switches is kept or if all the set of matrices describing the auxiliary unforced delay—free system parameterizations commute pairwise.Ministerio de Educación (DPI2006-00714

Stability analysis and control of discrete-time systems with delay

The research presented in this thesis considers the stability analysis and control of discrete-time systems with delay. The interest in this class of systems has been motivated traditionally by sampled-data systems in which a process is sampled periodically and then controlled via a computer. This setting leads to relatively cheap control solutions, but requires the discretization of signals which typically introduces time delays. Therefore, controller design for sampled-data systems is often based on a model consisting of a discrete-time system with delay. More recently the interest in discrete-time systems with delay has been motivated by networked control systems in which the connection between the process and the controller is made through a shared communication network. This communication network increases the flexibility of the control architecture but also introduces effects such as packet dropouts, uncertain time-varying delays and timing jitter. To take those effects into account, typically a discrete-time system with delay is formulated that represents the process together with the communication network, this model is then used for controller design While most researchers that work on sampled-data and networked control systems make use of discrete-time systems with delay as a modeling class, they merely use these models as a tool to analyse the properties of their original control problem. Unfortunately, a relatively small amount of research on discrete-time systems with delay addresses fundamental questions such as: What trade-off between computational complexity and conceptual generality or potential control performance is provided by the different stability analysis methods that underlie existing results? Are there other stability analysis methods possible that provide a better trade-off between these properties? In this thesis we try to address these and other related questions. Motivated by the fact that almost every system in practice is subject to constraints and Lyapunov theory is one of the few methods that can be easily adapted to deal with constraints, all results in this thesis are based on Lyapunov theory. In Chapter 2 we introduce delay difference inclusions (DDIs) as a modeling class for systems with delay and discuss their generality and advantages. Furthermore, the two standard stability analysis results for DDIs that make use of Lyapunov theory, i.e., the Krasovskii and Razumikhin approaches, are considered. The Krasovskii approach provides necessary and sufficient conditions for stability while the Razumikhin approach provides conditions that are relatively simple to verify but conservative. An important conclusion is that the Razumikhin approach makes use of conditions that involve the system state only while those corresponding to the Krasovskii approach involve trajectory segments. Therefore, only the Razumikhin approach yields information about DDI trajectories directly, such that the corresponding computations can be executed in the low-dimensional state space of the DDI dynamics. Hence, we focus on the Razumikhin approach in the remainder of the thesis. In Chapter 3 it is shown that by considering each delayed state as a subsystem, the behavior of a DDI can be described by an interconnected system. Thus, the Razumikhin approach is found to be an exact application of the small-gain theorem, which provides an explanation for the conservatism that is typically associated with this approach. Then, inspired by the relation of DDIs to interconnected systems, we propose a new Razumikhin-type stability analysis method that makes use of a stability analysis result for interconnected systems with dissipative subsystems. The proposed method is shown to provide a trade-off between the conceptual generality of the Krasovskii approach and the computationally convenience of the Razumikhin approach. Unfortunately, these novel Razumikhin-type stability analysis conditions still remain conservative. Therefore, in Chapter 4 we propose a relaxation of the Razumikhin approach that provides necessary and sufficient conditions for stability. Thus, we obtain a Razumikhin-type result that makes use of conditions that involve the system state only and are non-conservative. Interestingly, we prove that for positive linear systems these conditions equivalent to the standard Razumikhin approach and hence both are necessary and sufficient for stability. This establishes the dominance of the standard Razumikhin approach over the Krasovskii approach for positive linear discrete-time systems with delay. Next, in Chapter 5 the stability analysis of constrained DDIs is considered. To this end, we study the construction of invariant sets. In this context the Krasovskii approach leads to algorithms that are not computationally tractable while the Razumikhin approach is, due to its conservatism, not always able to provide a suitable invariant set. Based on the non-conservative Razumikhin-type conditions that were proposed in Chapter 4, a novel invariance notion is proposed. This notion, called the invariant family of sets, preserves the conceptual generality of the Krasovskii approach while, at the same time, it has a computational complexity comparable to the Razumikhin approach. The properties of invariant families of sets are analyzed and synthesis methods are presented. Then, in Chapter 6 the stabilization of constrained linear DDIs is considered. In particular, we propose two advanced control schemes that make use of online optimization. The first scheme is designed specifically to handle constraints in a non-conservative way and is based on the Razumikhin approach. The second control scheme reduces the computational complexity that is typically associated with the stabilization of constrained DDIs and is based on a set of necessary and sufficient Razumikhin-type conditions for stability. In Chapter 7 interconnected systems with delay are considered. In particular, the standard stability analysis results based on the Krasovskii as well as the Razumikhin approach are extended to interconnected systems with delay using small-gain arguments. This leads, among others, to the insight that delays on the channels that connect the various subsystems can not cause the instability of the overall interconnected system with delay if a small-gain condition holds. This result stands in sharp contrast with the typical destabilizing effect that time delays have. The aforementioned results are used to analyse the stability of a classical power systems example where the power plants are controlled only locally via a communication network, which gives rise to local delays in the power plants. A reflection on the work that has been presented in this thesis and a set of conclusions and recommendations for future work are presented in Chapter 8