Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints

Event-Triggered Controller Synthesis for Dynamical Systems with Temporal Logic Constraints

Title : Event-Triggered Controller Synthesis for Dynamical Systems withTemporal Logic Constraints
Authors :
Baras, John S.
Maity, Dipankar

Journal : 2018 American Control Conference pg. 1184-1189
June 29, 2018

In this work, we propose an event-triggered control framework for dynamical systems with temporal logical constraints. Event-triggered control methodologies have proven to be very efficient in reducing sensing, communication and computation costs. When a continuous feedback control is replaced with an event-triggered strategy, the corresponding state trajectories also differ. In a system with logical constraints, such small deviation in the trajectory might lead to unsatisfiability of the logical constraints. In this work, we develop an approach where we ensure that the event-triggered state trajectory is confined within an  tube of the ideal trajectory associated with the continuous state feedback. At the same time, we will ensure satisfiability of the logical constraints as well. Furthermore, we show that the proposed method works for delayed systems as long as the delay is bounded by a certain quantity.

Download Full Paper