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

02/27/2018
by   Dipankar Maity, et al.
0

In this work, we propose an event-triggered con- trol 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 re- placed 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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/16/2022

A Logical Analysis of Dynamic Dependence

Many forms of dependence manifest themselves over time, with behavior of...
research
02/06/2023

Learning Control-Oriented Dynamical Structure from Data

Even for known nonlinear dynamical systems, feedback controller synthesi...
research
08/23/2020

Learning Dynamical Systems with Side Information

We present a mathematical and computational framework for the problem of...
research
05/05/2023

Context-triggered Abstraction-based Control Design

We consider the problem of automatically synthesizing a hybrid controlle...
research
09/12/2023

Promises of Deep Kernel Learning for Control Synthesis

Deep Kernel Learning (DKL) combines the representational power of neural...
research
09/14/2018

Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems

Among the many approaches for reasoning about degrees of belief in the p...
research
10/16/2022

Logical Zonotope: A Set Representation for Binary Vectors

In this paper, we propose a new set representation for binary vectors ca...

Please sign up or login with your details

Forgot password? Click here to reset