×

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

用逻辑验证切换系统的稳定性。 (英语) Zbl 07807710号

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

切换线性系统的动态事件触发平均停留时间控制。 (英语) Zbl 1504.93223号

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

切换区间系统存在镇定控制器的充分条件。 (英语。俄文原件) Zbl 1504.93298号

不同。埃克。 58,第4期,535-545(2022); 来自Differ的翻译。乌拉文。58,第4期,534-544页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关系微分动态逻辑。 (英语) 兹比尔1507.68189

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 191-208 (2020).
PDF格式BibTeX公司 XML格式引用

分数阶微分方程组的动态右侧重构问题。 (英语。俄文原件) Zbl 1432.93153号

不同。埃克。 55,第6号,849-858(2019); 来自Differ的翻译。乌拉文。55,第6期,865-874(2019)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:关系微分动态逻辑。 (英语) 兹伯利07120175

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

动态系统的优化和控制。基础、主要发展、实例和挑战。 (英语) 兹比尔1460.93002

系统、决策和控制研究107.查姆:施普林格出版社(ISBN 978-3-319-62645-1/hbk;978-3-3169-87362-6/pbk;978-1-319-62646-8/电子书)。xxi,666页。(2018).
审核人:金亮(上海)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于基于混合扩散方程的信息分布过程的一些模型。 (乌克兰语。英文摘要) Zbl 1413.91068号

MSC公司:91天30分 94甲15
PDF格式BibTeX公司 XML格式引用

电力系统动力学和控制。 (英语) Zbl 1478.78001号

控制工程。纽约州纽约市:Birkhäuser/S普林格出版社(ISBN 978-0-8176-4673-8/hbk;978-0-8176-4674-5/ebook)。xi,第271页。(2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最优切换系统的综合。 (英语。俄文原件) 兹比尔1391.49047

J.计算。系统。科学。国际。 54,第5期,715-737(2015); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2015年,第5期,48-72(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合控制Lyapunov函数用于混合系统的镇定。 (英语) Zbl 1364.93628号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。73-82 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

延续食谱。 (英语) 兹比尔1277.65037

计算科学与工程11.宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 978-1-611972-56-6/pbk;978-1-611197-257-3/ebook)。xv,584页。(2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用二次Volterra多项式对矢量输入的非线性动力系统进行数值模拟。 (俄语。英文摘要) Zbl 1331.93105号

PDF格式BibTeX公司 XML格式引用
全文: MNR公司

控制和自动化。2009年12月10日至12日,作为未来一代信息技术会议的一部分,2009年加州国际会议在韩国济州岛举行。诉讼程序。 (英语) Zbl 1185.68746号

计算机与信息科学中的通信65.柏林:施普林格出版社(ISBN 978-3-642-10742-9/pbk;978-3-442-10741-2/电子书)。xi,第86页。(2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带Timoshenko梁的Reissner-Mindlin板的动态边界稳定。 (英语) Zbl 1057.35071号

MSC公司:72年第35季度 93D15号 74小时45 35B37型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

流固耦合问题动力分析的混合有限元子结构域方法。 (英语) Zbl 0856.73073号

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

柔性制造系统的动态设置调度:近似最优一般循环策略的设计和稳定性。 (英语) Zbl 0831.90066号

Kumar,P.R.(编辑)等人,《离散事件系统、制造系统和通信网络》。基于1992-93年在美国明尼苏达州明尼阿波利斯市明尼苏打大学举行的IMA控制理论课程不可分割的一部分研讨会的会议记录。IMA卷数学。申请。73, 73-104 (1995).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份