Computing Safe Sets of Linear Sampled-Data Systems
IEEE Control Systems Letters, pp. 385-390, 2021.
GeneratorsReachability analysisConvex functionsRobust controlSafetyMore(2+)
Leveraging autonomous systems in safety-critical applications requires formal robustness guarantees against uncertainties. We address this issue by computing safe terminal sets with corresponding safety-preserving terminal controllers, which ensure robust constraint satisfaction for an infinite time horizon. To maximize the region of oper...More
Full Text (Upload PDF)
PPT (Upload PPT)