Showing 1–4 of 4 results for author: Buyukkocak, A T

Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis

Authors: Ali Tevfik Buyukkocak, Derya Aksaray

Abstract: We introduce a metric that can quantify the temporal relaxation of Signal Temporal Logic (STL) specifications and facilitate resilient control synthesis in the face of infeasibilities. The proposed metric quantifies a cumulative notion of relaxation among the subtasks, and minimizing it yields to structural changes in the original STL specification by i) modifying time-intervals, ii) removing subt… ▽ More We introduce a metric that can quantify the temporal relaxation of Signal Temporal Logic (STL) specifications and facilitate resilient control synthesis in the face of infeasibilities. The proposed metric quantifies a cumulative notion of relaxation among the subtasks, and minimizing it yields to structural changes in the original STL specification by i) modifying time-intervals, ii) removing subtasks entirely if needed. To this end, we formulate an optimal control problem that extracts state and input sequences by minimally violating the temporal requirements while achieving the desired predicates. We encode this problem in the form of a computationally efficient mixed-integer program. We show some theoretical results on the properties of the new metric. Finally, we present a case study of a robot that minimally violates the time constraints of desired tasks in the face of an infeasibility. △ Less

Submitted 11 December, 2022; v1 submitted 17 August, 2022; originally announced August 2022.

Comments: Accepted to the 2022 IEEE 61st Conference on Decision and Control (CDC)

Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications

Authors: Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazıcıoğlu

Abstract: We propose control barrier functions (CBFs) for a family of dynamical systems to satisfy a broad fragment of Signal Temporal Logic (STL) specifications, which may include subtasks with nested temporal operators or conflicting requirements (e.g., achieving multiple subtasks within the same time interval). The proposed CBFs take into account the actuation limits of the dynamical system as well as a… ▽ More We propose control barrier functions (CBFs) for a family of dynamical systems to satisfy a broad fragment of Signal Temporal Logic (STL) specifications, which may include subtasks with nested temporal operators or conflicting requirements (e.g., achieving multiple subtasks within the same time interval). The proposed CBFs take into account the actuation limits of the dynamical system as well as a feasible sequence of subtasks, and they define time-varying feasible sets of states the system must always stay inside. We show some theoretical results on the correctness of the proposed method. We illustrate the benefits of the proposed CBFs and compare their performance with the existing methods via simulations. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: Accepted to the 2022 European Control Conference (ECC)

Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates

Authors: Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazıcıoğlu

Abstract: In many applications, the integrals and derivatives of signals carry valuable information (e.g., cumulative success over a time window, the rate of change) regarding the behavior of the underlying system. In this paper, we extend the expressiveness of Signal Temporal Logic (STL) by introducing predicates that can define rich properties related to the integral and derivative of a signal. For contro… ▽ More In many applications, the integrals and derivatives of signals carry valuable information (e.g., cumulative success over a time window, the rate of change) regarding the behavior of the underlying system. In this paper, we extend the expressiveness of Signal Temporal Logic (STL) by introducing predicates that can define rich properties related to the integral and derivative of a signal. For control synthesis, the new predicates are encoded into mixed-integer linear inequalities and are used in the formulation of a mixed-integer linear program to find a trajectory that satisfies an STL specification. We discuss the benefits of using the new predicates and illustrate them in a case study showing the influence of the new predicates on the trajectories of an autonomous robot. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Comments: Accepted to the 2021 American Control Conference (ACC)

Decentralized Safe Reactive Planning under TWTL Specifications

Authors: Ryan Peterson, Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu

Abstract: We investigate a multi-agent planning problem, where each agent aims to achieve an individual task while avoiding collisions with others. We assume that each agent's task is expressed as a Time-Window Temporal Logic (TWTL) specification defined over a 3D environment. We propose a decentralized receding horizon algorithm for online planning of trajectories. We show that when the environment is suff… ▽ More We investigate a multi-agent planning problem, where each agent aims to achieve an individual task while avoiding collisions with others. We assume that each agent's task is expressed as a Time-Window Temporal Logic (TWTL) specification defined over a 3D environment. We propose a decentralized receding horizon algorithm for online planning of trajectories. We show that when the environment is sufficiently connected, the resulting agent trajectories are always safe (collision-free) and lead to the satisfaction of the TWTL specifications or their finite temporal relaxations. Accordingly, deadlocks are always avoided and each agent is guaranteed to safely achieve its task with a finite time-delay in the worst case. Performance of the proposed algorithm is demonstrated via numerical simulations and experiments with quadrotors. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Comments: 8 pages, 4 figures, accepted to IROS 2020