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

Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazicioglu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 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.

Original languageEnglish (US)
Title of host publication2021 American Control Conference, ACC 2021
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages4873-4878
Number of pages6
ISBN (Electronic)9781665441971
DOIs
StatePublished - May 25 2021
Event2021 American Control Conference, ACC 2021 - Virtual, New Orleans, United States
Duration: May 25 2021May 28 2021

Publication series

NameProceedings of the American Control Conference
Volume2021-May
ISSN (Print)0743-1619

Conference

Conference2021 American Control Conference, ACC 2021
Country/TerritoryUnited States
CityVirtual, New Orleans
Period5/25/215/28/21

Bibliographical note

Publisher Copyright:
© 2021 American Automatic Control Council.

Fingerprint

Dive into the research topics of 'Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates'. Together they form a unique fingerprint.

Cite this