Abstract
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 used to obtain the invariants with rational coefficients, which exactly satisfy the conditions of invariants. Several examples are given to illustrate our algorithm.
| Original language | English |
|---|---|
| Pages (from-to) | 1-13 |
| Number of pages | 13 |
| Journal | Science China Information Sciences |
| Volume | 57 |
| Issue number | 5 |
| DOIs | |
| State | Published - May 2014 |
Keywords
- Symbolic computation
- invariant generation
- safety verification
- semidefinite programming
Fingerprint
Dive into the research topics of 'Exact safety verification of hybrid systems using sums-of-squares representation'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver