基于符号数值混合计算的混成系统Lyapunov函数构造
기우부호수치혼합계산적혼성계통Lyapunov함수구조
COMPUTING THE VERIFIED LYAPUNOV FUNCTIONS OF HYBRID SYSTEMS BY SYMBOLIC-NUMERIC METHOD
저자의 최근 논문