Exact Verification of Hybrid Systems Based on Bilinear SOS Representation

Details Exact Verification of Hybrid Systems Based on Bilinear SOS Representation Exact Verification of Hybrid Systems Based on Bilinear SOS Representation

2012-01-20

arxiv.org/abs/1201.4219v1

Computer Science

Software Engineering

Scientific paper

In this paper, we address the problem of safety verification of nonlinear hybrid systems and stability analysis of nonlinear autonomous systems. A hybrid symbolic-numeric method is presented to compute exact inequality invariants of hybrid systems and exact estimates of regions of attraction of autonomous systems efficiently. Some numerical invariants of a hybrid system or an estimate of region of attraction can be obtained by solving a bilinear SOS program via PENBMI solver or iterative method, then the modified Newton refinement and rational vector recovery techniques are applied to obtain exact polynomial invariants and estimates of regions of attraction with rational coefficients. Experiments on some benchmarks are given to illustrate the efficiency of our algorithm.

Affiliated with

Also associated with

No associations

Rating

Exact Verification of Hybrid Systems Based on Bilinear SOS Representation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Exact Verification of Hybrid Systems Based on Bilinear SOS Representation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Exact Verification of Hybrid Systems Based on Bilinear SOS Representation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-320438