法兰克·德雷维斯;理查德·莫尔比茨;福格勒、海科 混合树自动机和构成树自动机的屈服定理。 (英语) Zbl 07755513号 西奥。计算。科学。 979,文章ID 114185,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人,Theor。计算。科学。979,文章ID 114185,17 p.(2023;Zbl 07755513) 全文: 内政部
安德鲁·伯班克斯;Marianna Cerasuolo公司;罗伯托·隆卡;利奥·特纳 PCa动力学的混合时空模型和最佳治疗策略的见解。 (英语) Zbl 1506.92047号 数学。Biosci公司。 355,文章ID 108940,17 p.(2023).MSC公司:92 C50 37B15号机组 92C45型 91年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Burbanks}等人,数学。Biosci公司。355,文章ID 108940,17 p.(2023;Zbl 1506.92047) 全文: 内政部
董友恒;耿赵;马英杰;潘,周;吴锐 基于伪随机耦合映射格和混合元胞自动机的图像加密新方案。 (英语) Zbl 07800150号 信息科学。 593, 121-154 (2022).MSC公司:94A60型 94A08型 68平方英寸10 68第25页 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{Y.Dong}等人,《信息科学》。593121--154(2022;Zbl 07800150) 全文: 内政部
段立斌;刘星;徐伟;徐东凯;石磊;蒋浩斌 用于侧面碰撞下白车身轻量化设计的基于厚度的子域混合细胞自动机算法。 (英语) Zbl 1525.90450号 申请。数学。建模 102, 170-193 (2022).MSC公司:90 C90 第74页第10页 74P05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Duan}等人,应用。数学。模型102,170--193(2022;Zbl 1525.90450) 全文: 内政部
乔治·阿赞;安托万·吉拉德;卢卡·格雷科;保罗·梅森 混洗切换线性系统的稳定性:联合谱半径方法。 (英语) Zbl 1497.93159号 Automatica公司 143,文章ID 110434,13 p.(2022).MSC公司:93D05型 93立方 93C55美元 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{G.Aazan}等人,Automatica 143,文章ID 110434,13 p.(2022;Zbl 1497.93159) 全文: 内政部
君士坦丁·赫拉克利乌斯;克里斯托杜洛斯·凯利里斯;Christos G.Panayiotou。;马里奥斯·波利卡普(Marios M.Polycarpou)。 一类非线性不确定混杂系统的故障诊断。 (英语) Zbl 1485.93274号 非线性分析。,混合系统。 44,文章ID 101137,21 p.(2022).MSC公司:93立方 93E11号机组 93立方厘米 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Heracleous}等人,非线性分析。,混合系统。44,文章ID 101137,21 p.(2022;Zbl 1485.93274) 全文: 内政部
史蒂芬妮·温克勒;安德烈亚斯·科纳;费利克斯·布雷特内克 人工混合动力系统建模框架。 (英语) Zbl 1478.93303号 非线性分析。,混合系统。 42,文章ID 101072,17 p.(2021).MSC公司:93立方 93磅70 65年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{S.Winkler}等人,《非线性分析》。,混合系统。42,文章ID 101072,17 p.(2021;Zbl 1478.93303) 全文: 内政部
弗拉基米尔·辛亚科夫;安托万·吉拉德 根据离散时间混合自动机给出的规范进行形式化控制器综合。 (英语) Zbl 1478.93189号 Automatica公司 131,文章ID 109768,9 p.(2021).MSC公司:93亿B50 93C55美元 93立方 65年第68季度 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{V.Sinyakov}和\textit{A.Girard},Automatica 131,文章ID 109768,9 p.(2021;Zbl 1478.93189) 全文: 内政部 哈尔
马哈茂德·本特里奥;保罗·巴拉里尼;保罗·亨里·库内德 Automaton-ABC:估计参数马尔可夫总体模型时空特性概率的统计方法。 (英语) Zbl 1514.68121号 西奥。计算。科学。 893, 191-219 (2021).MSC公司:60年第68季度 62亿02 2005年6月2日 2010年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bentriou}等人,Theor。计算。科学。893191-219(2021年;Zbl 1514.68121) 全文: 内政部
贾里德·卡尔伯特森;保罗·古斯塔夫森;丹尼尔·科迪切克(Daniel E.Koditschek)。;彼得·斯蒂勒(Peter F.Stiller)。 混合系统的正式组成。 (英语) Zbl 1448.18005号 理论应用。类别。 35, 1634-1682 (2020). 审核人:Hirokazu Nishimura(筑波) MSC公司:18B20型 18N10型 PDF格式BibTeX公司 XML格式引用 \textit{J.Culbertson}等人,理论应用。类别。351634-1682(2020年;Zbl 1448.18005) 全文: arXiv公司 链接
阿维纳什·马利克;帕塔·鲁普 一种用于混合自动机的动态量化状态系统执行框架。 (英语) Zbl 1441.93104号 非线性分析。,混合系统。 36,文章ID 100870,18 p.(2020).MSC公司:93磅70 93C85号 93元65角 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malik}和\textit{P.Roop},非线性分析。,混合系统。36,文章ID 100870,18 p.(2020;Zbl 1441.93104) 全文: 内政部
马格纳斯·佩宁 有限时滞切换问题的一个双尺度格式。 (英语) Zbl 1430.93132号 Automatica公司 112,文章ID 108709,第9页(2020).MSC公司:93立方厘米 93立方 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Perninge},Automatica 112,文章ID 108709,9 p.(2020;Zbl 1430.93132) 全文: 内政部
张志鹏;夏成义;陈增强 关于非确定性有限自动机通过静态输出反馈的镇定问题。 (英语) Zbl 1433.93111号 申请。数学。计算。 365,文章ID 124687,11 p.(2020).MSC公司:93D15号 65年第68季度 93C55美元 93元65角 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人,应用。数学。计算。365,文章ID 124687,11 p.(2020;Zbl 1433.93111) 全文: 内政部
法提赫·特米兹;费哈特·萨赫;哈桑·阿金 有限域上菱形和交叉规则混合的二维细胞自动机家族的可逆性及其在视觉密码学中的应用。 (英语) Zbl 1467.68125号 J.细胞。自动。 14,编号3-4,241-262(2019).MSC公司:68问题80 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.Temiz}等人,J.Cell。自动。14,编号3--4,241--262(2019;Zbl 1467.68125) 全文: 链接
窦文辉;李海涛;Alsaadi,Fuad E。 概率有限自动机的可控性、可达性和稳定性的半张量积方法。 (英语) Zbl 1435.93157号 数学。问题。工程师。 2019年,文章ID 8021750,第7页(2019年).MSC公司:93E03型 65年第68季度 93个B05 93D15号 93立方 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{W.Dou}等人,数学。问题。2019年工程,文章ID 8021750,第7页(2019年;Zbl 1435.93157) 全文: 内政部
约尔·瓦克宁;阿默里·波利;乔昂·苏萨·平托;詹姆斯·沃雷尔 关于矩阵指数半群成员的可判定性。 (英语) Zbl 1481.20197号 美国临床医学杂志 66,第3条,第15条,第24页(2019年).MSC公司:2005年5月20日 20平方米 03天35分 15甲16 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}等人,J.ACM 66,第3号,第15条,第24页(2019年;Zbl 1481.20197) 全文: 内政部
贝诺·莱加特;巴勃罗·帕里洛。;拉斐尔·荣格斯。 交换系统计算复杂性的基于熵的界。 (英语) Zbl 1482.93538号 IEEE传输。自动。控制 64,第11号,4623-4628(2019).MSC公司:93天30分 90C60型 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Legat}等人,IEEE Trans。自动。对照64,编号114623-4628(2019;兹bl 1482.93538) 全文: 内政部 arXiv公司
安德鲁·索戈孔;保罗·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) 全文: 内政部 链接
安德烈·琴科,德米特里·康斯坦丁诺维奇;安德烈·琴科(Andreĭchenko),康斯坦丁·彼得罗维奇(Konstantin Petrovich);亚历山德罗夫娜·巴特拉耶娃 混合自动化扩展模型。 (英语) Zbl 1418.68113号 伊兹夫。萨拉特。Univ.(N.S.),Ser。马特·梅赫。通知。 19,第1期,94-104(2019).MSC公司:65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{D.K.Andreĭchenko}等人,Izv。萨拉特。Univ.(N.S.),Ser。马特·梅赫。通知。19,第1号,94-104(2019;Zbl 1418.68113) 全文: 内政部 MNR公司
亚历克谢·日拉博克;阿列克谢·舒姆斯基 非线性混合系统的故障诊断。 (英语) Zbl 1416.93096号 国际期刊申请。数学。计算。科学。 28,第4期,635-648(2019).MSC公司:93立方 93立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Zhirabok}和\textit{A.Shumsky},国际期刊应用。数学。计算。科学。28,第4号,635--648(2019;Zbl 1416.93096) 全文: 内政部
马修·菲利普;尼古拉·阿萨纳索普洛斯;大卫·安吉丽;拉斐尔·荣格斯。 关于路径完备李亚普诺夫函数:几何和比较。 (英语) Zbl 1482.93442号 IEEE传输。自动。控制 64,第5期,1947-1957(2019).MSC公司:93D05型 65年第68季度 90 C90 93立方 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Philippe}等人,IEEE Trans。自动。对照64,编号5,1947年-1957年(2019年;兹bl 1482.93442) 全文: 内政部 arXiv公司
杰里米·斯普洛斯顿 有限互模拟概率混合自动机的验证与控制。 (英语) 兹比尔1417.68105 J.日志。阿尔盖布。方法计划。 103, 46-61 (2019).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},J.Log。阿尔盖布。方法程序。103、46-61(2019年;Zbl 1417.68105) 全文: 内政部 链接
拉斐尔·戈贝尔 混合时域上最优控制的存在性。 (英语) Zbl 1408.93068号 非线性分析。,混合系统。 3153-165(2019).MSC公司:93立方 93立方厘米 49甲15 49公里15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Goebel},非线性分析。,混合系统。31153-165(2019年;Zbl 1408.93068) 全文: 内政部
纳瓦罗-洛佩斯。;医学博士O'Toole。 多刚体机械系统混合自动机的自动生成及其在安全特性伪造中的应用。 (英语) Zbl 1485.93277号 数学。计算。模型。动态。系统。 24,第1号,44-75(2018).MSC公司:93立方 2005年第70季度 92-08 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{M.D.O'Toole},数学。计算。模型。动态。系统。24,第1号,44--75(2018;Zbl 1485.93277) 全文: 内政部
乌古斯,S。;阿卡尔,E。;雷杰波夫,S。 具有周期边界条件的三状态混合元胞自动机。 (英语) Zbl 07148997号 马来人。数学杂志。科学。 12,第3号,305-321(2018).MSC公司:68倍 93至XX PDF格式BibTeX公司 XML格式引用 \textit{S.Uguz}等人,马来人。数学杂志。科学。12,第3号,305-321(2018;Zbl 07148997) 全文: 链接
李,鸭绿;窦文辉;李海涛;刘欣 有限自动机的可控性、可达性和稳定性:可控性矩阵方法。 (英语) Zbl 1427.93146号 数学。问题。工程师。 2018年,文章ID 6719319,6 p.(2018).MSC公司:93元65角 65年第68季度 93个B05 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,数学。问题。Eng.2018,文章ID 6719319,第6页(2018;Zbl 1427.93146) 全文: 内政部
郭玉奇 基于动态模型的城市快速路切换比例积分状态观测器设计与交通密度估计。 (英语) Zbl 1403.93050号 欧洲药典控制 44, 103-113 (2018).MSC公司:93个B07 90B20型 93立方 93二氧化碳 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guo},欧洲药典对照44,103–113(2018;兹bl 1403.93050) 全文: 内政部
穆罕默德·赫杰里;亚历山德罗·朱阿;侯赛因·莫赫塔里 通过基于自动机的离散时间混合自动机实现,研究混合逻辑动力系统的复杂性和动力学特性。 (英语) Zbl 1402.93144号 国际J鲁棒非线性控制 28,第16号,4713-4746(2018).MSC公司:93立方 93C55美元 93B11号机组 65年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Hejri}等人,《国际鲁棒非线性控制》28,第16期,4713-4746(2018;Zbl 1402.93144) 全文: 内政部
斯科贝列夫,V.V。;斯科贝列夫,V.G。 混合自动机分析的一些问题。 (英语。俄文原件) Zbl 1445.68127号 赛博。系统。分析。 54,第4期,517-526(2018); 翻译自Kibern。修女。分析。2018年第4期,第3-15页(2018年)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Skobelev}和\textit{V.G.Skobelev},Cybern。系统。分析。54,No.4,517--526(2018;Zbl 1445.68127);翻译自Kibern。修女。分析。2018年第4号、第3--15号(2018) 全文: 内政部
米尔科·菲亚奇尼;马克·荣格斯;安托万·吉拉德 语言约束离散时间切换线性系统的稳定与控制Lyapunov函数。 (英语) Zbl 1400.93246号 Automatica公司 93, 64-74 (2018).MSC公司:93D05型 93C55美元 93立方 93二氧化碳 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiacchini}等人,Automatica 93,64--74(2018;Zbl 1400.93246) 全文: 内政部 哈尔
露西娅·纳斯蒂;保罗·米拉佐 社交网络成瘾的混合自动机模型。 (英语) Zbl 1418.91431号 J.日志。阿尔盖布。方法计划。 100, 215-229 (2018).MSC公司:91天30分 65年第68季度 05C90年 92B99型 91A90 PDF格式BibTeX公司 XML格式引用 \textit{L.Nasti}和\textit{P.Milazzo},J.Log。阿尔盖布。方法程序。100215--229(2018;Zbl 1418.91431) 全文: 内政部
尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 混合系统的安全和鲁棒可达性分析。 (英语) Zbl 1400.68140号 西奥。计算。科学。 747, 75-99 (2018).MSC公司:68问题85 06B35号 18B20型 93B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Moggi}等人,Theor。计算。科学。747,75-99(2018;Zbl 1400.68140) 全文: 内政部 arXiv公司
内维斯、雷纳托;路易斯·巴博萨。 混合自动机的语言和模型:从代数的角度来看。 (英语) Zbl 1400.68112号 西奥。计算。科学。 744, 113-142 (2018).MSC公司:65年第68季度 18B20型 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Neves}和\textit{L.S.Barbosa},Theor。计算。科学。744113-142(2018年;兹比尔1400.68112) 全文: 内政部 链接
贾法尔·阿克洪多夫;彼得·特罗格;马蒂亚斯·沃纳 可组合混合自动机中的叠加原理。 (英语) Zbl 1386.68082号 芬丹。通知。 157,第4号,321-339(2018).MSC公司:65年第68季度 60年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Akhundov}等人,Fundam。通知。157,第4号,321--339(2018;Zbl 1386.68082) 全文: 内政部
张慧;吴金钊 MPSoC数据动态的形式验证和定量度量。 (英语) Zbl 1382.68145号 正式Asp。计算。 30,第2期,219-237(2018).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}和\textit{J.Wu},正式Asp。计算。30,第2号,219--237(2018;Zbl 1382.68145) 全文: 内政部
佐赫里,萨米拉;萨阿迪、斯马哈内;莫斯塔法·拉奇克 使用混合细胞自动机模型模拟肿瘤对免疫治疗的反应。 (英语) 兹比尔1397.92383 国际期刊申请。计算。数学。 3,第2期,1077-1101(2017).MSC公司:92 C50 92C40型 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{S.Zouhri}等人,国际期刊应用。计算。数学。3,第2号,1077--1101(2017;Zbl 1397.92383) 全文: 内政部
莱蒂切夫斯基(A.A.Letichevsky)。;O.O.莱提切夫斯基。;斯科贝列夫,V.G。;V.A.沃尔科夫。 网络物理系统。 (英语。俄文原件) Zbl 1381.93009号 赛博。系统。分析。 53,第6号,821-834(2017); 翻译自Kibern。修女。分析。2017年第6期,第3-19页(2017年)。MSC公司:93A10号 70年第68季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Letichevsky}等人,Cybern。系统。分析。53,第6号,821--834(2017;Zbl 1381.93009);翻译自Kibern。修女。分析。2017年第6号、第3--19号(2017) 全文: 内政部
帕特里夏·鲍耶;尼古拉斯·马基;尼古拉斯·佩林;菲利普·施勒胡贝尔(Philipp Schlehuber-Caissier) 使用控制不变量对切换动态系统进行时间自动机抽象。 (英语) Zbl 1425.68181号 实时系统。 53,第3号,327-353(2017).MSC公司:65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《实时系统》。53,第3号,327--353(2017;Zbl 1425.68181) 全文: 内政部 哈尔
马西莫·贝内雷塞蒂;马可·费拉 跟踪线性混合系统中的平滑轨迹。 (英语) Zbl 1381.93019号 Inf.计算。 257, 114-138 (2017).MSC公司:93个B03 93二氧化碳 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{M.Faella},Inf.Compute。257114--138(2017;Zbl 1381.93019) 全文: 内政部
Lee,Joohyng先生;尼基尔·罗尼;孟云松 用动作语言模理论表示混合自动机。 (英语) Zbl 1422.68154号 理论与实践。日志。程序。 17,编号5-6,924-941(2017).MSC公司:65年第68季度 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}等人,《理论与实践》。日志。程序。17,编号5--6924--941(2017;Zbl 1422.68154) 全文: 内政部 arXiv公司
陈波;陈芳月;杰纳罗·J·马丁内斯。 带有记忆规则的混合细胞自动机中的滑翔机碰撞(43,74)。 (英语) 兹比尔1370.37024 国际分叉混沌应用杂志。科学。工程师。 27,第6号,文章ID 1750082,32 p.(2017).MSC公司:37B15号机组 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{B.Chen}等人,国际分叉混沌应用。科学。Eng.27,No.6,文章ID 1750082,32 p.(2017;Zbl 1370.37024) 全文: 内政部
姚丽红;李俊敏 基于有限状态机和MDADT的一类非线性混杂系统的输入输出有限时间镇定。 (英语) Zbl 1367.93606号 J.富兰克林研究所。 354,第9号,3797-3812(2017).MSC公司:93D25号 93立方厘米 68问题80 93D15号 PDF格式BibTeX公司 XML格式引用 \textit{L.Yao}和textit{J.Li},J.Franklin Inst.354,No.9,3797--3812(2017;Zbl 1367.93606) 全文: 内政部
莫尼克·奇巴;亚伦·塔穆拉·萨托 基于分形模型的形态发生模型化。 (英语) Zbl 1359.93036号 离散连续。动态。系统。,序列号。B 22,第1期,29-58(2017).MSC公司:93A30型 93立方 92秒20 93个B05 93立方厘米 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Chyba}和\textit{A.Tamura-Sato},离散Contin。动态。系统。,序列号。B 22,编号1,29-58(2017;Zbl 1359.93036) 全文: 内政部
托尔比,B。;Tebbikh,H。;H·阿拉。 容错连续流系统建模。 (英语) Zbl 1358.93117号 国际期刊系统。科学。,普林克。申请。系统。集成。 48,第1期,107-117(2017).MSC公司:93元65角 93A30型 93B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Tolbi}等人,国际期刊系统。科学。,普林克。申请。系统。集成。48,第1号,107--117(2017;Zbl 1358.93117) 全文: 内政部 哈尔
马修·菲利普;Millerioux,吉列;拉斐尔·荣格斯。 确定约束切换系统的有界性和死区稳定性。 (英语) Zbl 1351.93124号 非线性分析。,混合系统。 23, 287-299 (2017).MSC公司:93D20型 93立方 93C55美元 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{M.Philippe}等人,《非线性分析》。,混合系统。23287--299(2017年;Zbl 1351.93124) 全文: 内政部 arXiv公司
托马斯·亨辛格(Thomas A.Henzinger)。;奥托普,简 离散和混合系统的模型测量。 (英语) 兹比尔1401.68198 非线性分析。,混合系统。 23, 166-190 (2017).MSC公司:60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop},非线性分析。,混合系统。23166-190(2017年;兹比尔1401.68198) 全文: 内政部
陈波;陈芳月;关俊彪;杰纳罗·J·马丁内斯。 混合细胞自动机的块变换。 (英语) Zbl 1463.37005号 J.应用。分析。计算。 6,第4期,1164-1179(2016).MSC公司:37B15号机组 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Chen}等人,J.Appl。分析。计算。6,第4号,1164--1179(2016;Zbl 1463.37005) 全文: 内政部
陈波;陈芳月;关俊彪;何庆斌 混合细胞自动机规则168和133中的滑翔机碰撞。 (英语) Zbl 1432.37024号 J.细胞。自动。 11,第2-3号,167-194(2016).MSC公司:37B15号机组 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{B.Chen}等人,J.Cell。自动。11、编号2--3167-194(2016;Zbl 1432.37024) 全文: 链接
乔治·切·西拉库利斯。 混合DNA细胞自动机在伪随机数生成中的并行应用。 (英语) Zbl 1432.68294号 J.细胞。自动。 11,第1期,63-89(2016).MSC公司:68问题80 65立方厘米 2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ch.Sirakoulis},J.细胞。自动。11,第1号,63--89(2016;Zbl 1432.68294) 全文: 链接
安东尼奥·法维拉·孔特雷拉斯;弗朗西斯科·贝特拉恩·卡巴贾尔;亚历杭德罗·皮尼翁;安吉洛·雷蒙迪 一类混杂系统的极限环分析。 (英语) Zbl 1400.34043号 数学。问题。工程师。 2016年,文章ID 2981952,14 p.(2016).MSC公司:34二氧化碳 34A38型 93C40型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Favela-Contreras}等人,《数学》。问题。Eng.2016,文章ID 2981952,14 p.(2016;Zbl 1400.34043) 全文: 内政部
梅尔特·巴什图阿;米哈利·彼得雷茨基;拉斐尔·维斯涅夫斯基;约翰·莱思 线性切换系统的精细选择模型简化。 (英语) Zbl 1359.93104号 IEEE传输。自动。控制 61,第11号,3422-3437(2016).MSC公司:93B15号机组 65年第68季度 93B11号机组 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Baštu}等人,IEEE Trans。自动。控制61,No.11,3422--3437(2016;Zbl 1359.93104) 全文: 内政部
张奎泽;张丽君;苏荣 布尔控制网络可重构性的加权对图表示。 (英语) Zbl 1350.93048号 SIAM J.控制优化。 54,第6号,3040-3060(2016).MSC公司:93立方 65年第68季度 94C15号机组 92B99型 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{K.Zhang}等人,SIAM J.控制优化。54,第6号,3040--3060(2016;Zbl 1350.93048) 全文: 内政部 arXiv公司 链接
保罗·C·贝尔。;陈尚;丽莎·杰克逊 关于受限递阶混合系统问题的可判定性和复杂性。 (英语) Zbl 1353.68158号 西奥。计算。科学。 652,47-63(2016).MSC公司:65年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Bell}等人,Theor。计算。科学。652,47-63(2016;Zbl 1353.68158) 全文: 内政部 链接
马修·菲利普;雷·埃西克;盖尔·杜勒鲁(Geir E.Dullerud)。;拉斐尔·荣格斯。 具有约束切换序列的离散切换系统的稳定性。 (英语) Zbl 1344.93088号 Automatica公司 72, 242-250 (2016).MSC公司:93D99型 93B60型 93C55美元 93二氧化碳 93立方 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Philippe}等人,Automatica 72,242--250(2016;Zbl 1344.93088) 全文: 内政部 arXiv公司
伊娃·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) 全文: 内政部
维多利亚州桑兹;阿方索·乌尔基亚;阿尔贝托·莱瓦 细胞自动库2:改进Modelica中对细胞自动机建模的支持。 (英语) Zbl 1336.68173号 数学。计算。模型。动态。系统。 第3244-264号第22页(2016年).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{V.Sanz}等人,《数学》。计算。模型。动态。系统。22,第3号,244--264(2016;Zbl 1336.68173) 全文: 内政部
卢卡·德·西科;朱塞佩·科法诺;萨维里奥·马斯科洛 Akamai自适应流控制系统的混合模型。 (英语) Zbl 1335.68009号 非线性分析。,混合系统。 21, 139-154 (2016).MSC公司:68英里11 65年第68季度 93C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.De Cicco}等人,《非线性分析》。,混合系统。21139--154(2016;Zbl 1335.68009) 全文: 内政部
米查尔·科内奇;瓦利德·塔哈;Ferenc A.Bartha。;简·杜拉茨;亚当·杜拉茨;亚伦·D·埃姆斯。 封闭混合自动机在Zeno点前后的行为。 (英语) Zbl 1336.93085号 非线性分析。,混合系统。 20, 1-20 (2016).MSC公司:93立方 93B40码 37纳米35 PDF格式BibTeX公司 XML格式引用 \textit{M.Konečn}等人,《非线性分析》。,混合系统。20,1--20(2016;Zbl 1336.93085) 全文: 内政部
公园,Seong-Jin;Joerg Raisch先生 基于(l)-完全近似的部分观测混合系统的监督控制。 (英语) Zbl 1360.93435号 IEEE传输。自动。控制 60,第5期,1404-1409(2015).MSC公司:93元65角 93立方 65年第68季度 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{S.-J.Park}和\textit{J.Raisch},IEEE Trans。自动。控制60,No.5,1404--1409(2015;Zbl 1360.93435) 全文: 内政部
帕维特拉·普拉巴卡;帕拉萨拉·斯里达尔·达吉拉拉;萨扬·密特拉;马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 (英语) Zbl 1341.68109号 形式方法系统。设计。 46,第2期,105-134(2015).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,《形式方法系统》。设计。46,No.2,105--134(2015;Zbl 1341.68109) 全文: 内政部
Kuniaki Tamura 混合微积分的一个小模型定理。 (英语) Zbl 1336.03026号 J.日志。计算。 25,第2期,405-441(2015).MSC公司:03B45 03B70号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Tamura},J.Log。计算。25,第2号,405--441(2015;Zbl 1336.03026) 全文: 内政部
李绿洲;冯、袁 量子马尔可夫链:混合系统的描述,等价性的可判定性,线性时间特性的模型检验。 (英语) Zbl 1329.68119号 Inf.计算。 244, 229-244 (2015).MSC公司:2012年第68季度 2005年第68季度 60年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和\textit{Y.Feng},Inf.Compute。244、229--244(2015;Zbl 1329.68119) 全文: 内政部 arXiv公司
李绿洲;冯、袁 关于量子有限自动机的混合模型。 (英语) 兹比尔1323.68273 J.计算。系统。科学。 81,第7期,1144-1158(2015). 审核人:安德烈亚斯·维切特(萨尔沃港) MSC公司:2005年第68季度 65年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和textit{Y.Feng},J.Compute。系统。科学。81,第7号,1144--1158(2015;Zbl 1323.68273) 全文: 内政部 arXiv公司
哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 参数化多奇异混合Petri网:形式化定义和分析技术。 (英语) Zbl 1309.68140号 Inf.计算。 241, 321-348 (2015).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Inf.Compute。241、321--348(2015;Zbl 1309.68140) 全文: 内政部
帕维特拉·普拉巴卡;弗拉基米罗;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 一类可判定的平面线性混合系统。 (英语) 兹伯利1318.68112 西奥。计算。科学。 574, 1-17 (2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人,Theor。计算。科学。574,1-17(2015;Zbl 1318.68112) 全文: 内政部
小林,小一;Jun-Ichi Imura;平口松岛 直接粒度约束系统的模型预测控制。 (英语) Zbl 1305.93071号 国际J鲁棒非线性控制 25,第1期,142-162(2015).MSC公司:93B40码 94C15号机组 93立方厘米 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{K.Kobayashi}等人,《国际鲁棒非线性控制》25,第1期,142--162(2015;Zbl 1305.93071) 全文: 内政部
桑迪普·卡马卡;迪潘维塔·罗伊·乔杜里 使用细胞自动机的泄漏压缩及其在扫描攻击中的应用。 (英语) Zbl 1338.94075号 J.细胞。自动。 9,编号5-6,417-436(2014).MSC公司:94A60型 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{S.Karmakar}和\textit{D.R.Chowdhury},J.Cell。自动。9,编号5-61417-436(2014年;兹bl 1338.94075) 全文: 链接
博尔塔科夫斯基,A.S。;科诺瓦洛娃,A.A。 多瞬时切换情况下最优离散自动机系统的综合。 (英语。俄文原件) Zbl 1307.93249号 J.计算。系统。科学。国际。 53,第5期,656-688(2014); 翻译自Izv。罗斯。阿卡德。特奥·诺克。修女。向上。2014年,第5期,38-70(2014)。MSC公司:93元65角 93亿B50 93立方 68问题80 49N90型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bortakovskii}和\textit{A.A.Konovalova},J.Comput。系统。科学。国际53,第5号,656--688(2014;Zbl 1307.93249);翻译自Izv。罗斯。阿卡德。特奥·诺克。修女。向上。2014年第5期,第38-70号(2014) 全文: 内政部
亚里士多德,安德烈亚斯·C。;理查德·杜勒特 随机增长模型中的手指。 (英语) Zbl 1322.60203号 实验数学。 23,第4期,465-474(2014).MSC公司:60K35型 35K57型 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Aristotelous}和\textit{R.Durrett},实验数学。23,第4号,465--474(2014;Zbl 1322.60203) 全文: 内政部 链接
谢丁宝;卜、雷;赵建华;李宣东 线性混合自动机的SAT-LP-IIS联合定向路径有界可达性分析。 (英语) Zbl 1317.68126号 形式方法系统。设计。 45,第1期,42-62(2014).MSC公司:60年第68季度 65年第68季度 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{D.Xie}等人,《形式方法系统》。设计。45,第1号,42--62(2014;Zbl 1317.68126) 全文: 内政部
彭,燕;李维良;夏浩 线性混合自动机的非线性广义最小方差控制。 (中文。英文摘要) Zbl 1313.93098号 控制拒绝。 29,第2期,201-207(2014).MSC公司:93立方 93立方厘米 93C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Pang}等人,《控制拒绝》。29,第2号,201--207(2014;Zbl 1313.93098) 全文: 内政部
亚里士多德,安德烈亚斯·C。;理查德·杜勒特 化学进化游戏。 (英语) Zbl 1296.91028号 西奥。大众。生物。 93, 1-13 (2014).MSC公司:91A22型 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Aristotelous}和\textit{R.Durrett},Theor。大众。生物93,1-13(2014;Zbl 1296.91028) 全文: 内政部 链接
阿米尔·阿里·艾哈迈迪;拉斐尔·荣格斯。;巴勃罗·帕里洛。;马尔达维吉·鲁兹贝哈尼 联合谱半径和路径完备图Lyapunov函数。 (英语) Zbl 1292.93093号 SIAM J.控制优化。 52,第1期,687-717(2014).MSC公司:93D05型 93B60型 93立方 2010年第65季度 37C75号 65年第68季度 90C22型 93天30分 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Ahmadi}等人,SIAM J.控制优化。52,第1号,687--717(2014;Zbl 1292.93093) 全文: 内政部 arXiv公司 链接
斯特凡·拉特肖恩 非线性混杂系统的安全性验证是拟决策的。 (英语) Zbl 1291.68266号 形式方法系统。设计。 44,No.1,71-90(2014).MSC公司:60年第68季度 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ratschan},表格。方法系统。设计。44,编号1,71-90(2014;兹bl 1291.68266) 全文: 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 混合心脏模型上植入式心脏起搏器的定量验证。 (英语) Zbl 1311.92100号 Inf.计算。 236, 87-101 (2014).MSC公司:92 C50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,《信息计算》。23687--101(2014年;Zbl 1311.92100) 全文: 内政部
Loes的Olde Loohuis;安德烈亚斯·维策尔;巴德·米什拉 癌症混合自动机:模型、信念和治疗。 (英语) Zbl 1311.92106号 Inf.计算。 236, 68-86 (2014).MSC公司:92 C50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Olde Loohuis}等人,《信息计算》。23668--86(2014年;Zbl 1311.92106) 全文: 内政部
A.卡萨格兰德。;德罗西,T。;J·法布里科娃。;C.广场。 \(epsilon)-生物系统的语义计算。 (英语) Zbl 1312.68127号 Inf.计算。 236,35-51(2014).MSC公司:第68季度55 65年第68季度 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}等人,《信息计算》。23635--51(2014;Zbl 1312.68127) 全文: 内政部
朱利奥·卡拉瓦格纳;阿尔贝托·德奥诺弗里奥;马可·安东尼奥蒂;吉安卡洛·莫里 具有延迟转换的随机混合自动机,用于模拟具有延迟的生化系统。 (英语) Zbl 1311.92087号 Inf.计算。 236, 19-34 (2014).MSC公司:92C45型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Caravagna}等人,信息计算。23619--34(2014年;Zbl 1311.92087) 全文: 内政部
哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 从多奇异混合Petri网到多奇异混合自动机的转换。 (英语) Zbl 1308.68083号 芬丹。通知。 130,第3号,275-315(2014). 审核人:Jörg Desel(哈根) MSC公司:68问题85 68平方米 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Fundam。通知。130,第3号,275--315(2014;Zbl 1308.68083) 全文: 内政部
只是,温弗里德;马西耶·马利基 具有一般长吸引子的合作布尔系统。二、。 (英语) Zbl 1375.94181号 高级差异等式。 2013年,第268号论文,23页(2013).MSC公司:94立方厘米 37B15号机组 37G35型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Just}和\textit{M.Malicki},高级差异Equ。2013年,第268号论文,23页(2013;Zbl 1375.94181) 全文: 内政部 arXiv公司
恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 (英语) Zbl 1291.68293号 形式方法系统。设计。 43,第2期,191-232(2013).MSC公司:87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,《形式方法系统》。设计。43,第2号,191--232(2013;Zbl 1291.68293) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统基于SMT的场景验证。 (英语) 兹比尔1284.03216 形式方法系统。设计。 42,第1期,46-66(2013).MSC公司:05年3月 60年第68季度 68T20型 65年第68季度 03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。42,第1号,46--66(2013;Zbl 1284.03216) 全文: 内政部
翟颖;易,钟;谢正伟;邓佩敏;李,岳 二维细胞自动机的一种特殊混合变换的伊甸园配置。 (中文。英文摘要) Zbl 1289.68056号 J.广西标准。大学,自然科学。 31,第1期,37-43(2013).MSC公司:68问题80 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhai}等人,《广西规范》杂志。大学,自然科学。31,第1号,第37-43条(2013;Zbl 1289.68056)
马西莫·贝内雷塞蒂;马可·费拉;Stefano米诺波利 线性混合系统开关控制器的自动综合:安全控制。 (英语) Zbl 1294.93041号 西奥。计算。科学。 493, 116-138 (2013).MSC公司:93二氧化碳 65年第68季度 91A80型 68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,Theor。计算。科学。493116--138(2013年;Zbl 1294.93041) 全文: 内政部 arXiv公司
大卫·布雷索林;玛尔塔·卡皮鲁比 混合系统故障诊断和识别的博弈理论方法。 (英语) Zbl 1294.68102号 西奥。计算。科学。 493, 15-29 (2013).MSC公司:65年第68季度 68米15 91A80型 91A05型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{M.Capiluppi},Theor。计算。科学。493、15--29(2013年;Zbl 1294.68102) 全文: 内政部
彭,燕;李维良;夏浩 线性混合自动机的等价状态依赖模型。 (中文。英文摘要) Zbl 1289.93009号 控制理论应用。 30,第3期,339-345(2013).MSC公司:93A30型 93C85号 65年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Pang}等人,《控制理论应用》。30,第3号,339--345(2013;Zbl 1289.93009) 全文: 内政部
卢卡·博托卢西;阿尔贝托,Policriti (混合)自动机和(随机)程序。随机程序的混合自动机格。 (英语) Zbl 1272.68289号 J.日志。计算。 23,第4期,761-798(2013).MSC公司:68问题85 68甲19 68号30 65年第68季度 87年第68季度 92立方厘米 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti},J.Log。计算。23,编号4761-798(2013年;兹bl 1272.68289) 全文: 内政部 链接
劳伦·弗里堡;乌尔里希·库恩 使用逆方法对混合自动机进行参数验证和测试覆盖率。 (英语) Zbl 1286.68314号 发现的国际期刊。计算。科学。 24,第2期,233-249(2013).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}和\textit{U.Kühne},国际期刊发现。计算。科学。24,第2号,233--249(2013;Zbl 1286.68314) 全文: 内政部
朱利奥·卡拉瓦格纳;亚历克斯·格劳登齐;阿尔贝托·D’Onofrio 肿瘤-免疫系统相互作用混合模型中的分布式延迟。 (英语) Zbl 1259.92035号 数学。Biosci公司。工程师。 10,第1期,37-57(2013).MSC公司:92 C50 34K60美元 60K99型 92-08 PDF格式BibTeX公司 XML格式引用 \textit{G.Caravagna}等人,《数学》。Biosci公司。工程10,编号1,37-57(2013;Zbl 1259.92035) 全文: 内政部
德米特里·V·佩特林。;萨多夫斯基(Sadovski)、米哈(Mikha)l G。 基于生长异速生长理论的细胞周期动力学数学模型。 (俄语。英文摘要) Zbl 1521.92052号 J.西布。联邦大学数学系。物理学。 5,第1号,106-115(2012).MSC公司:92立方37 92立方厘米 92年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{D.V.Petelin}和textit{M.G.Sadovski},J.Sib。联邦大学数学系。物理学。5、编号1、106-115(2012;Zbl 1521.92052) 全文: MNR公司
Gibin G.波瓦提尔。;柯斯蒂·戈登(Kirsty E.Gordon)。;利迪亚·希尔。;牧师Mark A.J。 模拟细胞周期异质性对实体肿瘤化疗反应的影响:来自混合多尺度细胞自动机模型的生物学见解。 (英语) Zbl 1411.92146号 J.西奥。生物。 308, 1-19 (2012).MSC公司:92 C50 92C45型 92立方37 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{G.G.Powathil}等人,J.Theor。生物.308,1--19(2012;Zbl 1411.92146) 全文: 内政部
安德烈·普拉泽 混合系统的逻辑分析:复杂性挑战的完整答案。 (英语) 兹比尔1322.68133 J.汽车。语言梳。 17,编号2-4,265-275(2012).MSC公司:60年第68季度 03B70号 34A38型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},J.Autom。语言梳。17,编号2-4-265-275(2012年;兹bl 1322.68133) 全文: 内政部
Perevaryukha,A.Yu。 鲟鱼两种群模型中的循环和不稳定混沌动力学。 (俄语、英语) Zbl 1299.92050 同胞。Zh公司。维奇尔。材料。 15,第3号,307-320(2012); 数字翻译。分析应用程序。5,第3期,254-264(2012)。MSC公司:92D25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Yu.Perevaryukha},西布。Zh公司。维奇尔。材料15,编号3,307--320(2012;Zbl 1299.92050);数字翻译。分析应用程序。5,第3号,254--264(2012) 全文: 内政部
尼玛莉亚·麦蒂。;索米亚布拉塔·戈什;Sikdar,Biplab K。;P.Pal乔杜里 用规则向量图(RVG)设计线性时间算法来识别周期边界三邻域元胞自动机的可逆性。 (英语) Zbl 1280.68131号 J.细胞。自动。 7,第4期,335-362(2012).MSC公司:68问题80 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Maiti}等人,《细胞》杂志。自动。7,第4号,335--362(2012;Zbl 1280.68131)
赵,Y。;郭海明。;美国比林斯。 使用图像分割方法识别混合细胞自动机。 (英语) Zbl 1280.68291号 J.细胞。自动。 7,第3期,243-258(2012).MSC公司:68平方英寸10 68问题80 94A08型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhao}等人,J.Cell。自动。7,第3243-258号(2012年;兹bl 1280.68291)
高元元;阮小刚;宋红军;于建军 一种基于混合学习方法的移动机器人路径规划方法。 (中文。英文摘要) Zbl 1289.68077号 控制拒绝。 27,第12期,1822-1827(2012).MSC公司:68T05型 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gao}等人,《控制决策》。27,第12号,1822--1827(2012;Zbl 1289.68077)
Bychkov,A.S。 脉冲模糊线性混合自动机的稳定性。 (乌克兰语。英文摘要) Zbl 1289.93066号 视力。,序列号。菲兹-马特·诺基,基辅。进出口大学。塔拉萨·舍甫琴卡 2012年第2期,79-86(2012).MSC公司:93立方 65年第68季度 93立方厘米 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bychkov},维森。,序列号。菲兹-马特·诺基,基辅。进出口大学。Tarasa Shevchenka 2012,第2号,第79-86号(2012;Zbl 1289.93066)
贝拉德,贝特里奇;谢尔盖,哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) Zbl 1247.68124号 形式方法系统。设计。 40,第1期,41-87(2012).MSC公司:65年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。40、第1号、第41-87号(2012;Zbl 1247.68124) 全文: 内政部 arXiv公司
古·T·约翰;李荣庆;迈克尔·库特鲁普(Michael M.Quottrup)。;查尔斯·克利夫顿。;鲁兹别·伊扎迪·扎马纳巴迪;托马斯·贝克 基于时序逻辑规范的多机器人运动规划框架。 (英语) Zbl 1245.68227号 科学。中国,信息科学。 55,第7期,1675-1692(2012).MSC公司:68T40型 68T20型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Koo}等人,科学。中国,信息科学。55,第7号,1675--1692(2012;Zbl 1245.68227) 全文: 内政部 链接
哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合Petri网对混合动态系统进行建模和验证。 (英语) Zbl 1262.68139号 西奥。计算。科学。 446, 48-74 (2012).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Theor。计算。科学。446、48--74(2012;Zbl 1262.68139) 全文: 内政部