A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

Yann Gilpin; Vince Kurtz; Hai Lin

doi:10.1109/LCSYS.2020.3001875

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

Yann Gilpin
, Vince Kurtz
, Hai Lin

Environmental Fluid Dynamics Laboratories, University of Notre Dame

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	9114883
Pages (from-to)	241-246
Number of pages	6
Journal	IEEE Control Systems Letters
Volume	5
Issue number	1
DOIs	https://doi.org/10.1109/LCSYS.2020.3001875
State	Published - Jan 2021

ASJC Scopus Subject Areas

Control and Systems Engineering
Control and Optimization

Keywords

Autonomous systems
intelligent systems
robotics

Access to Document

10.1109/LCSYS.2020.3001875

Cite this

@article{67c5c2de62dd4191ac5b117bb32fc7f1,

title = "A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control",

keywords = "Autonomous systems, intelligent systems, robotics",

author = "Yann Gilpin and Vince Kurtz and Hai Lin",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.",

year = "2021",

month = jan,

doi = "10.1109/LCSYS.2020.3001875",

language = "English",

volume = "5",

pages = "241--246",

journal = "IEEE Control Systems Letters",

issn = "2475-1456",

number = "1",

}

TY - JOUR

T1 - A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

AU - Gilpin, Yann

AU - Kurtz, Vince

AU - Lin, Hai

PY - 2021/1

Y1 - 2021/1

KW - Autonomous systems

KW - intelligent systems

KW - robotics

UR - https://www.scopus.com/pages/publications/85087456350

UR - https://www.scopus.com/pages/publications/85087456350#tab=citedBy

U2 - 10.1109/LCSYS.2020.3001875

DO - 10.1109/LCSYS.2020.3001875

M3 - Article

AN - SCOPUS:85087456350

SN - 2475-1456

VL - 5

SP - 241

EP - 246

JO - IEEE Control Systems Letters

JF - IEEE Control Systems Letters

IS - 1

M1 - 9114883

ER -

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this