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

Ali Tevfik Buyukkocak; Derya Aksaray; Yasin Yazicioglu

doi:10.23919/ACC50511.2021.9482651

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 proceeding › Conference 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 language	English (US)
Title of host publication	2021 American Control Conference, ACC 2021
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	4873-4878
Number of pages	6
ISBN (Electronic)	9781665441971
DOIs	https://doi.org/10.23919/ACC50511.2021.9482651
State	Published - May 25 2021
Event	2021 American Control Conference, ACC 2021 - Virtual, New Orleans, United States Duration: May 25 2021 → May 28 2021

Publication series

Name	Proceedings of the American Control Conference
Volume	2021-May
ISSN (Print)	0743-1619

Conference

Conference	2021 American Control Conference, ACC 2021
Country/Territory	United States
City	Virtual, New Orleans
Period	5/25/21 → 5/28/21

Bibliographical note

Publisher Copyright:
© 2021 American Automatic Control Council.

Access

10.23919/ACC50511.2021.9482651

Cite this

Buyukkocak, A. T., Aksaray, D., & Yazicioglu, Y. (2021). Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. In 2021 American Control Conference, ACC 2021 (pp. 4873-4878). [9482651] (Proceedings of the American Control Conference; Vol. 2021-May). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.23919/ACC50511.2021.9482651

Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. / Buyukkocak, Ali Tevfik; Aksaray, Derya ; Yazicioglu, Yasin.

2021 American Control Conference, ACC 2021. Institute of Electrical and Electronics Engineers Inc., 2021. p. 4873-4878 9482651 (Proceedings of the American Control Conference; Vol. 2021-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Buyukkocak, AT, Aksaray, D & Yazicioglu, Y 2021, Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates. in 2021 American Control Conference, ACC 2021., 9482651, Proceedings of the American Control Conference, vol. 2021-May, Institute of Electrical and Electronics Engineers Inc., pp. 4873-4878, 2021 American Control Conference, ACC 2021, Virtual, New Orleans, United States, 5/25/21. https://doi.org/10.23919/ACC50511.2021.9482651

@inproceedings{c294005c06cf48ecab402a6339e72e7a,

title = "Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates",

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

author = "Buyukkocak, {Ali Tevfik} and Derya Aksaray and Yasin Yazicioglu",

note = "Publisher Copyright: {\textcopyright} 2021 American Automatic Control Council.; 2021 American Control Conference, ACC 2021 ; Conference date: 25-05-2021 Through 28-05-2021",

year = "2021",

month = may,

day = "25",

doi = "10.23919/ACC50511.2021.9482651",

language = "English (US)",

series = "Proceedings of the American Control Conference",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "4873--4878",

booktitle = "2021 American Control Conference, ACC 2021",

}

TY - GEN

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

AU - Buyukkocak, Ali Tevfik

AU - Aksaray, Derya

AU - Yazicioglu, Yasin

PY - 2021/5/25

Y1 - 2021/5/25

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

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

UR - http://www.scopus.com/inward/record.url?scp=85111912960&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85111912960&partnerID=8YFLogxK

U2 - 10.23919/ACC50511.2021.9482651

DO - 10.23919/ACC50511.2021.9482651

M3 - Conference contribution

AN - SCOPUS:85111912960

T3 - Proceedings of the American Control Conference

SP - 4873

EP - 4878

BT - 2021 American Control Conference, ACC 2021

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2021 American Control Conference, ACC 2021

Y2 - 25 May 2021 through 28 May 2021

ER -

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

Abstract

Publication series

Conference

Bibliographical note

Access

Other files and links

Fingerprint

Cite this