Robust stabilization of a class of nonlinear systems controlled over communication networks

The paper deals with the stabilization of nonlin-ear systems in which the loop is closed over a lossy non-acknowledged communication network. Given a Regional Input-to-State (ISS) stabilizing state-feedback control law, designedwithout accounting for the network-induced delays, we proposea non-acknowledged communication policy that allows to deploythe above controller over the network without any modification,while preserving the Regional ISS property. The time-varyingdelays and packet dropouts occurring on both the up-link andthe down-link are compensated through a model-based predictionscheme and a packet-management policy based on time-stamping.The consistency of the prediction, which is a major issue inthe context of nonlinear systems with an embedded networkedcontroller, is guaranteed through the exploitation of a novel move-blocking strategy for computing the command sequence to beforwarded to the actuators

Networked Predictive Control of Uncertain Constrained Nonlinear Systems: Recursive Feasibility and Input-to-State Stability Analysis

Abstract-In this paper, the robust state feedback stabilization of uncertain discrete-time constrained nonlinear systems in which the loop is closed through a packet-based communication network is addressed. In order to cope with model uncertainty, timevarying transmission delays, and packet dropouts (typically affecting the performances of networked control systems), a robust control scheme combining model predictive control with a network delay compensation strategy is proposed in the context of non-acknowledged UDP-like networks. The contribution of the paper is twofold. First, the issue of guaranteeing the recursive feasibility of the optimization problem associated to the receding horizon control law has been addressed, such that the invariance of the feasible region under the networked closed-loop dynamics can be guaranteed. Secondly, by exploiting a novel characterization of regional Input-to-State Stability in terms of time-varying Lyapunov functions, the networked closed-loop system has been proven to be Input-to-State Stable with respect to bounded perturbations

Networked and event-triggered control systems

In this thesis, control algorithms are studied that are tailored for platforms with limited computation and communication resources. The interest in such control algorithms is motivated by the fact that nowadays control algorithms are implemented on small and inexpensive embedded microprocessors and that the sensors, actuators and controllers are connected through multipurpose communication networks. To handle the fact that computation power is no longer abundant and that communication networks do not have in finite bandwidth, the control algorithms need to be either robust for the deficiencies induced by these constraints, or they need to optimally utilise the available computation and communication resources. In this thesis, methodologies for the design and analysis of control algorithms with such properties are developed. Networked Control Systems: In the first part of the thesis, so-called networked control systems (NCSs) are studied. The control algorithms studied in this part of the thesis can be seen as conventional sampled-data controllers that need to be robust against the artefacts introduced by using a finite bandwidth communication channel. The network-induced phenomena that are considered in this thesis are time-varying transmission intervals, time-varying delays, packet dropouts and communication constraints. The latter phenomenon causes that not all sensor and actuator data can be transmitted simultaneously and, therefore, a scheduling protocol is needed to orchestrate when to transmit what data over the network. To analyse the stability of the NCSs, a discrete-time modelling framework is presented and, in particular, two cases are considered: in the first case, the transmission intervals and delays are assumed to be upper and lower bounded, and in the second case, they are described by a random process, satisfying a continuous joint probability distribution. Both cases are relevant. The former case requires a less detailed description of the network behaviour than the latter case, while the latter results in a less conservative stability analysis than the former. This allows to make a tradeoff between modelling accuracy (of network-induced effects) and conservatism in the stability analysis. In both cases, linear plants and controllers are considered and the NCS is modelled as a discrete-time switched linear parameter-varying system. To assess the stability of this system, novel polytopic overapproximations are developed, which allows the stability of the NCS to be studied using a finite number of linear matrix inequalities. It will be shown that this approach reduces conservatism significantly with respect to existing results in the literature and allows for studying larger classes of controllers, including discrete-time dynamical output-based controllers. Hence, the main contribution of this part of the thesis is the development of a new and general framework to analyse the stability of NCSs subject to four network-induced phenomena in a hardly conservative manner. Event-Triggered Control Systems: In the second part of the thesis, socalled event-triggered control (ETC) systems are studied. ETC is a control strategy in which the control task is executed after the occurrence of an external event, rather than the elapse of a certain period of time as in conventional periodic control. In this way, ETC can be designed to only provide control updates when needed and, thereby, to optimally utilise the available computation and communication resources. This part of the thesis consists of three main contributions in this appealing area of research. The first contribution is the extension of the existing results on ETC towards dynamical output-based feedback controllers, instead of state-feedback control, as is common in the majority of the literature on ETC. Furthermore, extensions towards decentralised event triggering are presented. These extensions are important for practical implementations of ETC, as in many control applications the full state is hardly ever available for feedback, and sensors and actuators are often physically distributed, which prohibits the use of centralised event-triggering conditions. To study the stability and the L1-performance of this ETC system, a modelling framework based on impulsive systems is developed. Furthermore, for the novel output-based decentralised event-triggering conditions that are proposed, it is shown how nonzero lower bounds on the minimum inter-event times can be guaranteed and how they can be computed. The second contribution is the proposition of the new class of periodic event-triggered control (PETC) algorithms, where the objective is to combine the benefits that, on the one hand, periodic control and, on the other hand, ETC offer. In PETC, the event-triggering condition is monitored periodically and at each sampling instant it is decided whether or not to transmit the data and to use computation resources for the control task. Such an event-triggering condition has several benefits, including the inherent existence of a minimum inter-event time, which can be tuned directly. Furthermore, the fact that the event-triggering condition is only verified at the periodic sampling times, instead of continuously, makes it possible to implement this strategy in standard time-sliced embedded software architectures. To analyse the stability and the L2-performance for these PETC systems, methodologies based on piecewiselinear systems models and impulsive system models will be provided, leading to an effective analysis framework for PETC. Finally, a novel approach to solving the codesign problem of both the feedback control algorithm and the event-triggering condition is presented. In particular, a novel way to solve the minimum attention and anytime attention control problems is proposed. In minimum attention control, the `attention' that a control task requires is minimised, and in anytime attention control, the performance under the `attention' given by a scheduler is maximised. In this context, `attention' is interpreted as the inverse of the time elapsed between two consecutive executions of a control task. The two control problems are solved by formulating them as linear programs, which can be solved efficiently in an online fashion. This offers a new and elegant way to solve both the minimum attention control problem and the anytime attention control problem in one unifying framework. The contributions presented in this thesis can form a basis for future research explorations that can eventually lead to a mature system theory for both NCSs and ETC systems, which are indispensable for the deployment of NCSs and ETC systems in a large variety of practical control applications

Control and filtering of time-varying linear systems via parameter dependent Lyapunov functions

The main contribution of this dissertation is to propose conditions for linear filter and controller design, considering both robust and parameter dependent structures, for discrete time-varying systems. The controllers, or filters, are obtained through the solution of optimization problems, formulated in terms of bilinear matrix inequalities, using a method that alternates convex optimization problems described in terms of linear matrix inequalities. Both affine and multi-affine in different instants of time (path dependent) Lyapunov functions were used to obtain the design conditions, as well as extra variables introduced by the Finsler\u27s lemma. Design problems that take into account an H-infinity guaranteed cost were investigated, providing robustness with respect to unstructured uncertainties. Numerical simulations show the efficiency of the proposed methods in terms of H-infinity performance when compared with other strategies from the literature

On Resilient Control for Secure Connected Vehicles: A Hybrid Systems Approach

According to the Internet of Things Forecast conducted by Ericsson, connected devices will be around 29 billion by 2022. This technological revolution enables the concept of Cyber-Physical Systems (CPSs) that will transform many applications, including power-grid, transportation, smart buildings, and manufacturing. Manufacturers and institutions are relying on technologies related to CPSs to improve the efficiency and performances of their products and services. However, the higher the number of connected devices, the higher the exposure to cybersecurity threats. In the case of CPSs, successful cyber-attacks can potentially hamper the economy and endanger human lives. Therefore, it is of paramount importance to develop and adopt resilient technologies that can complement the existing security tools to make CPSs more resilient to cyber-attacks. By exploiting the intrinsically present physical characteristics of CPSs, this dissertation employs dynamical and control systems theory to improve the CPS resiliency to cyber-attacks. In particular, we consider CPSs as Networked Control Systems (NCSs), which are control systems where plant and controller share sensing and actuating information through networks. This dissertation proposes novel design procedures that maximize the resiliency of NCSs to network imperfections (i.e., sampling, packet dropping, and network delays) and denial of service (DoS) attacks. We model CPSs from a general point of view to generate design procedures that have a vast spectrum of applicability while creating computationally affordable algorithms capable of real-time performances. Indeed, the findings of this research aspire to be easily applied to several CPSs applications, e.g., power grid, transportation systems, and remote surgery. However, this dissertation focuses on applying its theoretical outcomes to connected and automated vehicle (CAV) systems where vehicles are capable of sharing information via a wireless communication network. In the first part of the dissertation, we propose a set of LMI-based constructive Lyapunov-based tools for the analysis of the resiliency of NCSs, and we propose a design approach that maximizes the resiliency. In the second part of the thesis, we deal with the design of DOS-resilient control systems for connected vehicle applications. In particular, we focus on the Cooperative Adaptive Cruise Control (CACC), which is one of the most popular and promising applications involving CAVs

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

Distributed state estimation in sensor networks with randomly occurring nonlinearities subject to time delays

This is the post-print version of the Article. The official published version can be accessed from the links below - Copyright @ 2012 ACM.This article is concerned with a new distributed state estimation problem for a class of dynamical systems in sensor networks. The target plant is described by a set of differential equations disturbed by a Brownian motion and randomly occurring nonlinearities (RONs) subject to time delays. The RONs are investigated here to reflect network-induced randomly occurring regulation of the delayed states on the current ones. Through available measurement output transmitted from the sensors, a distributed state estimator is designed to estimate the states of the target system, where each sensor can communicate with the neighboring sensors according to the given topology by means of a directed graph. The state estimation is carried out in a distributed way and is therefore applicable to online application. By resorting to the Lyapunov functional combined with stochastic analysis techniques, several delay-dependent criteria are established that not only ensure the estimation error to be globally asymptotically stable in the mean square, but also guarantee the existence of the desired estimator gains that can then be explicitly expressed when certain matrix inequalities are solved. A numerical example is given to verify the designed distributed state estimators.This work was supported in part by the National Natural Science Foundation of China under Grants 61028008, 60804028 and 61174136, the Qing Lan Project of Jiangsu Province of China, the Project sponsored by SRF for ROCS of SEM of China, the Engineering and Physical Sciences Research Council (EPSRC) of the UK under Grant GR/S27658/01, the Royal Society of the UK, and the Alexander von Humboldt Foundation of Germany