Verification of $L_1$ Adaptive Control using Verse Library: A Case Study of Quadrotors

Lin Song, Yangge Li, Sheng Cheng +3

$L_1$ adaptive control ($L_1$AC) is a control design technique that can handle a broad class of system uncertainties and provide transient performance guarantees. In this work-in-p…