| 标题 |
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming 非线性系统的迭代平方和规划可达集估计及安全性验证
相关领域
数学优化
双线性插值
集合(抽象数据类型)
解释平方和
非线性系统
李雅普诺夫函数
约束(计算机辅助设计)
数学
迭代法
计算机科学
迭代求精
算法
物理
程序设计语言
统计
量子力学
几何学
|
| 网址 | |
| DOI | |
| 其它 |
期刊:Journal of Systems Science and Complexity 作者:Wang Lin; Zhengfeng Yang; Zuohua Ding 出版日期:2022-06-01 |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
|
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)