Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems

He Yin, Andrew Packard, Murat Arcak, Peter J Seiler Jr

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decomposed into two steps. The first step under-approximates the backward reachable set (BRS) from the target set, using level sets of storage functions. The storage function is constructed with an iterative algorithm to maximize the volume of the under-approximated BRS. The second step obtains a control law by solving a pointwise min-norm optimization problem using the pre-computed storage function. A closed-form solution of this min-norm optimization can be computed through the KKT conditions. This control synthesis framework is then extended to uncertain nonlinear systems with parametric uncertainties and L2 disturbances. The computation algorithm for all cases is derived using sum-of-squares (SOS) programming and the S-procedure. The proposed method is applied to several examples, including robotic systems.

Original languageEnglish (US)
Title of host publication2019 American Control Conference, ACC 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages5020-5026
Number of pages7
ISBN (Electronic)9781538679265
StatePublished - Jul 2019
Event2019 American Control Conference, ACC 2019 - Philadelphia, United States
Duration: Jul 10 2019Jul 12 2019

Publication series

NameProceedings of the American Control Conference
Volume2019-July
ISSN (Print)0743-1619

Conference

Conference2019 American Control Conference, ACC 2019
CountryUnited States
CityPhiladelphia
Period7/10/197/12/19

Fingerprint

Nonlinear systems
Robotics
Trajectories
Controllers
Uncertainty

Cite this

Yin, H., Packard, A., Arcak, M., & Seiler Jr, P. J. (2019). Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems. In 2019 American Control Conference, ACC 2019 (pp. 5020-5026). [8814444] (Proceedings of the American Control Conference; Vol. 2019-July). Institute of Electrical and Electronics Engineers Inc..

Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems. / Yin, He; Packard, Andrew; Arcak, Murat; Seiler Jr, Peter J.

2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., 2019. p. 5020-5026 8814444 (Proceedings of the American Control Conference; Vol. 2019-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Yin, H, Packard, A, Arcak, M & Seiler Jr, PJ 2019, Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems. in 2019 American Control Conference, ACC 2019., 8814444, Proceedings of the American Control Conference, vol. 2019-July, Institute of Electrical and Electronics Engineers Inc., pp. 5020-5026, 2019 American Control Conference, ACC 2019, Philadelphia, United States, 7/10/19.
Yin H, Packard A, Arcak M, Seiler Jr PJ. Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems. In 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc. 2019. p. 5020-5026. 8814444. (Proceedings of the American Control Conference).
Yin, He ; Packard, Andrew ; Arcak, Murat ; Seiler Jr, Peter J. / Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems. 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 5020-5026 (Proceedings of the American Control Conference).
@inproceedings{dbc49f8ddee94b478a48fb67adf76923,
title = "Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems",
abstract = "We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decomposed into two steps. The first step under-approximates the backward reachable set (BRS) from the target set, using level sets of storage functions. The storage function is constructed with an iterative algorithm to maximize the volume of the under-approximated BRS. The second step obtains a control law by solving a pointwise min-norm optimization problem using the pre-computed storage function. A closed-form solution of this min-norm optimization can be computed through the KKT conditions. This control synthesis framework is then extended to uncertain nonlinear systems with parametric uncertainties and L2 disturbances. The computation algorithm for all cases is derived using sum-of-squares (SOS) programming and the S-procedure. The proposed method is applied to several examples, including robotic systems.",
author = "He Yin and Andrew Packard and Murat Arcak and {Seiler Jr}, {Peter J}",
year = "2019",
month = "7",
language = "English (US)",
series = "Proceedings of the American Control Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "5020--5026",
booktitle = "2019 American Control Conference, ACC 2019",

}

TY - GEN

T1 - Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems

AU - Yin, He

AU - Packard, Andrew

AU - Arcak, Murat

AU - Seiler Jr, Peter J

PY - 2019/7

Y1 - 2019/7

N2 - We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decomposed into two steps. The first step under-approximates the backward reachable set (BRS) from the target set, using level sets of storage functions. The storage function is constructed with an iterative algorithm to maximize the volume of the under-approximated BRS. The second step obtains a control law by solving a pointwise min-norm optimization problem using the pre-computed storage function. A closed-form solution of this min-norm optimization can be computed through the KKT conditions. This control synthesis framework is then extended to uncertain nonlinear systems with parametric uncertainties and L2 disturbances. The computation algorithm for all cases is derived using sum-of-squares (SOS) programming and the S-procedure. The proposed method is applied to several examples, including robotic systems.

AB - We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decomposed into two steps. The first step under-approximates the backward reachable set (BRS) from the target set, using level sets of storage functions. The storage function is constructed with an iterative algorithm to maximize the volume of the under-approximated BRS. The second step obtains a control law by solving a pointwise min-norm optimization problem using the pre-computed storage function. A closed-form solution of this min-norm optimization can be computed through the KKT conditions. This control synthesis framework is then extended to uncertain nonlinear systems with parametric uncertainties and L2 disturbances. The computation algorithm for all cases is derived using sum-of-squares (SOS) programming and the S-procedure. The proposed method is applied to several examples, including robotic systems.

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

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

M3 - Conference contribution

AN - SCOPUS:85072283358

T3 - Proceedings of the American Control Conference

SP - 5020

EP - 5026

BT - 2019 American Control Conference, ACC 2019

PB - Institute of Electrical and Electronics Engineers Inc.

ER -