典型文献
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming
文献摘要：
In this paper,the problems of forward reachable set estimation and safety verification of uncertain nonlinear systems with polynomial dynamics are addressed.First,an iterative sums of squares(SOS)programming approach is developed for reachable set estimation.It characterizes the over-approximations of the forward reachable sets by sub-level sets of time-varying Lyapunov-like functions that satisfy an invariance condition,and formulates the problem of searching for the Lyapunov-like functions as a bilinear SOS program,which can be solved via an iterative algorithm.To make the over-approximation tight,the proposed approach seeks to minimize the volume of the over-approximation set with a desired shape.Then,the reachable set estimation approach is extended for safety verification,via explicitly encoding the safety constraint such that the Lyapunov-like functions guarantee both reaching and avoidance.The efficiency of the presented method is illustrated by some numerical examples.
文献关键词：
中图分类号：
作者姓名：
LIN Wang;YANG Zhengfeng;DING Zuohua
作者机构：
School of Information Science and Technology,Zhejiang Sci-Tech University,Hangzhou 310018,China;Shang-hai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062,China;Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062,China
文献出处：
引用格式：
[1]LIN Wang;YANG Zhengfeng;DING Zuohua-.Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming)[J].系统科学与复杂性学报（英文版）,2022(03):1154-1172
A类：
Reachable,Sums
B类：
Set,Estimation,Safety,Verification,Nonlinear,Systems,via,Iterative,Squares,Programming,In,this,paper,problems,forward,reachable,estimation,safety,verification,uncertain,nonlinear,systems,polynomial,dynamics,addressed,First,iterative,sums,squares,SOS,programming,approach,developed,characterizes,over,approximations,sets,by,sub,level,varying,Lyapunov,like,functions,that,satisfy,invariance,condition,formulates,searching,as,bilinear,which,can,be,solved,algorithm,To,make,tight,proposed,seeks,minimize,volume,desired,shape,Then,extended,explicitly,encoding,constraint,such,guarantee,both,reaching,avoidance,efficiency,presented,method,illustrated,some,numerical,examples
AB值：
0.598985
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
