@inproceedings{7b28c58b0d2846928a8b4e29c0b9c8ce,
title = "Verification of L1 Adaptive Control using Verse Library: A Case Study of Quadrotors",
abstract = "L1 adaptive control (L1AC) is a control design technique that can handle a broad class of system uncertainties and provide transient performance guarantees. In this work-in-progress paper, we discuss how existing formal verification tools can be applied to check performance of L1AC systems. We show that the theoretical transient performance and robustness guarantees of an L1AC for an 18-dimensional quadrotor system can be verified using the recently developed Verse reachability analysis tool. We will further consider the performance verification of L1AC on learning-enabled systems.",
keywords = "Adaptive Control Verification, Safe Autonomous Systems",
author = "Lin Song and Yangge Li and Sheng Cheng and Pan Zhao and Sayan Mitra and Naira Hovakimyan",
note = "Publisher Copyright: {\textcopyright} ICCPS 2023. All rights reserved.; 14th ACM/IEEE International Conference on Cyber-Physical Systems, with CPS-IoT Week 2023, ICCPS 2023 ; Conference date: 09-05-2023 Through 12-05-2023",
year = "2023",
month = may,
day = "9",
doi = "10.1145/3576841.3589618",
language = "English (US)",
series = "ICCPS 2023 - Proceedings of the 2023 ACM/IEEE 14th International Conference on Cyber-Physical Systems with CPS-IoT Week 2023",
publisher = "Association for Computing Machinery",
pages = "245--246",
booktitle = "ICCPS 2023 - Proceedings of the 2023 ACM/IEEE 14th International Conference on Cyber-Physical Systems with CPS-IoT Week 2023",
address = "United States",
}