Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors

Jan 1, 2023·
Lin Song
,
Yangge Li
,
Sheng Cheng
,
Pan Zhao
,
Sayan Mitra
,
Naira Hovakimyan
· 0 min read
Type
Publication
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023)