Verifying Reach-while-stay Property Of Nonlinear Switched System Based On Lyapunov-like Function

Switching system is a kind of important hybrid system,which consists of switching signals between finite subsystem and coordination subsystem.Switching system is widely used in aerospace,transportation,intelligent control and other important fields.Therefore,security verification for switching systems is critical.This paper mainly studies the problem of reach-while-stay property verification for the security of nonlinear switching systems.Specific research on the following aspects:(1)The RWS property verification for a class of continuous-time nonlinear switching systems is studied.A new RWS property determination criterion is constructed by using invariant sets,and the RWS property verification is transformed into solving nonlinear constraint problem,and the method based on sum of squares relaxation is further transformed into solving bilinear matrix inequality problem.(2)The RWS property verification for a class of discrete-time nonlinear switching systems is studied.According to the characteristics of sampling switching in discrete-time nonlinear switching systems and the combination of invariant sets,a low conservative RWS property determi-nation criterion is proposed,and the RWS property verification problem is transformed into the calculation problem of polynomial form Lyapunov-like function,which is solved by semidefinite programming,and the feasibility of the method is verified by simulation example.