纪尧姆·O·伯杰。;桑卡拉纳拉亚南,斯里拉姆 分段线性系统多面体Lyapunov函数的反例引导计算。 (英语) Zbl 1520.93455号 Automatica公司 155,文章ID 111165,10 p.(2023).MSC公司:93天30分 93二氧化碳 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{G.O.Berger}和\textit{S.Sankaranarayanan},Automatica 155,文章ID 111165,10 p.(2023;Zbl 1520.93455) 全文: 内政部 arXiv公司
路易吉·帕洛波利;丹尼尔·丰塔内利;马可·弗雷戈;马可·罗维里 SARS-CoV-2病毒传播的马尔科夫模型。 (英语) Zbl 1521.92093号 Automatica公司 151,文章ID 110921,13 p.(2023). 审核人:周佳莹(深圳) MSC公司:92天30分 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{L.Palopoli}等人,Automatica 151,文章ID 110921,13 p.(2023;Zbl 1521.92093) 全文: 内政部 arXiv公司
阿波法兹·拉瓦伊;萨代赫·苏贾尼;亚历山德罗·阿巴特;马吉德·扎马尼 随机混合系统的自动验证和综合:综述。 (英语) Zbl 1504.93389号 Automatica公司 146,文章ID 110617,40 p.(2022).MSC公司:93E12号机组 93立方 93C55美元 90立方厘米 93-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,Automatica 146,文章ID 110617,40 p.(2022;Zbl 1504.93389) 全文: 内政部 arXiv公司
阿梅内·内贾蒂;萨代赫·苏贾尼;马吉德·扎马尼 连续随机混杂系统控制障碍函数的合成构造。 (英语) Zbl 1498.93673号 Automatica公司 145,文章ID 110513,11 p.(2022).MSC公司:93天30分 93E03型 93甲15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Nejati}等人,Automatica 145,文章ID 110513,11 p.(2022;Zbl 1498.93673) 全文: 内政部 arXiv公司
费尔迪耶,Cees Ferdinand;Kochdumper,尼克拉斯;马蒂亚斯·阿尔霍夫;曼纽尔·马佐 STL规范下非线性连续时间系统闭式采样控制器的形式化综合。 (英语) Zbl 1485.93338号 Automatica公司 139,文章ID 110184,13 p.(2022).MSC公司:93C57 93立方厘米 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Verdier}等人,Automatica 139,文章ID 110184,13 p.(2022;Zbl 1485.93338) 全文: 内政部 arXiv公司
吕子良;徐向茹;洪一光 互联系统安全验证的小增益定理。 (英语) 兹比尔1485.93504 Automatica公司 139,文章ID 110178,6 p.(2022).MSC公司:93D25号 93磅70 93立方35 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lyu}等人,Automatica 139,文章ID 110178,6 p.(2022;Zbl 1485.93504) 全文: 内政部 arXiv公司
阿里·萨拉马蒂;萨代赫·苏贾尼;马吉德·扎马尼 具有信号时序逻辑约束的随机线性系统的数据驱动验证。 (英语) 兹比尔1478.93672 Automatica公司 131,文章ID 109781,10 p.(2021).MSC公司:93E03型 93二氧化碳 03B44号 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{A.Salamati}等人,Automatica 131,文章ID 109781,10 p.(2021;Zbl 1478.93672) 全文: 内政部 链接
雷戈,布伦纳S。;约瑟夫·斯科特。;雷蒙多,大卫·M·。;吉勒赫梅·拉夫(Guilherme V.Raffo)。 基于约束区域图的非线性不变量离散系统的集值状态估计。 (英语) Zbl 1478.93126号 Automatica公司 129,文章ID 109638,12 p.(2021).MSC公司:93B30型 93C55美元 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Rego}等人,Automatica 129,文章ID 109638,12 p.(2021;Zbl 1478.93126) 全文: 内政部
马尼什·戈亚尔;帕拉萨拉·斯里达尔·达吉拉拉 提取线性混杂系统中安全违规引起的反例。 (英语) Zbl 1442.93020号 Automatica公司 117,文章ID 109005,12 p.(2020).MSC公司:93立方 93亿B55 93二氧化碳 90C05(二氧化碳) 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Goyal}和\textit{P.S.Duggirala},Automatica 117,文章ID 109005,12 P.(2020;Zbl 1442.93020) 全文: 内政部
雷戈,布伦纳S。;吉勒赫梅·拉夫(Guilherme V.Raffo)。;约瑟夫·斯科特。;雷蒙多,大卫·M·。 非线性离散时间系统集值状态估计的基于约束区域图的保证方法。 (英语) Zbl 1430.93207号 Automatica公司 111,文章ID 108614,14 p.(2020).MSC公司:93E10型 93个B03 93C55美元 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{B.S.Rego}等人,Automatica 111,文章ID 108614,14 p.(2020;Zbl 1430.93207) 全文: 内政部 arXiv公司
苏菲·海瑟特;保罗·M·J·范登·霍夫(Paul M.J.van den Hof)。;亚历山德罗·阿巴特 通过贝叶斯识别和可达性分析进行数据驱动和基于模型的验证。 (英语) Zbl 1371.93187号 Automatica公司 79, 115-126 (2017).MSC公司:93E03型 2015年1月62日 93个B03 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{S.Haesaert}等人,Automatica 79,115-126(2017;Zbl 1371.93187) 全文: 内政部 链接
阿黛尔·贾巴拉;亚历山大·查普托;米歇尔·基弗;奥利维尔·布瓦索 利用区间分析构造动力系统的参数障碍函数。 (英语) Zbl 1357.93046号 Automatica公司 78, 287-296 (2017).MSC公司:93立方厘米 93立方厘米 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Djaballah}等人,Automatica 78,287--296(2017;Zbl 1357.93046) 全文: 内政部 arXiv公司 哈尔
王伟林 监控传感器激活的在线最小化。 (英语) Zbl 1372.93006号 Automatica公司 73, 8-14 (2016).MSC公司:93甲13 93元65角 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang},Automatica自动化73,8--14(2016;Zbl 1372.93006) 全文: 内政部
丁旭初;米尔恰·拉扎尔;卡林·贝尔塔 有限确定性系统的LTL滚动时域控制。 (英语) Zbl 1364.49052号 Automatica公司 50,第2期,399-408(2014).MSC公司:49N90型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{X.Ding}等人,Automatica 50,No.2,399--408(2014;Zbl 1364.49052) 全文: 内政部 arXiv公司 链接
本·萨西,穆罕默德·阿明;安托万·吉拉德 使用线性规划计算多项式动力系统的多面体不变量。 (英语) Zbl 1256.93040号 Automatica公司 48,第12期,3114-3121(2012).MSC公司:93B40码 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{M.A.Ben Sassi}和\textit{A.Girard},Automatica 48,No.12,3114-3121(2012;Zbl 1256.93040) 全文: 内政部 arXiv公司
乔治·帕帕斯。 双相似线性系统。 (英语) Zbl 1045.93033号 Automatica公司 39,第12期,2035-2047(2003).MSC公司:93元65角 93个B03 93B11号机组 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Pappas},Automatica 39,第12期,2035--2047(2003;Zbl 1045.93033) 全文: 内政部