陆俊杰;她,志坤;葛树之·山姆;姜欣 基于多步类李亚普诺夫函数的离散切换系统稳定性分析。 (英语) Zbl 1378.93096号 非线性分析。,混合系统。 27, 44-61 (2018).MSC公司:93D05型 93D20型 03日30分 93C55美元 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}等人,非线性分析。,混合系统。27,44-61(2018年;兹bl 1378.93096) 全文: 内政部
詹乃军;王淑玲;赵恒军 混合系统的形式化建模、分析和验证。 (英语) Zbl 1444.68105号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).MSC公司:60年第68季度 03B70号 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}等人,Lect。注释计算。科学。8050207--281(2013;Zbl 1444.68105) 全文: 内政部