安托万·吉拉德;格雷戈·戈斯勒 使用无离散化多分辨率抽象的增量稳定切换系统的安全综合。 (英语) Zbl 1441.93131号 学报信息。 57,编号1-2,245-269(2020).MSC公司:93立方 93亿B50 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}和\textit{G.össler},《学报》第57期,第1--2245--269号(2020年;Zbl 1441.93131) 全文: 内政部 哈尔
亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 连续设备可证明安全数字控制器的自动形式化综合。 (英语) Zbl 1441.93171号 学报信息。 57,编号1-2,223-244(2020).MSC公司:93元62角 93亿B50 93立方厘米 93D20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,《学报》第57期,第1--2223--244号(2020年;Zbl 1441.93171) 全文: 内政部
迪特马尔·伯旺格;阿努普·巴兹尔·马修;玛丽·范登·博加德 分层信息和分布式策略的综合。 (英语) Zbl 1408.91004号 学报信息。 55,第8号,669-701(2018).MSC公司:91A06型 64岁以下 91A43型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{D.Berwanger}等人,Acta Inf.55,No.8669-701(2018;Zbl 1408.91004) 全文: 内政部 arXiv公司
约阿希姆·克莱因;克里斯特尔·拜尔;Klüppelholz,萨沙 大多数通用控制器的组成结构。 (英语) Zbl 1329.68186号 学报信息。 52,编号4-5,443-482(2015). 审核人:Jörg Desel(哈根) MSC公司:68问题85 03B44号 第68季度第60季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.Klein}等人,《学报》第52期,第4--5、443--482号(2015年;Zbl 1329.68186) 全文: 内政部
布洛克,罗德里克;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格(Thomas A.Henzinger)。;乔治·霍夫雷克;芭芭拉·乔布斯特曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 合成鲁棒系统。 (英语) 兹比尔1302.93079 学报信息。 51,编号3-4193-220(2014).MSC公司:93B35型 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,Acta Inf.51,No.3--4,193-220(2014;Zbl 1302.93079) 全文: 内政部
马库斯·拉贝。;斯文·舍韦 CTMDP和连续时间Markov对策中时间有界可达性的有限最优控制。 (英语) Zbl 1242.91016号 学报信息。 48,编号5-6,291-315(2011). 审核人:安娜·贾斯基维茨(Wrocław) MSC公司:91A15型 90立方厘米 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Rabe}和\textit{S.Schewe},《信息学报》第48期,第5--6291--315号(2011年;Zbl 1242.91016) 全文: 内政部 arXiv公司
拉斐尔·维斯涅夫斯基;马丁·劳森 动力系统中不确定性的几何分析。 (英语) Zbl 1136.93014号 学报信息。 43,第7号,501-519(2007).MSC公司:93年2月27日 PDF格式BibTeX公司 XML格式引用 \textit{R.Wisniewski}和\textit{M.Raussen},《学报》第43期,第7期,501--519(2007;Zbl 1136.93014) 全文: 内政部
保罗·塔布阿达 控制系统的符号模型。 (英语) Zbl 1134.93003号 学报信息。 43,第7期,477-500(2007).MSC公司:93A30型 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{P.Tabuada},Acta Inf.43,No.7,477--500(2007;Zbl 1134.93003) 全文: 内政部
尤金·亚萨林;Thao Dang先生;安托万·吉拉德 非线性系统分析的杂交方法。 (英语) Zbl 1134.93026号 学报信息。 43,第7号,451-476(2007).MSC公司:93立方厘米10 93B17号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,《信息学报》第43期,第7期,第451--476页(2007年;Zbl 1134.93026) 全文: 内政部
约瑟夫·班尼斯特(Joseph A.Bannister)。;特里维迪,基索S。 容错分布式系统中的任务分配。 (英语) Zbl 0505.93041号 学报信息。 20, 261-281 (1983).MSC公司:93C20美元 65年第68季度 93B40码 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bannister}和\textit{K.S.Trivedi},《学报年鉴》20,261--281(1983;Zbl 0505.93041) 全文: 内政部