马克·韦兹林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔霍夫 使用可达集的内外近似对线性系统进行全自动验证。 (英语) Zbl 07811000号 IEEE传输。自动。控制 68,第12号,7771-7786(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人,IEEE Trans。自动。控制68,编号12,7771--7786(2023;Zbl 07811000) 全文: 内政部 arXiv公司
罗兰·施万;科林·琼斯。;丹尼尔·库恩 使用混合整数规划验证神经网络控制器的稳定性。 (英语) Zbl 07810983号 IEEE传输。自动。控制 68,编号12,7514-7529(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{R.Schwan}等人,IEEE Trans。自动。对照68,编号12,7514--7529(2023;Zbl 07810983) 全文: 内政部 arXiv公司
阿波法兹·拉瓦伊;萨代赫·苏贾尼;埃米利奥·弗拉佐利 用于大规模动力系统数据驱动安全验证的组合耗散性方法。 (英语) Zbl 07810965号 IEEE传输。自动。控制 68,编号12,7240-7253(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,IEEE Trans。自动。控制68,编号12,7240--7253(2023;Zbl 07810965) 全文: 内政部
弗朗西斯科·科森蒂诺;哈拉尔德·奥伯豪塞;亚历山德罗·阿巴特 利用Malliavin演算进行概率安全的无网格计算。 (英语) Zbl 07794484号 IEEE传输。自动。控制 68,第10号,6369-6376(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{F.Cosentino}等人,IEEE Trans。自动。控制68,编号10,6369--6376(2023;Zbl 07794484) 全文: 内政部 arXiv公司
伯纳·布·法拉;罗莎·阿布;让·雅克·洛伊索 具有时滞和约束的库存系统的预测反馈控制。 (英语) Zbl 07746664号 IEEE传输。自动。控制 68,第8号,5096-5102(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{B.B.Farraa}等人,IEEE Trans。自动。控制68,编号8,5096--5102(2023;Zbl 07746664) 全文: 内政部
阿梅内·内贾蒂;阿波法兹·拉瓦伊;普什巴克·贾格塔普;萨代赫·苏贾尼;马吉德·扎马尼 未知离散和连续时间系统的形式化验证:数据驱动方法。 (英语) Zbl 07744614号 IEEE传输。自动。控制 68,编号5,3011-3024(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Nejati}等人,IEEE Trans。自动。控制68,编号5,3011--3024(2023;Zbl 07744614) 全文: 内政部
伊利赛·马科维奇克(Elisei Macoveiciuc);冈瑟·雷西格 具有内存减少保证的动态符号合成。 (英语) Zbl 07742280号 IEEE传输。自动。控制 68,第4期,2576-2583(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{E.Macoveiciuc}和\textit{G.Reissig},IEEE Trans。自动。控制68,编号4,2576--2583(2023;Zbl 07742280) 全文: 内政部
月亮,六月;巴沙尔,塔梅尔 随机系数跳跃扩散模型递归随机控制问题的动态规划和验证定理。 (英语) Zbl 07742145号 IEEE传输。自动。控制 67,第12号,6474-6488(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{J.Moon}和\textit{T.Bašar},IEEE Trans。自动。控制67,编号12,6474--6488(2022;Zbl 07742145) 全文: 内政部
文,敏;乌富克托普库 在具有时序逻辑规范的对抗环境中,学习可能大致正确。 (英语) Zbl 07741694号 IEEE传输。自动。控制 67,第10号,5055-5070(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Wen}和\textit{U.Topcu},IEEE Trans。自动。控制67,编号10,5055--5070(2022;Zbl 07741694) 全文: 内政部
月亮,六月 具有跳跃的状态和控制路径相关随机最优控制。 (英语) Zbl 07740959号 IEEE传输。自动。控制 67,编号9,4555-4567(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{J.Moon},IEEE Trans。自动。控制67,编号9,4555--4567(2022;Zbl 07740959) 全文: 内政部
陆俊杰;她,志坤;刘伯丹;葛树之·山姆 用半定规划方法分析和验证非自治离散时间切换系统的输入-状态稳定性。 (英语) Zbl 1471.93234号 IEEE传输。自动。控制 66,编号9,4452-4459(2021).MSC公司:93D25号 93D20型 93D23号 93C55美元 93立方 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}等人,IEEE Trans。自动。控制66,编号9,4452--4459(2021;Zbl 1471.93234) 全文: 内政部
皮埃尔·让·迈耶;Dimarogonas,Dimos V。 非线性控制系统LTL综合问题的层次分解。 (英语) Zbl 1437.93032号 IEEE传输。自动。控制 64,第11号,4676-4683(2019).MSC公司:93亿B50 03B44号 60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.-J.Meyer}和\textit{D.V.Dimarogonas},IEEE Trans。自动。控制64,No.11,4676--4683(2019;Zbl 1437.93032) 全文: 内政部 arXiv公司
你,丹;王寿光;卡拉·西特祖 使用预测图验证标记Petri网中的故障可预测性。 (英语) Zbl 1482.68149号 IEEE传输。自动。控制 64,第10号,4353-4360(2019).MSC公司:60年第68季度 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{D.You}等人,IEEE Trans。自动。Control 64,No.10,4353--4360(2019;Zbl 1482.68149) 全文: 内政部
吴波;张晓斌;林,海 通过学习实现马尔可夫决策过程的允许监督综合。 (英语) Zbl 1482.90241号 IEEE传输。自动。控制 64,第8号,3332-3338(2019).MSC公司:90立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Wu}等人,IEEE Trans。自动。控制64,No.8,3332--3338(2019;Zbl 1482.90241) 全文: 内政部 arXiv公司
考希·马利克;施穆克,安妮·凯瑟琳;萨代赫·苏贾尼;鲁帕克·马朱姆达尔 有限状态抽象的合成。 (英语) Zbl 1482.93263号 IEEE传输。自动。控制 64,第6号,2629-2636(2019).MSC公司:93立方厘米 03B44号 60年第68季度 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{K.Mallik}等人,IEEE Trans。自动。控制64,No.6,2629--2636(2019;Zbl 1482.93263) 全文: 内政部
王伟林;苏荣;林、李勇;龚朝晖 同构模块系统中的模型检查。 (英语) Zbl 1482.68148号 IEEE传输。自动。控制 64,第2期,728-735(2019).MSC公司:60年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{W.Wang}等人,IEEE Trans。自动。对照64,编号2728-735(2019;兹bl 1482.68148) 全文: 内政部
郭孟;迈克尔·M·扎夫拉诺斯。 时间任务和软约束下的概率运动规划。 (英语) Zbl 1423.90268号 IEEE传输。自动。控制 63,第12号,4051-4066(2018).MSC公司:90立方厘米 03B44号 60年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Guo}和\textit{M.Zavlanos},IEEE Trans。自动。控制63,编号12,4051--4066(2018;Zbl 1423.90268) 全文: 内政部 arXiv公司
鲁珊德拉·博比蒂;米尔恰·拉扎尔 非线性系统基于自动采样的稳定性验证和DOA估计。 (英语) Zbl 1423.93350号 IEEE传输。自动。控制 63,第11号,3659-3674(2018).MSC公司:93天30分 60年第68季度 93元57 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bobiti}和\textit{M.Lazar},IEEE Trans。自动。控制63,编号11,3659-3674(2018;Zbl 1423.93350) 全文: 内政部
斯特凡·拉特肖恩 安全和屏障证书的逆定理。 (英语) 兹比尔1423.93107 IEEE传输。自动。控制 63,第8期,2628-2632(2018).MSC公司:93B35型 93立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ratschan},IEEE Trans。自动。控制63,编号8,2628--2632(2018;Zbl 1423.93107) 全文: 内政部 arXiv公司
尹、向 标记Petri网可预测性的验证。 (英语) Zbl 1395.68200号 IEEE传输。自动。控制 63,第6号,1738-1744(2018).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Yin},IEEE Trans。自动。控制63,编号6,1738--1744(2018;Zbl 1395.68200)
巴尔干,艾卡;摩什·瓦尔迪;保罗·塔布阿达 模式目标游戏:控制应用的反应合成。 (英语) Zbl 1390.93311号 IEEE传输。自动。控制 63,第1期,196-202(2018).MSC公司:93亿B50 60年第68季度 91年43月 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Balkan}等人,IEEE Trans。自动。控制63,编号1,196--202(2018;Zbl 1390.93311) 全文: 内政部 arXiv公司
林、李勇;西蒙·沃尔;苏荣;W.Murray Wonham 分布缩减:定义、属性和应用。 (英语) Zbl 1390.68408号 IEEE传输。自动。控制 62,第11号,5755-5768(2017).MSC公司:65年第68季度 60年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{L.Lin}等人,IEEE Trans。自动。Control 62,No.11,5755--5768(2017;Zbl 1390.68408) 全文: 内政部
里卡多·维格纳利;玛丽亚·普兰迪尼 离散时间线性设置中可达性规范的最小资源承诺。 (英语) Zbl 1369.93075号 IEEE传输。自动。控制 62,第6期,3021-3028(2017).MSC公司:93个B03 60年第68季度 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{R.Vignali}和\textit{M.Prandini},IEEE Trans。自动。对照62,编号6,3021-3028(2017;兹bl 1369.93075) 全文: 内政部
童,尹;李志武;卡拉·西特祖;亚历山德罗·朱亚 使用Petri网验证基于状态的不透明度。 (英语) Zbl 1369.68265号 IEEE传输。自动。控制 62,第6期,2823-2837(2017).MSC公司:68问题85 60年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tong}等人,IEEE Trans。自动。控制62,No.6,2823--2837(2017;Zbl 1369.68265) 全文: 内政部
Zibaeenejad,M.H。;蒂斯特尔,J.G。 参数化链网络的死锁分析。 (英语) Zbl 1366.90024号 IEEE传输。自动。控制 62,第4期,2064-2070(2017).MSC公司:90B10型 93元65角 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Zibaeenejad}和\textit{J.G.Thistle},IEEE Trans。自动。控制62,编号4,2064--2070(2017;Zbl 1366.90024) 全文: 内政部 arXiv公司
肯德拉·莱斯尔;Meeko Oishi先生 部分可观测随机混杂系统的近似安全验证与控制。 (英语) 兹比尔1359.93537 IEEE传输。自动。控制 62,第1期,81-96(2017).MSC公司:93E20型 90立方厘米 68号30 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Lesser}和\textit{M.Oishi},IEEE Trans。自动。控制62,编号1,81--96(2017;Zbl 1359.93537) 全文: 内政部 arXiv公司
马科斯·莫雷拉五世。;乔昂·C·巴西利奥。;费利佩·卡布拉尔。 “离散事件系统分散可诊断性的多项式时间验证”与“离散事件系统的分散故障诊断”:关键评估。 (英语) Zbl 1359.68198号 IEEE传输。自动。控制 61,第1期,178-181(2016).MSC公司:60年第68季度 68米15 65年第68季度 93C55美元 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Moreira}等人,IEEE Trans。自动。控制61,No.1,178--181(2016;Zbl 1359.68198) 全文: 内政部
Esmaeil Zadeh Soudjani,萨代;Adzkiya,迪基;亚历山德罗·阿巴特 随机极大线性系统的形式化验证。 (英语) 兹比尔1359.68188 IEEE传输。自动。控制 61,第10号,2861-2876(2016).MSC公司:60年第68季度 60J20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Esmaeil Zadeh Soudjani}等人,IEEE Trans。自动。控制61,第10号,2861--2876(2016;Zbl 1359.68188) 全文: 内政部
傅洁;乌富克托普库 时序逻辑约束下的联合控制和主动传感策略综合。 (英语) 兹比尔1359.68192 IEEE传输。自动。控制 61,第11号,3464-3476(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fu}和\textit{U.Topcu},IEEE Trans。自动。控制61,No.11,3464--3476(2016;Zbl 1359.68192) 全文: 内政部
Tichakorn的Wongpiromsarn;乌富克托普库;安德鲁·兰帕斯基 自动机理论符合障碍证明:非线性系统的时序逻辑验证。 (英语) Zbl 1359.68200号 IEEE传输。自动。控制 61,第11号,3344-3355(2016).MSC公司:60年第68季度 34A34飞机 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Wongpiromsarn}等人,IEEE Trans。自动。控制61,No.11,3344--3355(2016;Zbl 1359.68200) 全文: 内政部 arXiv公司
马里亚·斯沃雷奥娃;伊万娜·乔纳;卡林·贝尔塔 具有概率惩罚的确定性转移系统的最优时序逻辑控制。 (英语) Zbl 1360.68602号 IEEE传输。自动。控制 60,第6期,1528-1541(2015).MSC公司:60年第68季度 68问题85 68宽15 90立方厘米 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{M.Svoreňová}等人,IEEE Trans。自动。控制60,No.6,1528--1541(2015;Zbl 1360.68602) 全文: 内政部
扎克·科斯特洛;马格纳斯·埃格斯特德 从全局、有限时间、线性计算到基于局部边缘的交互规则。 (英语) Zbl 1360.93419号 IEEE传输。自动。控制 60,第8期,2237-2241(2015).MSC公司:93元65角 90B10型 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Z.Costello}和\textit{M.Egerstedt},IEEE Trans。自动。控制60,编号8,2237--2241(2015;Zbl 1360.93419) 全文: 内政部
莫特萨·拉希贾尼安;Sean B.安德森。;卡林·贝尔塔 离散随机系统的形式化验证与综合。 (英语) Zbl 1360.93650号 IEEE传输。自动。控制 60,第8期,2031-2045(2015).MSC公司:93E03型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lahijanian}等人,IEEE Trans。自动。控制60,编号8,2031--2045(2015;Zbl 1360.93650) 全文: 内政部
塞缪尔·巴登(Samuel A.Burden)。;亨贝托·冈萨雷斯;拉马纳拉扬·瓦苏德万;Ruzena Bajcsy;S.Shankar,萨斯特里 受控混合系统的度量与仿真。 (英语) 兹比尔1360.93329 IEEE传输。自动。控制 60,第9期,2307-2320(2015).MSC公司:93立方 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Burden}等人,IEEE Trans。自动。控制60,编号9,2307--2320(2015;Zbl 1360.93329) 全文: 内政部 arXiv公司
克里希南德·查特吉;帕布,维纳亚克S。 定时系统的定量时间模拟和细化距离。 (英语) Zbl 1360.68545号 IEEE传输。自动。控制 60,第9期,2291-2306(2015).MSC公司:65年第68季度 60年第68季度 91A05型 91年43月 91A80 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.S.Prabhu},IEEE Trans。自动。控制60,编号9,2291--2306(2015;Zbl 1360.68545) 全文: 内政部
权永民;金恩赫(Kim,Eunhee) 混合控制系统的有界模型检验。 (英语) Zbl 1360.93078号 IEEE传输。自动。控制 60,第11期,2961-2976(2015).MSC公司:93A30型 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kwon}和\textit{E.Kim},IEEE Trans。自动。控制60,No.11,2961--2976(2015;Zbl 1360.93078) 全文: 内政部
佐丹奴·波罗;迪·贝内代托,玛丽亚·多梅尼卡 离散时间分段仿射系统的符号模型和控制:一种近似仿真方法。 (英语) Zbl 1360.68597号 IEEE传输。自动。控制 59,第1期,175-180(2014).MSC公司:60年第68季度 65年第68季度 93个B03 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{G.Pola}和\textit{M.D.Di Benedetto},IEEE Trans。自动。对照59,编号1,175--180(2014;Zbl 1360.68597) 全文: 内政部 arXiv公司
傅洁;赫伯特·G·坦纳。;杰弗里·海因茨;简·钱德勒 具有语法推理的有限状态转移系统的自适应符号控制。 (英语) Zbl 1360.68588号 IEEE传输。自动。控制 59,第2期,505-511(2014).MSC公司:60年第68季度 68问题85 91A80 PDF格式BibTeX公司 XML格式引用 \textit{J.Fu}等人,IEEE Trans。自动。控制59,No.2,505--511(2014;Zbl 1360.68588) 全文: 内政部
拉特内什·库马尔;高井,Shigemasa 关于“离散事件系统分散可诊断性的多项式时间验证”与“离散事件系统的分散故障诊断”的评论:复杂性澄清。 (英语) Zbl 1370.68206号 IEEE传输。自动。控制 59,第5期,1391-1392(2014).MSC公司:60年第68季度 65年第68季度 93甲14 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}和\textit{S.Takai},IEEE Trans。自动。控制59,No.5,1391--1392(2014;Zbl 1370.68206) 全文: 内政部
丁旭初;斯蒂芬·史密斯。;卡林·贝尔塔;丹妮拉·罗斯 线性时序逻辑约束下马尔可夫决策过程的最优控制。 (英语) Zbl 1360.90276号 IEEE传输。自动。控制 59,第5期,1244-1257(2014).MSC公司:90立方厘米 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Ding}等人,IEEE Trans。自动。对照59,编号5,1244–1257(2014;兹bl 1360.90276) 全文: 内政部
艾布鲁·艾丁(Ebru Aydin Gol);米尔恰·拉扎尔;卡林·贝尔塔 线性系统的语言制导控制器综合。 (英语) Zbl 1360.93424号 IEEE传输。自动。控制 59,第5期,1163-1176(2014).MSC公司:93元65角 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Gol}等人,IEEE Trans。自动。控制59,No.5,1163--1176(2014;Zbl 1360.93424) 全文: 内政部
阿克沙·拉汉斯;阿金基亚·巴韦;伊凡·鲁奇金;布鲁斯·H·克罗。;大卫·加兰;安德烈·普拉泽;布拉德利·施默尔 支持网络物理系统架构中的异构性。 (英语) Zbl 1360.93475号 IEEE传输。自动。控制 59,第12号,3178-3193(2014).MSC公司:93C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rajhans}等人,IEEE Trans。自动。控制59,编号12,3178--3193(2014;Zbl 1360.93475) 全文: 内政部
罗比·马利克;莱杜克·莱恩 使用广义非阻塞抽象进行组合非阻塞验证。 (英语) Zbl 1369.93379号 IEEE传输。自动。控制 第58期,第8期,1891-1903(2013).MSC公司:93元65角 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Malik}和\textit{R.Leduc},IEEE Trans。自动。控制58,No.8,1891--1903(2013;Zbl 1369.93379) 全文: 内政部
马尔达维吉·鲁兹贝哈尼;亚历山大·梅格列茨基;埃里克·费隆 软件系统验证中Lyapunov不变量的优化。 (英语) Zbl 1369.68155号 IEEE传输。自动。控制 58,第3期,696-711(2013).MSC公司:68号30 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Roozbehani}等人,IEEE Trans。自动。控制58,No.3,696--711(2013;Zbl 1369.68155) 全文: 内政部
弗拉基米罗;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦;盖尔·杜勒鲁 有界离散视界混合自动机的验证。 (英语) Zbl 1369.68255号 IEEE传输。自动。控制 57,第6期,1445-1455(2012).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Vladimerou}等人,IEEE Trans。自动。控制57,No.6,1445--1455(2012;Zbl 1369.68255) 全文: 内政部
阿诺希拉万·萨布里;Hadjicostis,Christopros N。 验证无限阶不透明性和复杂性考虑因素。 (英语) Zbl 1369.93110号 IEEE传输。自动。控制 57,第5期,1265-1269(2012).MSC公司:93个B07 60年第68季度 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{A.Saboori}和\textit{C.N.Hadjicostis},IEEE Trans。自动。控制57,No.5,1265--1269(2012;Zbl 1369.93110) 全文: 内政部
维拉·潘特利克;马克·劳福德 概率离散事件系统的最优监督控制。 (英语) Zbl 1369.93381号 IEEE传输。自动。控制 57,第5期,1110-1124(2012).MSC公司:93元65角 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Pantelic}和\textit{M.Lawford},IEEE Trans。自动。控制57,No.5,1110--1124(2012;Zbl 1369.93381) 全文: 内政部
萨南米尔扎扎德·巴里约;李继荣 离散时间分段仿射系统的稳定性和瞬态性能。 (英语) Zbl 1369.93536号 IEEE传输。自动。控制 57,第4期,936-949(2012).MSC公司:93D20型 93C55美元 05C90年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mirzazad-Barijough}和\textit{J.-W.Lee},IEEE Trans。自动。对照57,编号4,936--949(2012;Zbl 1369.93536) 全文: 内政部
高井,Shigemasa;Ushio、Toshimitsu 具有不确定输出函数的mealy自动机模型离散事件系统的协可诊断性验证。 (英语) Zbl 1369.93390号 IEEE传输。自动。控制 57,第3期,798-804(2012).MSC公司:93元65角 93甲14 94C12号机组 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai}和\textit{T.Ushio},IEEE Trans。自动。控制57,No.3,798--804(2012;Zbl 1369.93390) 全文: 内政部
佐丹奴·波罗;亚历山德罗·博里;迪·贝内代托,玛丽亚·多梅尼卡 非线性系统符号控制器的集成设计。 (英语) Zbl 1369.93255号 IEEE传输。自动。控制 57,第2期,534-539(2012).MSC公司:93立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pola}等人,IEEE Trans。自动。控制57,No.2,534--539(2012;Zbl 1369.93255) 全文: 内政部
沈景来 约束仿射动力学的正不变性及其在混合系统和安全验证中的应用。 (英语) 兹比尔1369.93450 IEEE传输。自动。控制 57,第1期,3-18(2012).MSC公司:93D05型 60年第68季度 68问题85 90B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Shen},IEEE Trans。自动。控制57,No.1,3--18(2012;Zbl 1369.93450) 全文: 内政部
玛丽亚·迪·贝内代托。;斯蒂法诺·迪·根纳罗;亚历山德罗·迪安诺琴佐 通过抽象验证混合自动机的可诊断性。 (英语) Zbl 1368.68246号 IEEE传输。自动。控制 56,第9期,2050-2061(2011).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.D.Di Benedetto}等人,IEEE Trans。自动。控制56,第9号,2050--2061(2011;Zbl 1368.68246) 全文: 内政部
马科斯·莫雷拉五世。;耶稣,Thiago C。;若昂·巴西利奥。 离散事件系统分散可诊断性的多项式时间验证。 (英语) Zbl 1368.93384号 IEEE传输。自动。控制 56,第7期,1679-1684(2011).MSC公司:93元65角 60年第68季度 65年第68季度 93甲14 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Moreira}等人,IEEE Trans。自动。控制56,编号7,1679--1684(2011;Zbl 1368.93384) 全文: 内政部
高井,Shigemasa;拉特内什·库马尔 离散事件系统基于过度近似推理的分散监管器的综合。 (英语) Zbl 1368.93389号 IEEE传输。自动。控制 55,第8期,1881-1887(2010).MSC公司:93元65角 93亿B50 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Takai}和\textit{R.Kumar},IEEE Trans。自动。控制55,No.8,1881--1887(2010;Zbl 1368.93389) 全文: 内政部
是的,莫伊兹;林,冯;内吉布·本·哈吉·阿鲁阿内 修改安全策略以满足不可传递的不干涉。 (英语) Zbl 1367.94353号 IEEE传输。自动。控制 54,第8期,1961-1966(2009).MSC公司:94A60型 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Yeddes}等人,IEEE Trans。自动。控制54,第8号,1961-1966(2009;Zbl 1367.94353) 全文: 内政部
Hiraishi、Kunihiko 关于具有通信的分散监督控制问题的可解性。 (英语) Zbl 1367.93363号 IEEE传输。自动。控制 54,第3期,468-480(2009).MSC公司:93元65角 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Hiraishi},IEEE翻译。自动。控制54,No.3,468--480(2009;Zbl 1367.93363) 全文: 内政部
邱文斌;拉特内什·库马尔;维吉安·钱德拉 使用排除优先组合的离散事件系统的分散控制。 (英语) Zbl 1367.93372号 IEEE传输。自动。控制 53,第10号,2425-2430(2008).MSC公司:93元65角 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Qiu}等人,IEEE Trans。自动。控制53,编号10,2425--2430(2008;Zbl 1367.93372) 全文: 内政部
苏荣 定时失配和信道失真下的分布式跟踪估计。 (英语) Zbl 1367.93374号 IEEE传输。自动。控制 53,第10号,2409-2414(2008).MSC公司:93元65角 93个B07 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Su},IEEE传输。自动。控制53,编号10,2409--2414(2008;Zbl 1367.93374) 全文: 内政部
马吕斯·克劳泽;卡林·贝尔塔 根据时序逻辑规范控制线性系统的全自动框架。 (英语) Zbl 1367.93202号 IEEE传输。自动。控制 53,第1期,287-297(2008).MSC公司:93B40码 93立方 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kloetzer}和\textit{C.Belta},IEEE Trans。自动。控制53,编号1,287--297(2008;Zbl 1367.93202) 全文: 内政部
保罗·塔布阿达;乔治·帕帕斯。 离散线性系统的线性时间逻辑控制。 (英语) Zbl 1366.93413号 IEEE传输。自动。控制 51,第12期,1862-1877(2006).MSC公司:93C85号 60年第68季度 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{P.Tabuada}和\textit{G.J.Pappas},IEEE Trans。自动。控制51,No.12,1862--1877(2006;Zbl 1366.93413) 全文: 内政部
保罗·塔布阿达 基于符号子系统的线性系统符号控制。 (英语) Zbl 1366.93392号 IEEE传输。自动。控制 51,第6号,1003-1013(2006).MSC公司:93C83号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Tabuada},IEEE传输。自动。控制51,No.6,1003--1013(2006;Zbl 1366.93392) 全文: 内政部
安东尼奥·比奇;阿莱西亚·马里戈;皮科利、贝内代托 动态系统有效符号控制的反馈编码。 (英语) Zbl 1366.93387号 IEEE传输。自动。控制 51,第6期,987-1002(2006).MSC公司:93C83号 60年第68季度 93C25型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bicchi}等人,IEEE Trans。自动。控制51,编号6,987--1002(2006;Zbl 1366.93387) 全文: 内政部
马,川;W.M.沃纳姆。 状态树结构的非阻塞监督控制。 (英语) Zbl 1366.93355号 IEEE传输。自动。控制 51,第5号,782-793(2006).MSC公司:93元65角 60年第68季度 05C90年 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Ma}和\textit{W.M.Wonham},IEEE Trans。自动。控制51,No.5,782--793(2006;Zbl 1366.93355) 全文: 内政部
克里斯托弗·格里芬 关于确定下推系统可控性的注记。 (英语) Zbl 1366.93052号 IEEE传输。自动。控制 51,第2期,334-337(2006).MSC公司:93个B05 93元65角 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Griffin},IEEE传输。自动。控制51,No.2,334--337(2006;Zbl 1366.93052) 全文: 内政部
阿隆格利特·楚蒂南;布鲁斯·H·克罗。 混合系统验证的计算技术。 (英语) Zbl 1364.93457号 IEEE传输。自动。控制 48,第1期,64-75(2003).MSC公司:93元65角 68号30 93C83号 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Chutinan}和\textit{B.H.Krogh},IEEE Trans。自动。控制48,编号1,64--75(2003;Zbl 1364.93457) 全文: 内政部
约翰·莱杰罗斯;卡尔·亨利克·约翰逊;Simić,Slobodan N。;张军;S.Shankar,萨斯特里 混合自动机的动力学性质。 (英语) Zbl 1364.93503号 IEEE传输。自动。控制 48,第1期,2-17(2003).MSC公司:93C83号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Lygeros}等人,IEEE Trans。自动。对照48,编号1,2--17(2003;Zbl 1364.93503) 全文: 内政部
阿隆克里特·丘蒂南;布鲁斯·H·克罗。 使用近似商转换系统验证无限状态动力系统。 (英语) Zbl 1031.93123号 IEEE传输。自动。控制 46,第9期,1401-1410(2001). 审核人:Alex V.Kolnogorov(诺夫哥罗德) MSC公司:93元65角 93个B03 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chutinan}和\textit{B.H.Krogh},IEEE Trans。自动。控制46,编号9,1401--1410(2001;Zbl 1031.93123) 全文: 内政部 链接
科斯塔斯·库库贝蒂斯;米哈利斯·亚纳卡基斯 马尔可夫决策过程和常规事件。 (英语) Zbl 0954.90061号 IEEE传输。自动。控制 43,第10期,1399-1418(1998).MSC公司:90立方厘米 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis},IEEE Trans。自动。控制43,编号10,1399--1418(1998;Zbl 0954.90061) 全文: 内政部
马克·劳福德;W.M.沃纳姆。 时间转换模型的等价保持转换。 (英语) Zbl 0842.93013号 IEEE传输。自动。控制 40,第7期,1167-1179(1995). 审核人:R.Tracht(埃森) MSC公司:93B17号机组 93C99号 68问题85 60年第68季度 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lawford}和\textit{W.M.Wonham},IEEE Trans。自动。控件40,编号7,1167--1179(1995;Zbl 0842.93013) 全文: 内政部 链接
邓肯,T.E。;曼德尔,P。;巴西克·杜肯,B。 一些最小二乘辨识问题中一致性的控制理论方法。 (英语) Zbl 0784.93098号 IEEE传输。自动。控制 38,第8号,1289-1292(1993).MSC公司:93E24型 PDF格式BibTeX公司 XML格式引用 \textit{T.E.Duncan}等人,IEEE Trans。自动。控制38,编号8,1289--1292(1993;Zbl 0784.93098) 全文: 内政部
乔纳森·奥斯特罗夫。;W.Murray Wonham 实时离散事件控制框架。 (英语) Zbl 0709.68029号 IEEE传输。自动。控制 35,No.4,386-397(1990).MSC公司:65年第68季度 2010年第68季度 93甲15 68N17号 68甲15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Ostroff}和\textit{W.M.Wonham},IEEE Trans。自动。控制35,编号4,386--397(1990;Zbl 0709.68029) 全文: 内政部
Ng、Szekui 部分可观测双线性系统的最优线性非预期控制。 (英语) Zbl 0535.93069号 IEEE传输。自动。控制 29, 271-274 (1984). 审核人:M.科尔曼 MSC公司:93E20型 49千克45 93立方厘米05 49升20 PDF格式BibTeX公司 XML格式引用 \textit{S.Ng},IEEE传输。自动。对照29,271--274(1984;Zbl 0535.93069) 全文: 内政部