Adaptive Cruise Control Design Using Reach Control

Melkior Ornik; Mateus S. Moura; Alexander Peplowski; Mireille E. Broucke

doi:10.1109/ITSC.2018.8569963

Adaptive Cruise Control Design Using Reach Control

Melkior Ornik, Mateus S. Moura, Alexander Peplowski, Mireille E. Broucke

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

Abstract

We investigate a correct-by-construction synthesis of piecewise affine feedback controllers designed to satisfy the strict safety specifications set forth by the adaptive cruise control (ACC) problem. Our design methodology is based on the formulation of the ACC problem as a reach control problem on a polytope in a 2D state space. The boundaries of this polytope, expressed as linear constraints on the states, arise from the headway and velocity safety requirements imposed by the ACC problem statement. We propose a model for the ACC problem, develop a controller that satisfies the ACC requirements, and produce simulations for the closed-loop system.

Original language	English (US)
Title of host publication	2018 IEEE Intelligent Transportation Systems Conference, ITSC 2018
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	111-116
Number of pages	6
ISBN (Electronic)	9781728103235
DOIs	https://doi.org/10.1109/ITSC.2018.8569963
State	Published - Dec 7 2018
Externally published	Yes
Event	21st IEEE International Conference on Intelligent Transportation Systems, ITSC 2018 - Maui, United States Duration: Nov 4 2018 → Nov 7 2018

Publication series

Name	IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC
Volume	2018-November

Other

Other	21st IEEE International Conference on Intelligent Transportation Systems, ITSC 2018
Country/Territory	United States
City	Maui
Period	11/4/18 → 11/7/18

ASJC Scopus subject areas

Automotive Engineering
Mechanical Engineering
Computer Science Applications

Online availability

10.1109/ITSC.2018.8569963

Library availability

Discover UIUC Full Text

Cite this

Ornik, M., Moura, M. S., Peplowski, A., & Broucke, M. E. (2018). Adaptive Cruise Control Design Using Reach Control. In 2018 IEEE Intelligent Transportation Systems Conference, ITSC 2018 (pp. 111-116). Article 8569963 (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; Vol. 2018-November). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ITSC.2018.8569963

Adaptive Cruise Control Design Using Reach Control. / Ornik, Melkior; Moura, Mateus S.; Peplowski, Alexander et al.
2018 IEEE Intelligent Transportation Systems Conference, ITSC 2018. Institute of Electrical and Electronics Engineers Inc., 2018. p. 111-116 8569963 (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; Vol. 2018-November).

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

Ornik, M, Moura, MS, Peplowski, A & Broucke, ME 2018, Adaptive Cruise Control Design Using Reach Control. in 2018 IEEE Intelligent Transportation Systems Conference, ITSC 2018., 8569963, IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, vol. 2018-November, Institute of Electrical and Electronics Engineers Inc., pp. 111-116, 21st IEEE International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, United States, 11/4/18. https://doi.org/10.1109/ITSC.2018.8569963

@inproceedings{ce1c25d61f2040218334743fdc43d8a2,

title = "Adaptive Cruise Control Design Using Reach Control",

abstract = "We investigate a correct-by-construction synthesis of piecewise affine feedback controllers designed to satisfy the strict safety specifications set forth by the adaptive cruise control (ACC) problem. Our design methodology is based on the formulation of the ACC problem as a reach control problem on a polytope in a 2D state space. The boundaries of this polytope, expressed as linear constraints on the states, arise from the headway and velocity safety requirements imposed by the ACC problem statement. We propose a model for the ACC problem, develop a controller that satisfies the ACC requirements, and produce simulations for the closed-loop system.",

author = "Melkior Ornik and Moura, {Mateus S.} and Alexander Peplowski and Broucke, {Mireille E.}",

note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 21st IEEE International Conference on Intelligent Transportation Systems, ITSC 2018 ; Conference date: 04-11-2018 Through 07-11-2018",

year = "2018",

month = dec,

day = "7",

doi = "10.1109/ITSC.2018.8569963",

language = "English (US)",

series = "IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC",

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

pages = "111--116",

booktitle = "2018 IEEE Intelligent Transportation Systems Conference, ITSC 2018",

address = "United States",

}

TY - GEN

T1 - Adaptive Cruise Control Design Using Reach Control

AU - Ornik, Melkior

AU - Moura, Mateus S.

AU - Peplowski, Alexander

AU - Broucke, Mireille E.

PY - 2018/12/7

Y1 - 2018/12/7

N2 - We investigate a correct-by-construction synthesis of piecewise affine feedback controllers designed to satisfy the strict safety specifications set forth by the adaptive cruise control (ACC) problem. Our design methodology is based on the formulation of the ACC problem as a reach control problem on a polytope in a 2D state space. The boundaries of this polytope, expressed as linear constraints on the states, arise from the headway and velocity safety requirements imposed by the ACC problem statement. We propose a model for the ACC problem, develop a controller that satisfies the ACC requirements, and produce simulations for the closed-loop system.

AB - We investigate a correct-by-construction synthesis of piecewise affine feedback controllers designed to satisfy the strict safety specifications set forth by the adaptive cruise control (ACC) problem. Our design methodology is based on the formulation of the ACC problem as a reach control problem on a polytope in a 2D state space. The boundaries of this polytope, expressed as linear constraints on the states, arise from the headway and velocity safety requirements imposed by the ACC problem statement. We propose a model for the ACC problem, develop a controller that satisfies the ACC requirements, and produce simulations for the closed-loop system.

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

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

U2 - 10.1109/ITSC.2018.8569963

DO - 10.1109/ITSC.2018.8569963

M3 - Conference contribution

AN - SCOPUS:85060472148

T3 - IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC

SP - 111

EP - 116

BT - 2018 IEEE Intelligent Transportation Systems Conference, ITSC 2018

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 21st IEEE International Conference on Intelligent Transportation Systems, ITSC 2018

Y2 - 4 November 2018 through 7 November 2018

ER -

Adaptive Cruise Control Design Using Reach Control

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this