基于符号数值混合计算的混成系统Lyapunov函数构造
COMPUTING THE VERIFIED LYAPUNOV FUNCTIONS OF HYBRID SYSTEMS BY SYMBOLIC-NUMERIC METHOD
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |