卢卡·本维努蒂;大卫·布雷索林;彼得·柯林斯;阿尔贝托·法拉利;卢卡·杰雷蒂;蒂齐亚诺别墅 用ARIADNE对非线性混合系统进行假设保证验证。 (英文) Zbl 1284.93121号 国际J鲁棒非线性控制 24,第4期,699-724(2014).MSC公司:93立方 93B15号机组 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Benvenuti}等人,《国际鲁棒非线性控制》24,第4期,699--724(2014;Zbl 1284.93121) 全文: 内政部
威特兰特,E。;迪安诺琴佐,A。;G.三都。;桑图奇(F.Santucci)。;医学博士Di Benedetto。;A.J.伊萨克森。;约翰森,K.H。;尼古列斯库,S.-I。;奥拉鲁,S。;塞拉,E。;田纳西州。;美国蒂贝里。 大型系统的无线通风控制:采矿工业案例。 (英文) Zbl 1290.93017号 国际J鲁棒非线性控制 20,第2期,226-251(2010).MSC公司:93甲15 93立方厘米 90B30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Witrant}等人,《国际鲁棒非线性控制》20,No.2,226--251(2010;Zbl 1290.93017) 全文: 内政部 链接