×

找到678个文档(结果1-100)

海报摘要:通过近似概率关系进行非线性随机游戏的控制器综合。 (英语) Zbl 07807733号

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

ABS:一种用于空间效率符号合成的正式正确的软件工具。 (英语) 兹伯利07807727

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第19号论文,第10页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一个更简单的替代方案:最小化过渡系统模交替模拟等效。 (英语) Zbl 07807715号

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第7号论文,第11页(2022年)。
PDF格式BibTeX公司 XML格式引用

自振荡控制系统中简单继电器控制器的综合。 (英语。俄文原件) Zbl 1501.93056号

自动。远程控制 83,第9期,1393-1403(2022)Avtom翻译。Telemekh公司。2022年,第9期,第81-93页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动控制系统。使用MATLAB。第二版。 (英语) Zbl 1496.93002号

查姆:斯普林格;新德里:Ane Books(ISBN 978-3-030-93444-6/hbk;978-3-0.30-93445-3/电子书;978-9-383-65627-1)。xix,第908页。(2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

OmegaThreads:常规目标的符号控制器设计。 (英语) Zbl 07807706号

2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第33号论文,第2页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

AROC:用于自动可达集最优控制器综合的工具箱。 (英语) Zbl 07807696号

2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第23号文件,第6页(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有状态时滞和中立型时滞的结构-参数不确定非仿射对象的组合非线性控制系统。 (英语。俄文原件) Zbl 1483.93482号

自动。远程控制 82,第12期,2192-2203(2021)达奇基姐妹翻译。2021年,第1期,50-58页(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

持续时间演算的鲁棒控制器综合。 (英语) Zbl 1517.68230号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12302, 429-446 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

学习具有屏障证书的安全神经网络控制器。 (英语) Zbl 1503.93022号

Pang,Jun(编辑)等,可靠软件工程。理论、工具和应用。第六届国际研讨会,SETTA 2020,中国广州,2020年11月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12153, 177-185 (2020).
PDF格式BibTeX公司 XML格式引用

下推安全游戏中的最佳弹性策略。 (英语) Zbl 07559445号

Esparza,Javier(ed.)等人,第45届计算机科学数学基础国际研讨会,MFCS 2020,2020年8月25日至26日,捷克共和国布拉格。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。170,第74条,第15页(2020年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

AMYTISS公司大规模随机系统的并行自动控制器综合。 (英语) Zbl 1481.93037号

Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12225, 461-474 (2020).
PDF格式BibTeX公司 XML格式引用

AMYTISS:大型随机系统自动控制器综合的并行工具。 (英语) Zbl 07300872号

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于计算受控不变集的简单层次结构。 (英语) Zbl 07300864号

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第23条,第11页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在状态矢量分量测量不完全的情况下构建航天器轨道定向的分析算法。 (英语。俄文原件) Zbl 1448.93089号

J.计算。系统。科学。国际。 58,第6号,969-979(2019)Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2019年,第6期,第128-138页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于惰性抽象的控制器综合。 (英语) Zbl 1447.93060号

Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,亚视2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11781, 23-47 (2019).
PDF格式BibTeX公司 XML格式引用

可分离核算子的反演及其在控制综合中的应用。 (英语) Zbl 1447.93102号

Valmorbida,Giorgio(编辑)等人,《延迟和互连:方法、算法和应用》。2015年11月25日至27日,法国吉夫·苏尔·伊维特(Gif-sur-Yvette),第四届DelSys研讨会的部分贡献。查姆:斯普林格。高级延迟动态。10, 265-280 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有标量控制输入和测量输出的线性离散定常系统的各向异性次优PID控制器的综合。 (英语。俄文原件) Zbl 1431.93024号

自动。远程控制 80,第9期,1681-1693(2019)Avtom翻译。Telemekh公司。2019年,第9期,第156-172页(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

具有动态力矩补偿的机械手控制系统。 (英语。俄文原件) 兹比尔1431.93046

自动。远程控制 80,第1期,189-199(2019)Avtom翻译。正式舞会。2015年,第5期,58-63(2015)。
MSC公司:93C85号 93亿B50
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种新的仿真度量,用于确定具有未知动态系统的安全环境和控制器。 (英语) Zbl 07120154号

2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。185-196 (2019).
PDF格式BibTeX公司 XML格式引用

综合最佳弹性控制器。 (英语) Zbl 1528.68085号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119,第34条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

T-S模糊系统稳定性分析和控制器综合的改进结果。 (英语) Zbl 1482.93540号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于异步自动机的控制。 (英语) Zbl 1491.68123号

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。93,第30条,第15页(2018)。
PDF格式BibTeX公司 XML格式引用

具有不确定性和决策的条件简单时间网络。 (英语) Zbl 1515.68294号

Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。90,第23条,第17页(2017年)。
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件