姚玉华;孙继涛;张瑜 通过时间逻辑的混合系统的多任务综合。 (英语) Zbl 07808186号 IEEE传输。自动。控制 68,第11号,6883-6890(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{Y.Yao}等人,IEEE Trans。自动。控制68,编号11,6883--6890(2023;Zbl 07808186) 全文: 内政部
郭孟;廖天军;王俊杰;李忠奎 概率时间任务和安全返回约束下的分层运动规划。 (英语) Zbl 07795088号 IEEE传输。自动。控制 68,第11号,6727-6742(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Guo}等人,IEEE Trans。自动。控制68,编号11,6727--6742(2023;Zbl 07795088) 全文: 内政部 arXiv公司
韩慧珍;穆罕默德·马盖内姆;里卡多·桑费利斯(Ricardo G.Sanfelice)。 证明混合系统中的LTL公式(p)直到(q)。 (英语) Zbl 07744936号 IEEE传输。自动。控制 68,编号7,4451-4458(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{H.Han}等人,IEEE Trans。自动。控制68,编号7,4451--4458(2023;Zbl 07744936) 全文: 内政部 arXiv公司
玛丽亚·沙里蒂杜;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑规范下具有在线屏障功能设计的后退地平线控制。 (英语) Zbl 07744838号 IEEE传输。自动。控制 68,第6号,3545-3556(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Charitidou}和\textit{D.V.Dimarogonas},IEEE Trans。自动。控制68,编号6,3545--3556(2023;Zbl 07744838) 全文: 内政部
Laya Shamgah;塔德沃斯,塔德沃斯·G。;阿卜杜拉·阿尔·雷德万·纽阿斯;阿里·卡里莫迪尼;艾伯特·C·埃斯特林。 动态对抗环境中的反应式符号规划和控制。 (英语) Zbl 07744829号 IEEE传输。自动。控制 68,编号6,3409-3424(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{L.Shamgah}等人,IEEE Trans。自动。控制68,编号6,3409--3424(2023;Zbl 07744829) 全文: 内政部
李依南;孙志兵;刘军 非线性系统时序逻辑控制的规范指导框架。 (英语) Zbl 07742228号 IEEE传输。自动。控制 2002-2017年第4号第68页(2023年).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,IEEE Trans。自动。控制68,No.4,2002--2017(2023;Zbl 07742228) 全文: 内政部 arXiv公司
Ami Sakakibara;Natsuki Urabe;Ushio、Toshimitsu LTL[\(mathcal{F}\)]规范下离散事件系统的有限记忆监督控制。 (英语) Zbl 07742185号 IEEE传输。自动。控制 67,第12号,6896-6903(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Sakakibara}等人,IEEE Trans。自动。控制67,编号12,6896--6903(2022;Zbl 07742185) 全文: 内政部
林德曼,拉尔斯;乔治·帕帕斯。;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑的反应式和风险意识控制。 (英语) Zbl 07741708号 IEEE传输。自动。控制 67,第10号,5262-5277(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{L.Lindemann}等人,IEEE Trans。自动。控制67,编号10,5262--5277(2022;Zbl 07741708) 全文: 内政部 arXiv公司
高玉龙;亚历山德罗·阿巴特;Frank J.姜。;米尔科·贾科布;谢丽华;卡尔·亨利克·约翰逊 用于不确定离散时间系统的模型检查和控制综合的时序逻辑树。 (英语) Zbl 07741695号 IEEE传输。自动。控制 67,第10号,5071-5086(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{Y.Gao}等人,IEEE Trans。自动。控制67,编号10,5071--5086(2022;Zbl 07741695) 全文: 内政部 arXiv公司
穆拉特·库布克特佩;尼尔斯·詹森;穆罕默德·阿尔谢赫;乌富克托普库 为共享控制合成可证明正确的自治协议。 (英语) Zbl 1467.93289号 IEEE传输。自动。控制 66,编号7,3251-3258(2021).MSC公司:93E03型 93C85号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Cubuktepe}等人,IEEE Trans。自动。控制66,编号7,3251--3258(2021;Zbl 1467.93289) 全文: 内政部 arXiv公司
普什巴克·贾格塔普;萨代赫·苏贾尼;马吉德·扎马尼 通过控制障碍证书对随机系统进行形式化综合。 (英语) Zbl 1467.93293号 IEEE传输。自动。控制 66,第7号,3097-3110(2021).MSC公司:93E03型 93C55美元 03B44号 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{P.Jagtap}等人,IEEE Trans。自动。控制66,编号7,3097--3110(2021;Zbl 1467.93293) 全文: 内政部 arXiv公司
苏菲·海瑟特;萨代赫·苏贾尼 随机系统时间逻辑控制的鲁棒动态规划。 (英语) Zbl 1467.93292号 IEEE传输。自动。控制 66,第6号,2496-2511(2021).MSC公司:93E03型 93C55美元 90立方厘米 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Haesaert}和\textit{S.Soudjani},IEEE Trans。自动。控制66,编号6,2496--2511(2021;Zbl 1467.93292) 全文: 内政部 arXiv公司
牛、路遥;傅洁;安德鲁·克拉克 攻击下网络物理系统的最优最小违反控制综合。 (英语) 兹伯利07352053 IEEE传输。自动。控制 66,编号3,995-1008(2021).MSC公司:93亿B50 93磅70 93立方厘米83 91A15型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Niu}等人,IEEE Trans。自动。控制66,编号3,995--1008(2021;Zbl 07352053) 全文: 内政部
安德烈亚·比索菲;迪马罗戈纳斯,迪莫斯五世。 通过混合系统的递归工具满足线性时序逻辑规范。 (英语) Zbl 07320203号 IEEE传输。自动。控制 66,编号2,818-825(2021).MSC公司:93甲16 93C85号 93立方 93B52号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bisoffi}和\textit{D.V.Dimarogonas},IEEE Trans。自动。控制66,编号2,818--825(2021;Zbl 07320203) 全文: 内政部 arXiv公司
内贾德,M.哈迪;刘军 具有实际LTL规范的非确定性过渡系统的审计产品和控制器综合。 (英语) Zbl 07320004号 IEEE传输。自动。控制 65,第10号,4281-4287(2020).MSC公司:93亿B50 93C85号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Zibaeenejad}和\textit{J.Liu},IEEE Trans。自动。控制65,编号10,4281--4287(2020;Zbl 07320004) 全文: 内政部
牛、路遥;安德鲁·克拉克 线性时序逻辑约束下的最优安全控制。 (英语) Zbl 07256360号 IEEE传输。自动。控制 65,第6期,2434-2449(2020).MSC公司:93C55美元 03B44号 91A15型 91A80型 93磅70 PDF格式BibTeX公司 XML格式引用 \textit{L.Niu}和\textit{A.Clark},IEEE Trans。自动。控制65,No.6,2434--2449(2020;Zbl 07256360) 全文: 内政部 arXiv公司
雅吉斯萨瓦斯;梅尔基奥尔尼克;穆拉特·库布克特佩;卡拉巴格、穆斯塔法·O。;乌富克托普库 时序逻辑约束下马尔可夫决策过程的熵最大化。 (英语) Zbl 07256276号 IEEE传输。自动。控制 65,第4期,1552-1567(2020).MSC公司:90立方厘米 94甲17 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Savas}等人,IEEE Trans。自动。控制65,编号4,1552--1567(2020;Zbl 07256276) 全文: 内政部 arXiv公司
皮尔雷·梅耶(Pierre-Jean Meyer);迪马罗戈纳斯,迪莫斯五世。 非线性控制系统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,编号11,4676-4683(2019;兹bl 1437.93032) 全文: 内政部 arXiv公司
伊安尼斯·坎塔罗斯;郭孟;迈克尔·M·扎夫拉诺斯。 移动机器人网络的时序逻辑任务规划和间歇性连接控制。 (英语) Zbl 1482.93425号 IEEE传输。自动。控制 64,第10号,4105-4120(2019).MSC公司:93C85号 68平方米 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kantaros}等人,IEEE Trans。自动。控制64,编号10,4105--4120(2019;Zbl 1482.93425) 全文: 内政部 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.93189号 IEEE传输。自动。控制 64,编号2,480-495(2019).MSC公司:93亿B50 03B44号 93个B05 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{S.Sadraddini}和\textit{C.Belta},IEEE Trans。自动。控制64,No.2,480--495(2019;Zbl 1482.93189) 全文: 内政部 arXiv公司
郭孟;迈克尔·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公司
邓坤;陈玉山;卡林·贝尔塔 一种近似动态规划方法,用于具有时间逻辑约束的随机环境中的多智能体持久监控。 (英语) Zbl 1390.93867号 IEEE传输。自动。控制 62,第9期,4549-4563(2017).MSC公司:93E20型 90立方厘米 03B44号 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{K.Deng}等人,IEEE Trans。自动。对照62,编号9,4549-4563(2017;兹bl 1390.93867) 全文: 内政部
孔昭丹;奥斯汀·琼斯;卡林·贝尔塔 用于学习和检测异常行为的时间逻辑。 (英语) Zbl 1368.68283号 IEEE传输。自动。控制 62,第3期,1210-1222(2017).MSC公司:68T05型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kong}等人,IEEE Trans。自动。Control 62,No.3,1210--1222(2017;Zbl 1368.68283) 全文: 内政部
丁旭初;斯蒂芬·史密斯。;卡林·贝尔塔;罗斯,丹妮拉 线性时序逻辑约束下马尔可夫决策过程的最优控制。 (英语) 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;Zbl 1360.90276) 全文: 内政部
刘军;内克米耶·奥扎伊;乌富克托普库;理查德·默里(Richard M.Murray)。 从时间逻辑规范综合无功切换协议。 (英语) Zbl 1369.93307号 IEEE传输。自动。控制 58,第7期,1771-1785(2013).MSC公司:93C40型 68个M12 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,IEEE Trans。自动。控制58,No.7,1771---1785(2013;Zbl 1369.93307) 全文: 内政部
Tichakorn的Wongpiromsarn;乌富克托普库;理查德·默里(Richard M.Murray)。 远期时间逻辑规划。 (英语) Zbl 1369.93392号 IEEE传输。自动。控制 57,第11期,2817-2830(2012).MSC公司:93元65角 03B44号 93甲13 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{T.Wongpiromsarn}等人,IEEE Trans。自动。对照57,编号11,2817--2830(2012;Zbl 1369.93392) 全文: 内政部
马吕斯·克劳泽;卡林·贝尔塔 根据时序逻辑规范控制线性系统的全自动框架。 (英语) 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) 全文: 内政部
阿隆格利特·楚蒂南;布鲁斯·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 0986.93040号 IEEE传输。自动。控制 43,第11号,1543-1559(1998). 审核人:T.Riismaa(塔林) MSC公司:93元65角 93亿B50 93立方厘米83 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Barbeau}等人,IEEE Trans。自动。控制43,编号11,1543--1559(1998;Zbl 0986.93040) 全文: 内政部
乔纳森·奥斯特罗夫。;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) 全文: 内政部