×

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

最新 引文 关联
马丁·范策尔;保罗·克罗格

魔鬼、赌徒和工程师。调和混合系统理论与计量学。 （英语） Zbl 1518.68170号

Jones，Cliff（编辑）等人，实时和混合系统研讨会。在周朝晨教授80岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11180, 165-185 (2018).
MSC公司：65年第68季度 91A80型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}和\textit{P.Kröger}，Lect。注释计算。科学。11180165-185（2018年；兹比尔1518.68170）
全文： 内政部
卜、雷;蒋慧;陈欣;唐恩毅;李宣东

HAT：将线性混合自动机分析为标记转换系统。 （英语） Zbl 1518.68163号

Jones，Cliff（编辑）等人，实时和混合系统研讨会。在周朝晨教授80岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11180, 85-104 (2018).
MSC公司：65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bu}等人，Lect。注释计算。科学。11180，85-104（2018；Zbl 1518.68163）
全文： 内政部
贝拉德，贝特里奇;帕特里夏·鲍耶;文森特·朱格

具有重叠轨迹的动力系统的有限互模拟。 （英语） 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）
全文： 内政部
纳瓦罗·洛佩斯，E.M。;医学博士O'Toole。

多刚体机械系统混合自动机的自动生成及其在安全特性伪造中的应用。 （英语） Zbl 1485.93277号

数学。计算。模型。动态。系统。 24，第1号，44-75（2018）.
MSC公司：93立方 2005年第70季度 92-08
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Navarro-López}和\textit{M.D.O'Toole}，数学。计算。模型。动态。系统。24，第1号，44--75（2018；Zbl 1485.93277）
全文： 内政部
尼玛·鲁希;帕维特拉·普拉巴卡;马赫什·维斯瓦纳坦

混合自动机的相关句法和语义扰动。 （英语） Zbl 1520.68066号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。118，第26条，第16页（2018年）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Roohi}等人，LIPIcs——莱布尼茨国际程序。通知。118，第26条，第16页（2018；Zbl 1520.68066）
全文： 内政部
露西娅·纳斯蒂;保罗·米拉佐

社交网络中网络成瘾现象的计算模型。 （英语） Zbl 1461.91231号

Cerone，Antonio（编辑）等人，《软件工程和形式化方法》。2017年SEFM并置研讨会：2017年9月4日至5日，意大利特伦托，DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10729, 86-100 (2018).
MSC公司：91天30分 65年第68季度 92立方厘米20
PDF格式BibTeX公司 XML格式引用
\textit{L.Nasti}和\textit{P.Milazzo}，莱克特。注释计算。科学。10729，86-100（2018；Zbl 1461.91231）
全文： 内政部
拉蒙·萨拉特;维琴察省普格;Travé-Massuyès，路易丝

基于行为自动机抽象的混合动态系统诊断。 （英语） Zbl 1455.93094号

Sayed-Mouchaweh，Moamar（编辑），混合动力和复杂系统的故障诊断。查姆：斯普林格。243-278 (2018).
MSC公司：93立方 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Sarrate}等人，in：混合动态和复杂系统的故障诊断。查姆：斯普林格。243-278（2018；Zbl 1455.93094）
全文： 内政部
哈迪·扎蒂;叶，丽娜;菲利普·达格;珍妮·皮尔·加洛瓦;Travé-Massuyès，路易丝

混合系统可诊断性分析的抽象细化。 （英语） Zbl 1461.93236号

Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。279-318 (2018).
审核人：Seenith Sivasundaram（代托纳海滩）
MSC公司：93立方 93个B07 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{H.Zaati}等人，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。279--318（2018；Zbl 1461.93236）
全文： 内政部
加布里埃拉·菲奥雷;埃琳娜·德·桑提斯;迪·贝内代托，玛丽亚·多梅尼卡

混合动力系统的安全可诊断性。 （英语） 兹比尔1455.93091

Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。175-200 (2018).
MSC公司：93立方 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Fiore}等人，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。175-200（2018年；Zbl 1455.93091）
全文： 内政部
杰里米·范·戈尔普;亚历山德罗·朱阿;迈克尔·迪福特;穆罕默德·杰马伊

使用Mealy机器建模对切换系统进行主动诊断。 （英语） Zbl 1455.93095号

Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。147-173 (2018).
MSC公司：93立方 65年第68季度 93-10
PDF格式BibTeX公司 XML格式引用
\textit{J.van Gorp}等人，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。147--173（2018；Zbl 1455.93095）
全文： 内政部 哈尔
斯特凡·舒普;艾丽卡·阿尔布拉汉姆

混合系统可达性分析的有效动态误差减少。 （英语） 兹比尔1423.68290

Beyer，Dirk（ed.）等人，《系统构建和分析的工具和算法》。第24届国际会议，TACAS 2018，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2018，希腊塞萨洛尼基，2018年4月14日至20日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10806, 287-302 (2018).
MSC公司：60年第68季度 65年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Schupp}和\textit{E.ábrahám}，莱克特。注释计算。科学。10806287--302（2018；Zbl 1423.68290）
全文： 内政部
弗拉基米尔·辛亚科夫;安托万·吉拉德

混合程序的形式化控制器综合。 （英语） Zbl 1417.93161号

第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。271-272 (2018).
MSC公司：93立方 93B50个 65年第68季度 93-04
PDF格式BibTeX公司 XML格式引用
\textit{V.Sinyakov}和\textit{A.Girard}，in：第21届ACM混合系统国际会议论文集：计算和控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。271--272（2018；Zbl 1417.93161）
全文： 内政部 哈尔
阿克沙·拉汉斯;斯林塔·阿瓦达努拉;阿隆格利特·楚蒂南;彼得·莫斯特曼。;张，付

使用Simulink和Stateflow对混合动力进行图形建模。 （英语） 兹比尔1417.93160

第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11日至13日。纽约州纽约市：计算机协会（ACM）。247-252 (2018).
MSC公司：93立方 93A30型 93B40码 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Rajhans}等人，in：第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）。247--252（2018；Zbl 1417.93160）
全文： 内政部

第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。 （英语） Zbl 1402.93017号

纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-5642-8）。x、 第286页。(2018).
MSC公司：93-06 68-06 65年第68季度 60年第68季度 93立方 00B25型
PDF格式BibTeX公司 XML格式引用
第21届ACM混合系统国际会议论文集：计算与控制，HSCC 2018，葡萄牙波尔图，2018年4月11-13日。纽约州纽约市：计算机协会（ACM）（2018；Zbl 1402.93017）
全文： 内政部
穆罕默德·赫杰里;亚历山德罗·朱阿;侯赛因·莫赫塔里

通过基于自动机的离散时间混合自动机实现，研究混合逻辑动力系统的复杂性和动力学特性。 （英语） Zbl 1402.93144号

国际J鲁棒非线性控制 28，第16号，4713-4746（2018）.
MSC公司：93立方 93C55美元 93B11号机组 65年第68季度 68问题80
PDF格式BibTeX公司 XML格式引用
\textit｛M.Hejri｝et al.，Int.J.鲁棒非线性控制28，编号164713-4746（2018；Zbl 1402.93144）
全文： 内政部
斯科贝列夫，V.V。;斯科贝列夫，V.G。

混合自动机分析的一些问题。 （英语。俄文原件） Zbl 1445.68127号

赛博。系统。分析。 54，第4期，517-526（2018）; 翻译自Kibern。修女。分析。2018年第4期，第3-15页（2018年）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.V.Skobelev}和\textit{V.G.Skobelev}，Cybern。系统。分析。54，No.4，517--526（2018；Zbl 1445.68127）；翻译自Kibern。修女。分析。2018年第4号、第3--15号（2018）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件