Paulo Tabuada

Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks

In this note, we revisit the problem of scheduling stabilizing control tasks on embedded processors. We start from the paradigm that a real-time scheduler could be regarded as a feedback controller that decides which task is executed at any given instant. This controller has for objective guaranteeing that (control unrelated) software tasks meet their deadlines and that stabilizing control tasks asymptotically stabilize the plant. We investigate a simple event-triggered scheduler based on this feedback paradigm and show how it leads to guaranteed performance thus relaxing the more traditional periodic execution requirements.

To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems

Feedback control laws have been traditionally implemented in a periodic fashion on digital hardware. Although periodicity simplifies the analysis of the mismatch between the control design and its digital implementation, it also leads to conservative usage of resources such as CPU utilization in the case of embedded control. We present a novel technique that abandons the periodicity assumption by using the current state of the plant to decide the next time instant in which the state should be measured, the control law computed, and the actuators updated. This technique, termed self-triggered control, is developed for two classes of nonlinear control systems, namely, state-dependent homogeneous systems and polynomial systems. The wide applicability of the proposed results is illustrated in two well known physical examples: a jet engine compressor and the rigid body.

An introduction to event-triggered and self-triggered control

Recent developments in computer and communication technologies have led to a new type of large-scale resource-constrained wireless embedded control systems. It is desirable in these systems to limit the sensor and control computation and/or communication to instances when the system needs attention. However, classical sampled-data control is based on performing sensing and actuation periodically rather than when the system needs attention. This paper provides an introduction to event- and self-triggered control systems where sensing and actuation is performed when needed. Event-triggered control is reactive and generates sensor sampling and control actuation when, for instance, the plant state deviates more than a certain threshold from a desired value. Self-triggered control, on the other hand, is proactive and computes the next sampling or actuation instance ahead of time. The basics of these control strategies are introduced together with a discussion on the differences between state feedback and output feedback for event-triggered control. It is also shown how event- and self-triggered control can be implemented using existing wireless communication technology. Some applications to wireless control in process industry are discussed as well.

Decentralized Event-Triggered Control Over Wireless Sensor/Actuator Networks

Event-triggered control has been recently proposed as an alternative to the more traditional periodic execution of control tasks. In a typical event-triggered implementation, the control signals are kept constant until the violation of a condition on the state of the plant triggers the recomputation of the control signals. The possibility of reducing the number of recomputations, and thus of transmissions, while guaranteeing desired levels of control performance, makes event-triggered control very appealing in the context of sensor/actuator networks. In particular, by reducing the network traffic we also reduce the energy expenditures of battery powered wireless sensor nodes. In this paper we present a decentralized event-triggered implementation, over sensor/actuator networks, of centralized nonlinear controllers.

Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks

The vast majority of todays critical infrastructure is supported by numerous feedback control loops and an attack on these control loops can have disastrous consequences. This is a major concern since modern control systems are becoming large and decentralized and thus more vulnerable to attacks. This paper is concerned with the estimation and control of linear systems when some of the sensors or actuators are corrupted by an attacker. We give a new simple characterization of the maximum number of attacks that can be detected and corrected as a function of the pair (A,C) of the system and we show in particular that it is impossible to accurately reconstruct the state of a system if more than half the sensors are attacked. In addition, we show how the design of a secure local control loop can improve the resilience of the system. When the number of attacks is smaller than a threshold, we propose an efficient algorithm inspired from techniques in compressed sensing to estimate the state of the plant despite attacks. We give a theoretical characterization of the performance of this algorithm and we show on numerical simulations that the method is promising and allows to reconstruct the state accurately despite attacks. Finally, we consider the problem of designing output-feedback controllers that stabilize the system despite sensor attacks. We show that a principle of separation between estimation and control holds and that the design of resilient output feedback controllers can be reduced to the design of resilient state estimators.

Brief paper: An ISS self-triggered implementation of linear controllers

Nowadays control systems are mostly implemented on digital platforms and, increasingly, over shared communication networks. Reducing resources (processor utilization, network bandwidth, etc.) in such implementations increases the potential to run more applications on the same hardware. We present a self-triggered implementation of linear controllers that reduces the amount of controller updates necessary to retain stability of the closed-loop system. Furthermore, we show that the proposed self-triggered implementation is robust against additive disturbances and provide explicit guarantees of performance. The proposed technique exhibits an inherent trade-off between computation and potential savings on actuation.

Verification and Control of Hybrid Systems

In what case do you like reading so much? What about the type of the verification and control of hybrid systems book? The needs to read? Well, everybody has their own reason why should read some books. Mostly, it will relate to their necessity to get knowledge from the book and want to read just to get entertainment. Novels, story book, and other entertaining books become so popular this day. Besides, the scientific books will also be the best reason to choose, especially for the students, teachers, doctors, businessman, and other professions who are fond of reading.

Linear Time Logic Control of Discrete-Time Linear Systems

The control of complex systems poses new challenges that fall beyond the traditional methods of control theory. One of these challenges is given by the need to control, coordinate and synchronize the operation of several interacting submodules within a system. The desired objectives are no longer captured by usual control specifications such as stabilization or output regulation. Instead, we consider specifications given by linear temporal logic (LTL) formulas. We show that existence of controllers for discrete-time controllable linear systems and LTL specifications can be decided and that such controllers can be effectively computed. The closed-loop system is of hybrid nature, combining the original continuous dynamics with the automatically synthesized switching logic required to enforce the specification

On event-triggered and self-triggered control over sensor/actuator networks

Event-triggered and self-triggered control have been recently proposed as an alternative to the more traditional periodic execution of control tasks. The possibility of reducing the number of executions while guaranteeing desired levels of performance makes event-triggered and self-triggered control very appealing in the context of sensor/actuator networks. In this setting, reducing the number of times that a feedback control law is executed implies a reduction in transmissions and thus a reduction in energy expenditures. In this paper we introduce two novel distributed implementations of event-triggered and self-triggered policies over sensor/actuator networks and discuss their performance in terms of energy expenditure.

A Framework for the Event-Triggered Stabilization of Nonlinear Systems

Event-triggered control consists of closing the feedback loop whenever a predefined state-dependent criterion is satisfied. This paradigm is especially well suited for embedded systems and networked control systems since it is able to reduce the amount of communication and computation resources needed for control, compared to the traditional periodic implementation. In this paper, we propose a framework for the event-triggered stabilization of nonlinear systems using hybrid systems tools, that is general enough to encompass most of the existing event-triggered control techniques, which we revisit and generalize. We also derive two new event-triggering conditions which may further enlarge the inter-event times compared to the available policies in the literature as illustrated by two physical examples. These novel techniques exemplify the relevance of introducing additional variables for the design of the triggering law. The proposed approach as well as the new event-triggering strategies are flexible and we believe that they can be used to address other event-based control problems.