×
达姆，沃纳;海宁·迪尔克斯;延斯·奥勒金;阿米尔·普努利

面向基于组件的混合系统设计：安全性和稳定性。 （英语） Zbl 1288.68162号

Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲稿6200，96-143（2010）。
摘要：我们提出了一种基于库的增量设计方法，用于从混合控制器模型的组件库中构造混合控制器，从而保持全局安全性和稳定性。为此，我们提出了组件的混合接口规范，用于描述安全和稳定特性得到保证的工厂区域，以及例外机制，允许在工厂向可控动力学边界发展时安全和稳定地转移控制。然后，我们提出了一个复合操作符，用于从由混合接口规范的组合和自动证明支持的此类预先特征化组件库中构造混合自动机。
有关整个系列，请参见[兹比尔1194.68054].

引用于4文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
93亿B51 设计技术（稳健设计、计算机辅助设计等）
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）

软件：

塞杜米;CSDP公司;高超声速;PHAVer公司
PDF格式BibTeX公司 XML格式引用
\textit{W.Damm}等人，Lect。注释计算。科学。6200，96-143（2010年；兹比尔1288.68162）
全文： 内政部

参考文献：

[1] Boyd，S.，El Ghaoui，L.，Feron，E.，Balakrishnan，V.：系统和控制理论中的线性矩阵不等式。工业和应用数学学会（SIAM）（1994年）·Zbl 0816.93004号 ·数字对象标识代码：10.1137/1.9781611970777
[2] Borchers，B.：CSDP，半定编程的C库。优化方法和软件10（1），613–623（1999），https://projects.coin-or.org/Csdp/ ·Zbl 0973.90524号 ·doi:10.1080/10556789908805765
[3] Damm，W.、Mikschl，A.、Oehlerging，J.、Olderog，E.-R.、Pang，J.，Platzer，A.、Segelken，M.、Wirtz，B.：交通应用中合作、控制和设计的自动化验证。收录：Jones，C.B.，Liu，Z.，Woodcock，J.（编辑）《形式方法和混合实时系统》。LNCS，第4700卷，第115-169页。斯普林格，海德堡（2007）·Zbl 1151.68476号 ·doi:10.1007/978-3-540-75221-96
[4] Damm，W.，Peikenkamp，T.，Josko，B.：基于合同的ISO CD 26262安全分析。参加：SAE世界大会——安全关键系统会议（2009年）
[5] Frehse，G.：PHAVer：HyTech过去混合系统的算法验证。收录：Morari，M.，Thiele，L.（编辑）HSCC 2005。LNCS，第3414卷，第258-273页。施普林格，海德堡（2005）·Zbl 1078.93533号 ·doi:10.1007/978-3-540-31954-2_17
[6] Frehse，G.：混合系统和组成的定时仿真关系。收录：Asarin，E.，Bouyer，P.（eds.）FORMATS 2006。LNCS，第4202卷，第200-214页。斯普林格，海德堡（2006）·Zbl 1141.68434号 ·doi:10.1007/11867340_15
[7] Frehse，G.：PHAVer：通过HyTech对混合系统进行算法验证。STTT–国际技术转让软件工具杂志10（3），263-279（2008）·Zbl 05536139号 ·数字对象标识代码：10.1007/s10009-007-0062-x
[8] Henzinger，T.、Minea，M.、Prabhu，V.S.：层次混合系统的假设保证推理。作者：di Benedetto，M.，Sangiovanni Vincentelli，A.（编辑）HSCC 2001。LNCS，第2034卷，第275-290页。斯普林格，海德堡（2001）·Zbl 0991.93002号 ·doi:10.1007/3-540-45351-2_24
[9] Jha，S.，Brady，B.A.，Seshia，S.A.：惰性线性混合自动机的符号可达性分析。格式：Raskin，J.-F.，Thiagarajan，P.S.（编辑）2007。LNCS，第4763卷，第241-256页。斯普林格，海德堡（2007）·Zbl 1141.93352号 ·doi:10.1007/978-3-540-75454-1_18
[10] Josko，B.，Ma，Q.，Metzner，A.：使用异构丰富组件设计嵌入式系统。摘自：INCOSE国际研讨会会议记录（2008年）
[11] 医学硕士利亚普诺夫：稳定运动问题。Ann.工厂。科学。图卢兹9，203–474（1907）（翻译发表于1893年哈尔科夫公共数学学会的一篇论文，重印《数学年鉴》第17期，普林斯顿大学出版社，1949年）·JFM 38.0738.07号 ·doi:10.5802/afst.246
[12] Oehlerking，J.，Theel，O.：混合系统Lyapunov函数的分解构造。收录人：Majumdar，R.，Tabuada，P.（编辑）HSCC 2009。LNCS，第5469卷，第276–290页。斯普林格，海德堡（2009）·Zbl 1237.93161号 ·doi:10.1007/978-3642-00602-9_20
[13] Pettersson，S.：混合系统的分析与设计。哥德堡查尔默斯科技大学博士论文（1999年）·Zbl 0954.13010号
[14] Prajna，S.，Jadbabaie，A.：使用屏障证书对混合系统进行安全验证。In:Alur，R.，Pappas，G.J.（编辑）HSCC 2004。LNCS，第2993卷，第477-492页。斯普林格，海德堡（2004）·Zbl 1135.93317号 ·doi:10.1007/978-3-540-24743-232
[15] Romanko，O.，Pólik，I.，Sturm，J.F.：使用SeDuMi 1.02，一个用于对称锥体优化的MATLAB工具箱（1999）
[16] Stauner，T.：混合系统的系统开发。慕尼黑理工大学博士论文（2001年）·Zbl 1023.93512号
[17] Stauner，T.：混合自动机的离散时间精化。收录人：Tomlin，C.J.，Greenstreet，M.R.（编辑）HSCC 2002。LNCS，第2289卷，第407-420页。斯普林格，海德堡（2002）·兹比尔1044.93522 ·doi:10.1007/3-540-45873-5_32
[18] Tabuada，P.，Pappas，G.J.，Lima，P.：混合控制系统的组成抽象。离散事件动态系统14（2）（2004）·Zbl 1060.93070号 ·doi:10.1023/B:DISC.00000018571.14789.24文件
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。