杨靖;杨明(Yang,Ming);陆正毅 一类二阶或三阶多项式微分系统关于二次对合的中心问题和时间可逆性。 (英语) Zbl 1497.93094号 J.系统。科学。复杂。 第4号第35页,1608-1636页(2022).MSC公司:93立方厘米 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,J.Syst。科学。复杂。35,编号4,1608-1636(2022;兹bl 1497.93094) 全文: 内政部
卢卡·格雷科;穆尼尔(Hugues Mounier);玛丽亚·贝克切娃 约束平面系统可行轨迹集的近似特征。 (英语) Zbl 1498.93314号 Automatica公司 144,文章ID 110484,9 p.(2022).MSC公司:93立方厘米 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Greco}等人,Automatica 144,文章ID 110484,9 p.(2022;Zbl 1498.93314) 全文: 内政部 链接
安德鲁·索戈孔;保罗·B·杰克逊。;泰勒·T·约翰逊。 使用流管道和连续不变量验证混合系统中的安全性和持久性。 (英语) Zbl 1468.68135号 J.汽车。推理 63,第4号,1005-1029(2019).MSC公司:60年第68季度 65年第68季度 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人,J.Autom。推理63,No.4,1005--1029(2019;Zbl 1468.68135) 全文: 内政部 链接
瓦莱里·罗曼诺夫斯基。;威尔克·费尔南德斯;唐一雷;田云 广义Riccati系统的线性化和临界周期分岔。 (英语) Zbl 1390.70056号 非线性Dyn。 90,第1期,257-269(2017).MSC公司:70K42型 93B18号机组 70公里50 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Romanovski}等人,《非线性动力学》。90,第1号,257--269(2017;Zbl 1390.70056) 全文: 内政部 arXiv公司
内森·富尔顿;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽 Bellerophon:混合系统的战术定理证明。 (英语) Zbl 1483.68191号 Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日,第八届国际会议,ITP 2017,巴西巴西利亚。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499207-224(2017年)。MSC公司:60年第68季度 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Fulton}等人,Lect。注释计算。科学。10499207-224(2017年;兹bl 1483.68191) 全文: 内政部
奥兰多,朱塞佩 经济学中混沌动力学的离散数学模型:卡尔多的商业周期模型。 (英语) Zbl 07313649号 数学。计算。模拟。 12583-98(2016).MSC公司:91至XX 93至XX PDF格式BibTeX公司 XML格式引用 \textit{G.奥兰多},数学。计算。模拟。125、83——98(2016;Zbl 07313649) 全文: 内政部
斯特凡·米奇;安德烈·普拉泽 ModelPlex:验证的网络物理系统模型的验证运行时验证。 (英语) Zbl 1380.68282号 形式方法系统。设计。 49,编号1-2,33-74(2016).MSC公司:60年第68季度 03B70号 93立方 93立方厘米83 PDF格式BibTeX公司 XML格式引用 \textit{S.Mitsch}和\textit{A.Platzer},《形式方法系统》。设计。49,编号1--2,33-74(2016;Zbl 1380.68282) 全文: 内政部
J.Y.卡明斯基。;Shorten,R。;泽赫布,E。 分数阶系统的精确稳定性测试和稳定化。 (英语) Zbl 1322.93091号 系统。控制信函。 85, 95-99 (2015).MSC公司:93D99型 93立方厘米 34A08号 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Kaminski}等人,系统。控制信函。85、95-99(2015年;Zbl 1322.93091) 全文: 内政部
刘江;詹乃军;赵恒军 多项式动力系统松弛Lyapunov函数的自动发现。 (英语) Zbl 1261.93063号 数学。计算。科学。 6,第4号,395-408(2012).MSC公司:93D20型 13层20 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,数学。计算。科学。6,第4号,395--408(2012;Zbl 1261.93063) 全文: 内政部 arXiv公司
伯纳德·汉森;马奇约夫斯基(Jan M.Maciejowski)。 稳定线性系统L_2问题的构造代数方法。 (英语) Zbl 0875.93281号 Automatica公司 32,第12期,1645-1657(1996).MSC公司:93立方厘米83 93磅10英寸 PDF格式BibTeX公司 XML格式引用 \textit{B.Hanzon}和\textit{J.M.Maciejowski},自动化32,第12期,1645-1657(1996;Zbl 0875.93281) 全文: 内政部