A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems
Title: A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems
Speaker: Naijun Zhan (詹乃军)
Time: 3:00pm, Thursday, Jan.13
Venue: Lecture Room, Level 3 Building #5, Institute of Software, CAS
Abstract: How to design correct hybrid systems is a grand challenge in computer science and control theory. In this paper, by analyzing the Lie derivatives of a polynomial at different orders along a given vector field, we present a complete method for generating polynomial differential invariants of a hybrid system in which all functions in the expression are or can be reduced to polynomials. Completeness here means that for a given hybrid system, if there exists a polynomial differential invariant in the form of the predefined template, then our approach can indeed discover it. To the best of our knowledge, this is the first complete approach to polynomial differential invariant generation.