COMPUTING THE VERIFIED LYAPUNOV FUNCTIONS OF HYBRID SYSTEMS BY SYMBOLIC-NUMERIC METHOD
LIN Wang, WU Min, YANG Zhengfeng ,ZENG Zhenbing
Journal of Systems Science and Mathematical Sciences ›› 2012, Vol. 32 ›› Issue (5) : 610-625.
COMPUTING THE VERIFIED LYAPUNOV FUNCTIONS OF HYBRID SYSTEMS BY SYMBOLIC-NUMERIC METHOD
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |