A More Scalable Mixed-Integer Encoding for Metric Temporal Logic

Vince Kurtz; Hai Lin

doi:10.1109/LCSYS.2021.3132839

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic

Vince Kurtz
, Hai Lin

Environmental Fluid Dynamics Laboratories, University of Notre Dame

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

Original language	English
Pages (from-to)	1718-1723
Number of pages	6
Journal	IEEE Control Systems Letters
Volume	6
DOIs	https://doi.org/10.1109/LCSYS.2021.3132839
State	Published - 2022

ASJC Scopus Subject Areas

Control and Systems Engineering
Control and Optimization

Keywords

Autonomous systems
optimization
robotics

Access to Document

10.1109/LCSYS.2021.3132839

Cite this

@article{d2687530cff24c1799f6d40fdefade49,

title = "A More Scalable Mixed-Integer Encoding for Metric Temporal Logic",

keywords = "Autonomous systems, optimization, robotics",

author = "Vince Kurtz and Hai Lin",

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

year = "2022",

doi = "10.1109/LCSYS.2021.3132839",

language = "English",

volume = "6",

pages = "1718--1723",

journal = "IEEE Control Systems Letters",

issn = "2475-1456",

}

TY - JOUR

T1 - A More Scalable Mixed-Integer Encoding for Metric Temporal Logic

AU - Kurtz, Vince

AU - Lin, Hai

PY - 2022

Y1 - 2022

KW - Autonomous systems

KW - optimization

KW - robotics

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

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

U2 - 10.1109/LCSYS.2021.3132839

DO - 10.1109/LCSYS.2021.3132839

M3 - Article

AN - SCOPUS:85121379701

SN - 2475-1456

VL - 6

SP - 1718

EP - 1723

JO - IEEE Control Systems Letters

JF - IEEE Control Systems Letters

ER -

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this