Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation

Details Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation

2011-12-11

arxiv.org/abs/1112.2328v1

Computer Science

Software Engineering

Scientific paper

In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inductive invariants of the given systems. A numerical invariant of the given system can be obtained by solving a parameterized polynomial optimization problem via sum-of-squares (SOS) relaxation. And a method based on Gauss-Newton refinement and rational vector recovery is deployed to obtain the invariants with rational coefficients, which exactly satisfy the conditions of invariants. Several examples are given to illustrate our algorithm.

Affiliated with

Also associated with

No associations

Rating

Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares 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 Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-306829