Computing Safe Sets of Linear Sampled-Data Systems
IEEE Control Systems Letters(2021)
摘要
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 operation, we also construct as large as possible safe initial sets that can be safely steered into the safe terminal set in finite time. We use scalable reachability analysis and convex optimization to efficiently compute safe sets of sampled-data systems. These systems are composed of a physical plant evolving in continuous time and a digital controller being implemented in discrete time. We further verify the effectiveness of our robust control approach using a simple double-integrator system and a vehicle-platooning benchmark.
更多查看译文
关键词
Generators,Reachability analysis,Convex functions,Robust control,Safety,Sampled data systems,Predictive control
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络