2020 American Control Conference (ACC) 2020
DOI: 10.23919/acc45564.2020.9147917
|View full text |Cite
|
Sign up to set email alerts
|

Autonomous Vehicle Decision-Making and Monitoring based on Signal Temporal Logic and Mixed-Integer Programming

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
17
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
5
2
2

Relationship

1
8

Authors

Journals

citations
Cited by 26 publications
(17 citation statements)
references
References 12 publications
0
17
0
Order By: Relevance
“…The study conducted by Mehr et al ( 21 ) used STL to define a predictive ramp metering system for a highway in a stochastic approach. Sahin et al ( 22 ) proposed a motion planning module for autonomous vehicles for the prediction of possible trajectories. For verification of the generated trajectories, STL formulas are proposed using traffic rules to monitor the behavior of the motion planning module and to ensure that the vehicle trajectory is conforming to the desired goals.…”
Section: Literature Reviewmentioning
confidence: 99%
See 1 more Smart Citation
“…The study conducted by Mehr et al ( 21 ) used STL to define a predictive ramp metering system for a highway in a stochastic approach. Sahin et al ( 22 ) proposed a motion planning module for autonomous vehicles for the prediction of possible trajectories. For verification of the generated trajectories, STL formulas are proposed using traffic rules to monitor the behavior of the motion planning module and to ensure that the vehicle trajectory is conforming to the desired goals.…”
Section: Literature Reviewmentioning
confidence: 99%
“…Since STL provides powerful expressive capabilities, its use in transportation is gaining traction. Many studies are using STL to describe various traffic systems as well as safe vehicle behavior ( 21 , 22 , 23 , 29 31 ). This reflects such systems becoming more integrated by combing both cyber and physical aspects and therefore producing continuous signals that can be expressed using formal languages such as STL.…”
Section: Preliminariesmentioning
confidence: 99%
“…In the majority of the works [10]- [14] the STL formulas are encoded by integer variables and the agents' plans are obtained as solutions to MILP problems. Although suggestions towards reducing the computational burden have been made [15], these problems are known for the scalability issues arising as the optimization horizon or number of robots increases [12]. Addressing this problem, authors in [10] make use of the agents' past actions during planning increasing conservatism in the overall performance of the task.…”
Section: Introductionmentioning
confidence: 99%
“…In the past years, numerous algorithms have been developed for monitoring specifications described by, e.g., Linear Temporal Logic (LTL) [9], Metric Temporal Logic (MTL) [7], [23] and Signal Temporal Logic (STL) [6], [8]. Recent applications of specification-based monitoring techniques include, e.g., autonomous vehicles [21] and smart cities [16].…”
Section: Introductionmentioning
confidence: 99%