Stochastic Stability of Event-triggered Anytime Control

We investigate control of a non-linear process when communication and processing capabilities are limited. The sensor communicates with a controller node through an erasure channel which introduces i.i.d. packet dropouts. Processor availability for control is random and, at times, insufficient to calculate plant inputs. To make efficient use of communication and processing resources, the sensor only transmits when the plant state lies outside a bounded target set. Control calculations are triggered by the received data. If a plant state measurement is successfully received and while the processor is available for control, the algorithm recursively calculates a sequence of tentative plant inputs, which are stored in a buffer for potential future use. This safeguards for time-steps when the processor is unavailable for control. We derive sufficient conditions on system parameters for stochastic stability of the closed loop and illustrate performance gains through numerical studies.Comment: IEEE Transactions on Automatic Control, under revie

Stability analysis of event-triggered anytime control with multiple control laws

To deal with time-varying processor availability and lossy communication channels in embedded and networked control systems, one can employ an event-triggered sequence-based anytime control (E-SAC) algorithm. The main idea of E-SAC is, when computing resources and measurements are available, to compute a sequence of tentative control inputs and store them in a buffer for potential future use. State-dependent Random-time Drift (SRD) approach is often used to analyse and establish stability properties of such E-SAC algorithms. However, using SRD, the analysis quickly becomes combinatoric and hence difficult to extend to more sophisticated E-SAC. In this technical note, we develop a general model and a new stability analysis for E-SAC based on Markov jump systems. Using the new stability analysis, stochastic stability conditions of existing E-SAC are also recovered. In addition, the proposed technique systematically extends to a more sophisticated E-SAC scheme for which, until now, no analytical expression had been obtained.Comment: Accepted for publication in IEEE Transactions on Automatic Contro

Anytime Control using Input Sequences with Markovian Processor Availability

We study an anytime control algorithm for situations where the processing resources available for control are time-varying in an a priori unknown fashion. Thus, at times, processing resources are insufficient to calculate control inputs. To address this issue, the algorithm calculates sequences of tentative future control inputs whenever possible, which are then buffered for possible future use. We assume that the processor availability is correlated so that the number of control inputs calculated at any time step is described by a Markov chain. Using a Lyapunov function based approach we derive sufficient conditions for stochastic stability of the closed loop.Comment: IEEE Transactions on Automatic Control, to be publishe

Sequence-based Anytime Control

We present two related anytime algorithms for control of nonlinear systems when the processing resources available are time-varying. The basic idea is to calculate tentative control input sequences for as many time steps into the future as allowed by the available processing resources at every time step. This serves to compensate for the time steps when the processor is not available to perform any control calculations. Using a stochastic Lyapunov function based approach, we analyze the stability of the resulting closed loop system for the cases when the processor availability can be modeled as an independent and identically distributed sequence and via an underlying Markov chain. Numerical simulations indicate that the increase in performance due to the proposed algorithms can be significant.Comment: 14 page

Time-triggering versus event-triggering control over communication channels

Time-triggered and event-triggered control strategies for stabilization of an unstable plant over a rate-limited communication channel subject to unknown, bounded delay are studied and compared. Event triggering carries implicit information, revealing the state of the plant. However, the delay in the communication channel causes information loss, as it makes the state information out of date. There is a critical delay value, when the loss of information due to the communication delay perfectly compensates the implicit information carried by the triggering events. This occurs when the maximum delay equals the inverse of the entropy rate of the plant. In this context, extensions of our previous results for event triggering strategies are presented for vector systems and are compared with the data-rate theorem for time-triggered control, that is extended here to a setting with unknown delay.Comment: To appear in the 56th IEEE Conference on Decision and Control (CDC), Melbourne, Australia. arXiv admin note: text overlap with arXiv:1609.0959

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