×

找到51个文档（结果1-51）

最新的 引文 关联
阿尔贝托·法尔科内;阿尔弗雷多·加罗;Mukhametzhanov，Marat S。;亚罗斯拉夫·谢尔盖耶夫。

使用数值无穷小模拟Zeno行为下的混合系统。 （英文） Zbl 1492.93086号

Commun公司。非线性科学。数字。模拟。 111，文章ID 106443，21 p.（2022）.
MSC公司：93立方 93亿B55 65Z05个
PDF格式BibTeX公司 XML格式引用
\textit{A.Falcone}等人，Commun。非线性科学。数字。模拟。111，文章ID 106443，21 p.（2022；Zbl 1492.93086）
全文： 内政部
阿尔韦托·法尔科内;阿尔弗雷多·加罗;Mukhametzhanov，Marat S。;亚罗斯拉夫·谢尔盖耶夫。

基于Simulink的软件解决方案，使用无限计算机方法进行高阶微分。 （英文） Zbl 1510.65004号

申请。数学。计算。 409，文章ID 125606，15 p.（2021）.
MSC公司：65-04 65D25个 90立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Falcone}等人，应用。数学。计算。409，文章ID 125606，15页（2021；Zbl 1510.65004）
全文： 内政部
凯瑟琳·科德威尔;安德烈·普拉泽

走向物理混合系统。 （英文） Zbl 07178978号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 216-232 (2019).
MSC公司：60年第68季度 03B70号 93立方
PDF格式BibTeX公司 XML格式引用
\textit{K.Cordwell}和\textit{A.Platzer}，莱克特。注释计算。科学。11716、216——232（2019；Zbl 07178978）
全文： 内政部 arXiv公司
贝拉德，贝特里奇;帕特里夏·鲍耶;文森特·朱格

具有重叠轨迹的动力系统的有限互模拟。 （英文） Zbl 1528.68175号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第26条，第17页（2018年）。
MSC公司：65年第68季度 03B25号 03C64号 60年第68季度 68问题85 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}等人，LIPIcs--Leibniz Int.Proc。通知。119，第26条，第17页（2018；Zbl 1528.68175）
全文： 内政部
劳伦特·多恩;戈兰·弗雷斯;乔治·帕帕斯。;安德烈·普拉泽

混合动力系统的验证。 （英文） Zbl 1392.68246号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1047-1110 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，in：模型检查手册。查姆：斯普林格。1047--1110（2018；Zbl 1392.68246）
全文： 内政部
内森·富尔顿;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽

Bellerophon：混合系统的战术定理证明。 （英文） Zbl 1483.68191号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 207-224 (2017).
MSC公司：60年第68季度 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Fulton}等人，Lect。注释计算。科学。10499，207--224（2017；Zbl 1483.68191）
全文： 内政部
诺索夫，V。;Meda-Campaña，J.a。;J.C.戈梅兹·曼西拉。;埃斯科贝多·阿尔瓦，J.O。;埃尔南德斯·加西亚，R.G。

基于非常规Lyapunov函数的自治动态切换系统稳定性分析。 （英文） Zbl 1394.34109号

数学。问题。工程师。 2015年，文章ID 502475，12 p.（2015）.
MSC公司：34D20型 34A38型 93D20型
PDF格式BibTeX公司 XML格式引用
\textit{V.Nosov}等人，数学。问题。Eng.2015，文章ID 502475，12 p.（2015；Zbl 1394.34109）
全文： 内政部
博塔科夫斯基。

基于充分优化条件的逻辑动力学系统综合。 （英语。俄文原件） Zbl 1308.93082号

J.计算。系统。科学。国际。 49，第2期，207-221（2010）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2010年，第2期，41-55（2010）。
MSC公司：93亿B50 49K99美元
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Bortakovskii}，J.计算。系统。科学。国际49，第2号，207--221（2010；Zbl 1308.93082）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2010年第2期，第41-55页（2010年）
全文： 内政部
博塔科夫斯基。

确定性逻辑动力学系统轨迹束的最优和次优控制。 （英语。俄文原件） Zbl 1198.49014号

J.计算。系统。科学。国际。 48，第6号，873-890（2009）; Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2009年，第6期，29-46（2009）。
MSC公司：49公里15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Bortakovskii}，J.计算。系统。科学。国际48号，第6号，873--890（2009；Zbl 1198.49014）；Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2009年，第6期，第29-46期（2009年）
全文： 内政部
法特梅·达内什法尔;哈桑·贝夫拉尼

Retracted：“控制工程中的多代理系统：一项调查”。 （英文） Zbl 1435.93012号

控制科学杂志。工程师。 2009年，文章ID 531080，12 p.（2009）; 撤回同上，2009年，第569425条，第1页（2009年）。
MSC公司：93甲14 93-02
PDF格式BibTeX公司 XML格式引用
\textit｛F.Daneshfar｝和\textit｛H.Bevrani｝，《控制科学》杂志。Eng.2009，文章ID 531080，第12页（2009；兹bl 1435.93012）
全文： 内政部
路易斯·罗德里格斯;怎么了，乔纳森·P。

一类混杂系统的统一分析和控制器综合。 （英文） 兹比尔1116.93329

非线性分析。，理论方法应用。，序列号。A、 理论方法 65，第12号，2216-2235（2006）.
MSC公司：93亿B50 93元65角 93立方厘米 93D05型
PDF格式BibTeX公司 XML格式引用
\textit{L.Rodrigues}和\textit{J.P.How}，非线性分析。，理论方法应用。，序列号。A、 理论方法65，No.122216--2235（2006；Zbl 1116.93329）
全文： 内政部
葡萄藤古普塔;拉德哈·贾加迪桑;维杰·萨拉斯瓦特

并发约束编程模型。 （英文） Zbl 1514.68167号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 66-83 (1996).
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{V.Gupta}等人，Lect。注释计算。科学。1119、66-83（1996年；Zbl 1514.68167）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件