监督人
扩展(谓词逻辑)
方案(数学)
监督控制
控制(管理)
计算机科学
正多边形
汽车工业
凸优化
二次方程
数学优化
控制理论(社会学)
工程类
数学
法学
几何学
数学分析
航空航天工程
人工智能
程序设计语言
政治学
作者
Nan Li,Yutong Li,Ilya Kolmanovsky
出处
期刊:Cornell University - arXiv
日期:2023-04-17
标识
DOI:10.48550/arxiv.2304.07984
摘要
In this paper, we propose a supervisory control scheme that unifies the abilities of safety protection and safety extension. It produces a control that is able to keep the system safe indefinitely when such a control exists. When such a control does not exist due to abnormal system states, it optimizes the control to maximize the time before any safety violation, which translates into more time to seek recovery and/or mitigate any harm. We describe the scheme and develop an approach that integrates the two capabilities into a single constrained optimization problem with only continuous variables. For linear systems with convex constraints, the problem reduces to a convex quadratic program and is easy to solve. We illustrate the proposed safety supervisor with an automotive example.
科研通智能强力驱动
Strongly Powered by AbleSci AI