阿波法兹·拉瓦伊;萨代赫·苏贾尼;亚历山德罗·阿巴特;马吉德·扎马尼 随机混合系统的自动验证和综合:综述。 (英语) Zbl 1504.93389号 Automatica公司 146,文章ID 110617,40 p.(2022).MSC公司:93E12号机组 93立方 93C55美元 90立方厘米 93-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,Automatica 146,文章ID 110617,40 p.(2022;Zbl 1504.93389) 全文: 内政部 arXiv公司
蒂亚戈·图西(Thiago M.Tuxi)。;Lilian K·卡瓦略。;爱德华多·V·L·努斯。;安东尼奥·库尼亚 使用LTL模型检查进行可诊断性验证。 (英语) Zbl 1500.93071号 离散事件动态。系统。 32,第3号,399-433(2022).MSC公司:93元65角 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Tuxi}等人,离散事件Dyn。系统。32,第3号,399--433(2022;Zbl 1500.93071) 全文: 内政部
阿梅内·内贾蒂;萨代赫·苏贾尼;马吉德·扎马尼 连续随机混杂系统控制障碍函数的合成构造。 (英语) Zbl 1498.93673号 Automatica公司 145,文章ID 110513,11 p.(2022).MSC公司:93天30分 93E03型 93甲15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Nejati}等人,Automatica 145,文章ID 110513,11 p.(2022;Zbl 1498.93673) 全文: 内政部 arXiv公司
本杰明·比特纳;马可·波扎诺;亚历山德罗·西马蒂;马可·加里奥;斯特凡诺·托内塔;维克多利亚沃扎洛娃 公平过渡系统的可诊断性。 (英语) Zbl 1491.68107号 Artif公司。因特尔。 309,文章ID 103725,39 p.(2022).MSC公司:60年第68季度 90B25型 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{B.Bittner}等人,Artif。因特尔。309,文章ID 103725,39 p.(2022;Zbl 1491.68107) 全文: 内政部
罗希特·杜雷加;克里斯汀·罗泽尔。 通过可重用可达状态近似进行增量设计空间模型检查。 (英语) 兹比尔1492.68085 形式方法系统。设计。 58,编号3,375-398(2021).MSC公司:60年第68季度 68T20型 90B20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Dureja}和\textit{K.Y.Rozier},《形式方法系统》。设计。58,第3号,375--398(2021;Zbl 1492.68085) 全文: 内政部 链接
拉坦·拉尔;帕维特拉·普拉巴卡 概率混合系统可达性的有界验证。 (英语) Zbl 1514.68139号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11024, 240-256 (2018).MSC公司:60年第68季度 90立方厘米 93个B03 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Lal}和\textit{P.Prabhakar},莱克特。注释计算。科学。11024,240-256(2018;Zbl 1514.68139) 全文: 内政部
纳瓦罗·洛佩斯,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) 全文: 内政部
布莱克·罗林斯。;B.埃里克·伊德斯蒂 混合控制系统中组合不变性和可达性规范的伪造。 (英语) Zbl 1379.93003号 离散事件动态。系统。 27,第2期,463-479(2017).MSC公司:93甲13 93立方 93个B03 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Rawlings}和\textit{B.E.Ydstie},离散事件动态。系统。27,第2号,463--479(2017;Zbl 1379.93003) 全文: 内政部
JiříBarnat;彼得·鲍赫;尼古拉·贝内什;卢博什·布里姆;简·伯兰;托马斯·克拉托奇维拉 分析航空电子系统需求的健全性。 (英语) Zbl 1335.68131号 正式Asp。计算。 28,第1号,45-63(2016).MSC公司:60年第68季度 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,《形式语法》。计算。28,第1号,45-63(2016;Zbl 1335.68131) 全文: 内政部 arXiv公司
辛齐亚·伯纳德斯基;安德里亚·多梅尼奇 通过原型验证系统的交互式定理证明,验证非线性控制的安全特性。 (英语) Zbl 1356.68177号 Inf.流程。莱特。 116,第6号,409-415(2016).MSC公司:68吨15 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardeschi}和\textit{A.Domenici},Inf.过程。莱特。116,第6号,409--415(2016;Zbl 1356.68177) 全文: 内政部 链接
迪基·阿兹基亚;张以宁;亚历山德罗·阿巴特 VeriSIMPL 2型:用于验证max-plus-linear系统的开源软件。 (英语) 兹比尔1332.93255 离散事件动态。系统。 26,第1号,109-145(2016).MSC公司:93元65角 93-04 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{D.Adzkiya}等人,离散事件动态。系统。26,第1号,109--145(2016;Zbl 1332.93255) 全文: 内政部
亚历山德罗·西马蒂;塞尔吉奥·莫弗;斯特凡诺·托内塔 混合系统不变量的无量子化编码。 (英语) Zbl 1317.68111号 形式方法系统。设计。 45,第2期,165-188(2014).MSC公司:60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。45,第2号,165--188(2014;Zbl 1317.68111) 全文: 内政部
詹乃军;王淑玲;赵恒军 混合系统的形式化建模、分析和验证。 (英语) Zbl 1444.68105号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日,在中国上海举行的ICTAC 2013国际软件工程培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).MSC公司:60年第68季度 03B70号 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}等人,Lect。注释计算。科学。8050207--281(2013;Zbl 1444.68105) 全文: 内政部
蒂诺州泰格;安德烈亚斯·艾格斯;马丁·范策尔 并发概率混合系统的基于约束的分析:网络自动化系统的应用。 (英语) Zbl 1225.93102号 非线性分析。,混合系统。 5,第2期,343-366(2011).MSC公司:93E03型 93个B03 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Teige}等人,非线性分析。,混合系统。5,第2号,343--366(2011;Zbl 1225.93102) 全文: 内政部
朱莉娅·布拉曼(Julia M.B.Braman)。;理查德·默里(Richard M.Murray)。 基于目标的控制系统的互模拟转换和验证程序。 (英语) Zbl 1213.93139号 形式方法系统。设计。 38,第1期,62-95(2011).MSC公司:93C85号 93磅40 PDF格式BibTeX公司 XML格式引用 \textit{J.M.B.Braman}和\textit{R.M.Murray},形式方法系统。设计。38,编号1,62--95(2011;Zbl 1213.93139) 全文: 内政部
马丁·范策尔;霍尔格·赫尔曼斯;蒂诺州泰格 随机可满足性模理论:概率混合系统分析的新技术。 (英语) Zbl 1143.68452号 Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981172-186(2008)。MSC公司:60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,Lect。注释计算。科学。4981、172--186(2008年;Zbl 1143.68452) 全文: 内政部