林德曼,拉尔斯;乔治·帕帕斯。;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑的反应式和风险意识控制。 (英语) 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公司
北迪帕·潘达莱。;拉里·霍洛韦(Larry E.Holloway)。 定时离散事件过程故障监测的模板语言。 (英语) Zbl 0979.93071号 IEEE传输。自动化。控制 45,第5期,868-882(2000). 审核人:卡尔·海因茨·沃尔德曼(卡尔斯鲁厄) MSC公司:93元65角 90B25型 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Pandalai}和\textit{L.E.Holloway},IEEE Trans。自动化。控件45,编号5,868--882(2000;Zbl 0979.93071) 全文: 内政部
米歇尔·巴博;弗罗杜亚德·卡班扎;理查德·圣丹尼斯 一种综合控制器以处理安全性、活跃性和实时性约束的方法。 (英语) Zbl 0986.93040号 IEEE传输。自动化。控制 43,第11期,1543-1559(1998). 审核人:T.Riismaa(塔林) MSC公司:93元65角 93亿B50 93C83号 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Barbeau}等人,IEEE Trans。自动化。控制43,编号11,1543--1559(1998;Zbl 0986.93040) 全文: 内政部
Park,Yongseok公园;Edwin K.P.Chong。 中断时间离散事件系统中的开(d)反转。 (英语) Zbl 0891.93044号 IEEE传输。自动化。控制 42,第11期,1550-1554(1997). 审核人:B.F.Šmarda(布尔诺) MSC公司:93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.Park}和\textit{E.K.P.Chong},IEEE Trans。自动化。控件42,编号11,1550--1554(1997;Zbl 0891.93044) 全文: 内政部
圣埃芬·高伯特 (max,+)自动机的性能评估。 (英语) Zbl 0855.93019号 IEEE传输。自动化。控制 2014年至2025年第12期第40期(1995年). 审核人:G.J.Olsder(代尔夫特) MSC公司:93B25型 93A10号 93E03型 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaubert},IEEE传输。自动化。Control 40,No.12,2014--2025(1995;Zbl 0855.93019) 全文: 内政部