郭孟;廖天军;王俊杰;李忠奎 概率时间任务和安全返回约束下的分层运动规划。 (英语) 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公司
安托万·吉拉德;阿帕扎·佩雷斯,W.亚历杭德罗 使用定量合成对吸引控制器进行抽象细化。 (英语) Zbl 07746903号 IEEE传输。自动。控制 68,编号9,5745-5751(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}和\textit{W.A.Apaza Perez},IEEE Trans。自动。控制68,编号9,5745--5751(2023;Zbl 07746903) 全文: 内政部
玛丽亚·沙里蒂杜;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑规范下具有在线屏障功能设计的后退地平线控制。 (英语) 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) 全文: 内政部
伊利赛·马科维奇克(Elisei Macoveiciuc);冈瑟Reissig 具有内存减少保证的即时符号合成。 (英语) 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 07742244号 IEEE传输。自动。控制 68,第4期,2245-2260(2023年).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{F.Djeumou}等人,IEEE Trans。自动。控制68,编号4,2245--2260(2023;Zbl 07742244) 全文: 内政部 arXiv公司
李依南;孙志兵;刘军 非线性系统时序逻辑控制的规范指导框架。 (英语) 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公司
林德曼,拉尔斯;乔治·帕帕斯。;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑的反应式和风险意识控制。 (英语) 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公司
汤马斯·马斯托普斯 自动机和Petri网的临界可观察性。 (英语) Zbl 1483.93041号 IEEE传输。自动。控制 65,编号1,341-346(2020).MSC公司:93个B07 65年第68季度 68问题85 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{T.Masoput},IEEE Trans。自动。控制65,编号1,341--346(2020;Zbl 1483.93041) 全文: 内政部 arXiv公司
马吉德·扎马尼;佩曼Mohajerin Esfahani;鲁帕克·马朱姆达尔;亚历山德罗·阿巴特;约翰·莱杰罗斯 通过近似双相似有限抽象实现随机系统的符号控制。 (英语) Zbl 1360.93445号 IEEE传输。自动。控制 59,第12号,3135-3150(2014).MSC公司:93元65角 65年第68季度 68问题85 93亿B50 93E03型 PDF格式BibTeX公司 XML格式引用 \textit{M.Zamani}等人,IEEE Trans。自动。对照59,编号12,3135-3150(2014;Zbl 1360.93445) 全文: 内政部 arXiv公司
拉玛瓦拉普·斯雷尼瓦斯。 Petri网语言的最小表示。 (英语) Zbl 1368.68241号 IEEE传输。自动。控制 51,第5号,799-804(2006).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Sreenivas},IEEE Trans。自动。控制51,No.5,799--804(2006;Zbl 1368.68241) 全文: 内政部
圣埃芬·高伯特;亚历山德罗·朱阿 确定性弱和标记Petri网语言是正则的。 (英语) Zbl 0867.93009号 IEEE传输。自动。控制 41,第12期,1802-1803(1996). 审核人:Y.M.El-Fattah(圣莫尼卡) MSC公司:93甲13 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaubert}和\textit{A.Giua},IEEE Trans。自动。控制41,第12号,1802--1803(1996;Zbl 0867.93009) 全文: 内政部 链接
石乐源 离散事件动力系统的间断摄动分析。 (英语) Zbl 0880.93062号 IEEE传输。自动。控制 41,第11期,1676-1681(1996). 审核人:T.M.Liebling(洛桑) MSC公司:93埃99 93E25型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Shi},IEEE翻译。自动。控制41,No.11,1676--1681(1996;Zbl 0880.93062) 全文: 内政部
拉特内什·库马尔;劳伦斯·霍洛韦(Lawrence E.Holloway)。 用常规规范语言对确定性Petri网进行监督控制。 (英语) Zbl 0867.93045号 IEEE传输。自动。控制 41,第2期,245-249(1996). 审核人:G.J.Olsder(代尔夫特) MSC公司:93立方 93B40码 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kumar}和\textit{L.E.Holloway},IEEE Trans。自动。控制41,No.2,245--249(1996;Zbl 0867.93045) 全文: 内政部
圣埃芬·高伯特 (max,+)自动机的性能评估。 (英语) Zbl 0855.93019号 IEEE传输。自动。控制 40,第12期,2014-2025(1995). 审核人:G.J.Olsder(代尔夫特) MSC公司:93B25型 93A10号 93E03型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaubert},IEEE传输。自动。Control 40,No.12,2014--2025(1995;Zbl 0855.93019) 全文: 内政部
拉玛瓦拉普·斯雷尼瓦斯。 关于决定语言(K)相对于语言(L)的可控性的注记。 (英语) Zbl 0771.68078号 IEEE传输。自动。控制 38,第4期,658-662(1993).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Sreenivas},IEEE Trans。自动。控制38,编号4,658--662(1993;Zbl 0771.68078) 全文: 内政部
圣菲拉福顿;哟,Hyuck 关于Petri网语言的一些结果。 (英语) 兹比尔0709.68036 IEEE传输。自动。控制 35,第4期,482-485(1990).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lafortune}和\textit{H.Yoo},IEEE Trans。自动。控制35,编号4,482--485(1990;Zbl 0709.68036) 全文: 内政部 链接
曹锡仁 离散事件系统的可预测性。 (英语) Zbl 0691.68082号 IEEE传输。自动。控制 34,第11期,1168-1171(1989).MSC公司:65年第68季度 68问题85 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{X.-R.Cao},IEEE Trans。自动。控制34,编号11,1168--1171(1989;Zbl 0691.68082) 全文: 内政部
何永川。 解释了扰动分析。 (英语) Zbl 0649.93057号 IEEE传输。自动。控制 33,编号8761-763(1988).MSC公司:93E03型 65年第68季度 93B35型 65二氧化碳 93C99号 PDF格式BibTeX公司 XML格式引用 \textit{Y.C.Ho},IEEE传输。自动。控制33,编号8,761--763(1988;Zbl 0649.93057) 全文: 内政部
张寿元 一种新的实现理论。 (英语) Zbl 0648.93006号 IEEE传输。自动。控制 33,第7号,669-672(1988).MSC公司:93B15号机组 93B25型 93二氧化碳 93B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.-Y.Zhang},IEEE Trans。自动。对照组33,编号7,669--672(1988;Zbl 0648.93006) 全文: 内政部
斯蒂芬·博伊德。;文卡塔拉马南·巴拉克里什南;克雷格·H·巴拉特。;纳赛尔·卡莱什(Nasser M.Khrashi)。;李晓明;大卫·G·迈耶。;史蒂芬·诺曼。 线性控制器的新CAD方法和相关架构。 (英语) 兹伯利0641.93027 IEEE传输。自动。控制 33,第3号,268-283(1988). 审核人:佩特科夫 MSC公司:93B40码 93亿B50 93二氧化碳 65K10码 65年第68季度 68单位99 93立方35 93D15号 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Boyd}等人,IEEE Trans。自动。控制33,编号3,268--283(1988;Zbl 0641.93027) 全文: 内政部
A.C.安托拉斯。 线性系统理论中综合问题的一种新方法。 (英语) Zbl 0565.93027号 IEEE传输。自动。控制 30, 465-473 (1985). 审核人:J.锤子 MSC公司:93亿B50 93二氧化碳 93立方35 93B15号机组 93B25型 93C99号 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Antoulas},IEEE传输。自动。对照组30465-473(1985年;Zbl 0565.93027) 全文: 内政部
阿杰·雷纳(Ajay K.Raina)。;T·卡鲁纳卡兰。 交换环上线性动力系统的可逆性。 (英语) Zbl 0498.93014号 IEEE传输。自动。控制 28, 227-228 (1983).MSC公司:93B25型 93二氧化碳 93C55美元 13层25 93B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Raina}和\textit{T.Karunakaran},IEEE Trans。自动。控制28227--228(1983;Zbl 0498.93014) 全文: 内政部
乔治·萨里迪斯。 模式识别方法在控制系统中的应用。 (英语) 兹伯利044693074 IEEE传输。自动。控制 26, 638-645 (1981).MSC公司:93E20型 68吨10 68T05型 62立方厘米10 62L20型 65年第68季度 93E12号机组 92 C50 90B99型 PDF格式BibTeX公司 XML格式引用 \textit{G.N.Saridis},IEEE Trans。自动。控制26,638--645(1981;Zbl 0486.93074) 全文: 内政部
罗杰·布罗克特(Roger W.Brockett)。;艾伦·S·威尔斯基。 有限群同态序列系统。 (英语) Zbl 0273.93003号 IEEE传输。自动。控制 17, 483-490 (1972).MSC公司:93A10号 93B25型 65年第68季度 93个B05 PDF格式BibTeX公司 XML格式引用 \textit{R.W.Brockett}和\textit{A.S.Willsky},IEEE Trans。自动。控制17,483--490(1972;Zbl 0273.93003) 全文: 内政部