• Publications
  • Influence
Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
  • P. Tabuada
  • Computer Science, Mathematics
    IEEE Transactions on Automatic Control
  • 17 September 2007
This note investigates a simple event-triggered scheduler based on the paradigm that a real-time scheduler could be regarded as a feedback controller that decides which task is executed at any given instant and shows how it leads to guaranteed performance thus relaxing the more traditional periodic execution requirements.
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
This paper develops a methodology that allows safety conditions—expression as control barrier functions—to be unified with performance objectives—expressed as control Lyapunov functions—in the context of real-time optimization-based controllers.
Verification and Control of Hybrid Systems - A Symbolic Approach
This book addresses problems of verification and controller synthesis for hybrid systems by systematic presentation of classes of hybrid systems that admit symbolic or finite models along with the relationships between the hybrid systems and the corresponding symbolic models.
Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
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 is given and it is shown that it is impossible to accurately reconstruct the state of a system if more than half the sensors are attacked.
Control barrier function based quadratic programs with application to adaptive cruise control
A control methodology that unifies control barrier functions and control Lyapunov functions through quadratic programs is developed, which allows for the simultaneous achievement of control objectives subject to conditions on the admissible states of the system.
An introduction to event-triggered and self-triggered control
An introduction to event- and self-triggered control systems where sensing and actuation is performed when needed and how these control strategies can be implemented using existing wireless communication technology is shown.
To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems
A novel technique is presented 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.
Control Barrier Functions: Theory and Applications
This paper provides an introduction and overview of recent work on control barrier functions and their use to verify and enforce safety properties in the context of (optimization based)
Periodic Event-Triggered Control for Linear Systems
The PETC strategies developed in this paper apply to both static state-feedback and dynamical output-based controllers, as well as to both centralized and decentralized (periodic) event-triggering conditions.