罗莎娜·哈利基;拉玛瓦拉普·斯雷尼瓦斯。 关于计算任意Petri网右闭标记集的上确右闭控制不变子集。 (英语) Zbl 1478.93399号 离散事件动态。系统。 31,第3号,373-405(2021).MSC公司:93元65角 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{R.Khaleghi}和\textit{R.S.Sreenivas},离散事件动力学。系统。31,编号3,373--405(2021;Zbl 1478.93399) 全文: 内政部
伊斯兰,马里兰州Ariful;兰斯·克莱维兰;弗拉维奥·芬顿。;拉杜·格罗苏;保罗·L·琼斯。;斯科特·斯莫尔卡。 心脏交替多参数分岔分析的概率可达性。 (英语) Zbl 1427.92054号 西奥。计算。科学。 765, 158-169 (2019).MSC公司:92 C55 34C23型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{Md.A.Islam}等人,Theor。计算。科学。765158-169(2019年;Zbl 1427.92054) 全文: 内政部
伊娃·M·纳瓦罗·洛佩斯。;卡特,丽贝卡 混合动力系统中的死性和如何反驳活性。 (英语) Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司:65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter},Theor。计算。科学。642,1--23(2016;Zbl 1345.68215) 全文: 内政部
扬尼克·恩克;扬·伦泽 非确定性输入/输出自动机的控制设计。 (英语) Zbl 1403.93130号 欧洲药典控制 21, 1-13 (2015).MSC公司:93元65角 65年第68季度 93个B05 93B15号机组 93B52号 93-04 PDF格式BibTeX公司 XML格式引用 \textit{Y.Nke}和\textit{J.Lunze},《欧洲期刊控制》21,1-13(2015;Zbl 1403.93130) 全文: 内政部
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格(Thomas A.Henzinger)。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 合成鲁棒系统。 (英语) Zbl 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) 全文: 内政部
詹乃军;米拉·卡德巴姆少校 关于分级发展的反应系统。 (英语) Zbl 1197.93080号 Inf.计算。 208,第9期,997-1019(2010).MSC公司:93亿B51 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}和\textit{M.Majster-Cederbaum},Inf.Compute。208,第9号,997--1019(2010;Zbl 1197.93080) 全文: 内政部
安德烈亚斯·鲍尔;苏菲·平奇纳特 (ω)语言对*语言诊断的预后:一个拓扑观点。 (英语) Zbl 1180.93064号 离散事件动态。系统。 第451-470号第19页(2009年).MSC公司:93元65角 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}和\textit{S.Pinchinat},离散事件动态。系统。19,第4号,451--470(2009;Zbl 1180.93064) 全文: 内政部
亚历山德罗·阿巴特;亚历山德罗·迪安诺琴佐;迪贝内代托,玛丽亚·多梅尼卡;Shankar Sastry公司 了解混合控制系统中的死锁和活锁行为。 (英语) Zbl 1166.93304号 非线性分析。,混合系统。 3,编号2,150-162(2009).MSC公司:93A30型 93年10月 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人,《非线性分析》。,混合系统。3,第2号,150--162(2009;Zbl 1166.93304) 全文: 内政部
蒂斯特尔,J.G。 关于被建模为确定性拉宾自动机的系统的控制。 (英语) Zbl 0853.93008号 离散事件动态。系统。 5,第4期,357-381(1995). 审核人:E.De Santis(拉奎拉) MSC公司:93年10月 93个B05 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Thistle},离散事件Dyn。系统。5,第4号,357--381(1995;Zbl 0853.93008) 全文: 内政部