达姆，沃纳；艾克·莫尔曼；阿斯特里德·拉科夫 基于组件的混合系统设计：并发和耦合的案例研究。 （英语） Zbl 1361.68142号 第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。145-150 (2014). 引用于4文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：假设担保；自动验证；作文；计算机辅助设计；混合系统；接口；安全；规范；稳定性 软件：雅尔米普；CPLEX公司；MPT公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人，in：第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。145-150（2014年；Zbl 1361.68142） 全文： 内政部 参考文献： [1] IBM ILOG CPLEX Optimization Studio，2013年，http://www-01.ibm.com/software/integration/优化/cplex-optimization-studio/。 [2] F.Blanchini和S.Miani。控制中的集合理论方法。Birkh“{}auser，波士顿，巴塞尔，柏林，2008年·Zbl 1140.93001号 [3] F.Borrelli、M.Baotic、A.Bempoad和M.Morari。计算离散时间混合系统状态反馈最优控制律的高效算法。程序中。美国控制委员会（ACC），第4717 4722页，美国科罗拉多州丹佛市，2003年。 [4] H.Chen和F.Allg“{}ower。一种具有保证稳定性的拟无限区间非线性模型预测控制方案。自动机，34（10）：1205 12171998·Zbl 0947.93013号 [5] G.Feng。分段离散时间线性系统的稳定性分析。IEEE传输。自动化。控制，47（7）：1108 11122002·Zbl 1364.93563号 [6] E.Gilbert和K.Tan。具有状态和控制约束的线性系统：最大输出容许集的理论和应用。IEEE传输。自动化。控制，36（9）：1008 10201991·Zbl 0754.93030号 [7] J.-C.亨奈特。Farkas引理和应用程序中包含的“me de r”{}e regulation lin\'{}eaire sous的扩展。Comptes-Rendus de l Acad\'{}emie des Sciences，S’{}erie I，308:415 4191989。 [8] M.Herceg、M.Kvasnica、C.N.Jones和M.Morari，《多参数工具箱3.0》。欧洲控制会议（ECC），第502 510页，Z“{}urich，瑞士，2013，网址：http://control.ee.ethz.ch/mpt（英里/小时）。 [9] M.Johansson和A.Rantzer。混合系统分段二次Lyapunov函数的计算。IEEE传输。自动化。控制，43（4）：555 5591998·Zbl 0905.93039号 [10] 拉扎尔先生。关于作为Lyapunov函数的内城范数：替代必要条件和su.cient条件。程序中。第49届IEEE Conf.Decision and Control（CDC），第5936 5942页，美国佐治亚州亚特兰大，2010年。 [11] M.Lazar、W.Heemels和A.R.Teel。离散时间不连续系统的李亚普诺夫函数、稳定性和输入-状态稳定性子集。IEEE传输。自动化。控制，54（10）：2421 24252009·Zbl 1367.93471号 [12] M.Lazar和A.Joki\'{}c.关于作为分段A.ne系统Lyapunov函数的In.nity范数。程序中。第13届国际会议《混合系统：计算与控制》（HSCC），第131141页，瑞典斯德哥尔摩，2010年·Zbl 1360.93554号 [13] J.L“{}of berg.YALMIP:MATLAB中建模和优化的工具箱。CACSD会议论文集，284 289页，台湾台北，2004，http://users.isy.liu.se/johanl/yalmip。 [14] L.Lu和W.P.M.H.Heemels以及A.Bemporad。低复杂度稳定分段a.ne控制器的综合：一种控制-Lyapunov函数方法。程序中。IEEE Conf.Decision and Control（CDC），European Control Conf.（ECC），第1227 1232页，美国佛罗里达州奥兰多，2011年。 [15] D.Q.Mayne和S.Rakovi。约束分段离散时间系统的模型预测控制。国际鲁棒与非线性控制杂志，13（3-4）：261 2792003。 [16] D.Q.Mayne、J.B.Rawlings、C.V.Rao和P.O.M.Scokaert。约束模型预测控制：稳定性和优化。自动化，36（6）：789 8142000·Zbl 0949.93003号 [17] S.V.Rakovi和M.Lazar。MPC的Minkowski终端成本函数。Automatica，48（10）：2721 27252012年·Zbl 1308.93080号 [18] J.B.罗林斯和D.Q.梅恩。模型预测控制：理论与设计。诺布·希尔出版社，威斯康星州麦迪逊，2009年。 [19] R.T.Rockafellar公司。凸分析。普林斯顿大学出版社，新泽西州普林斯顿，1970年·Zbl 0193.18401号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。