Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients

@inproceedings{Wu2011GeneratingIO,
  title={Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients},
  author={Min Wu and Zhengfeng Yang},
  booktitle={SNC},
  year={2011}
}
In this paper we discuss how to generate inequality invariants for continuous dynamical systems involved in hybrid systems. A hybrid symbolic-numeric algorithm is presented to compute inequality invariants of the given systems, by transforming this problem into a parameterized polynomial optimization problem. A numerical inequality invariant of the given system can be obtained by applying polynomial Sum-of-Squares (SOS) relaxation via Semidefinite Programming (SDP). And a method based on Gauss… CONTINUE READING
5 Extracted Citations
4 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-4 of 4 references

SOSTOOLS: Sum of squares optimization toolbox for MATLAB

  • S. Prajna, A. Papachristodoulou, P. Parrilo
  • 2002
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…