TY - GEN
T1 - Region-of-convergence estimation for learning-based adaptive controllers
AU - Quindlen, John F.
AU - Topcu, Ufuk
AU - Chowdhary, Girish
AU - How, Jonathan P.
N1 - Publisher Copyright:
© 2016 American Automatic Control Council (AACC).
PY - 2016/7/28
Y1 - 2016/7/28
N2 - Recent learning-based extensions to popular adaptive control procedures offer improved convergence, but at the cost of increased complexity. This complexity makes it difficult to analytically compute level sets that bound the system response. These level sets can be combined with the a priori known Lyapunov function for such systems to provide barrier certificates, verifying the safety of the system to maximum allowable error limits. This paper presents a complementary automated procedure for computing invariant level sets offline using simulation data. These level sets encompass combinations of safe initial conditions and parameters that will not cause the adaptive system's response to exceed constraints. First, conditions for the complete set of safe initial states and parameters, known as the region-of-convergence, are established. These conditions, coupled with the known Lyapunov functions describing the adaptation, are used to form an optimization procedure to construct verifiable level sets for the system response. These levels sets thus provide barrier certificates for safety and conservatively estimate the complete regionof-convergence. Lastly, the procedure is demonstrated on an adaptive control system.
AB - Recent learning-based extensions to popular adaptive control procedures offer improved convergence, but at the cost of increased complexity. This complexity makes it difficult to analytically compute level sets that bound the system response. These level sets can be combined with the a priori known Lyapunov function for such systems to provide barrier certificates, verifying the safety of the system to maximum allowable error limits. This paper presents a complementary automated procedure for computing invariant level sets offline using simulation data. These level sets encompass combinations of safe initial conditions and parameters that will not cause the adaptive system's response to exceed constraints. First, conditions for the complete set of safe initial states and parameters, known as the region-of-convergence, are established. These conditions, coupled with the known Lyapunov functions describing the adaptation, are used to form an optimization procedure to construct verifiable level sets for the system response. These levels sets thus provide barrier certificates for safety and conservatively estimate the complete regionof-convergence. Lastly, the procedure is demonstrated on an adaptive control system.
UR - http://www.scopus.com/inward/record.url?scp=84992047459&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84992047459&partnerID=8YFLogxK
U2 - 10.1109/ACC.2016.7525292
DO - 10.1109/ACC.2016.7525292
M3 - Conference contribution
AN - SCOPUS:84992047459
T3 - Proceedings of the American Control Conference
SP - 2500
EP - 2505
BT - 2016 American Control Conference, ACC 2016
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2016 American Control Conference, ACC 2016
Y2 - 6 July 2016 through 8 July 2016
ER -