17 citations · 81 across the 44 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.DS2011
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
Jiang Liu, Naijun Zhan, Hengjun Zhao
The notion of Lyapunov function plays a key role in design and verification of dynamical systems, as well as hybrid and cyber-physical systems. In this paper, to analyze the asympt…
cs.SC2011★ 16 cited
Computing Semi-algebraic Invariants for Polynomial Dynamical Systems
Jiang Liu, Naijun Zhan, Hengjun Zhao
In this paper, we consider an extended concept of invariant for polynomial dynamical system (PDS) with domain and initial condition, and establish a sound and complete criterion fo…