朱塞佩·德拉·佩纳；贝内代托·恩特里吉拉；丹尼尔·马加泽尼；伊戈尔·梅拉蒂；恩里科·特隆西 CGMurphi：非线性混合系统数字控制器的自动综合。 （英语） Zbl 1293.93313号 欧洲药典控制 19，第1期，14-36（2013）. 摘要：在过去几年中，控制器的使用变得非常普遍，因此正在进行大量工作来创建自动控制器合成工具。在处理关键系统时，大多数情况下要求此类控制器最优的和坚固耐用的也就是说，他们必须以最少的资源消耗实现目标，并且能够处理意外情况。所有这些本质上难以满足的要求，在处理时变得更具挑战性混合系统，它代表了广泛的现实世界系统。本文提出了一种基于模型检查的工具，即CGMurphi，它有助于为具有复杂动力学（可能是混合系统）的系统生成最优和鲁棒的数字控制器。该工具提供了一个完整的控制器生成解决方案，还能够有效地压缩控制器并对其进行编码，以便将其直接嵌入软件/硬件系统。该工具已经进行了广泛的试验，取得了非常有希望的结果。特别是，本文报告了与两个学术案例研究相关的完整实验结果，以及将CGMurphi应用于工业关键系统所取得的初步成果。 引用于1文件 MSC公司： 93亿B50 合成问题 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 93立方厘米 控制理论中的非线性系统 关键词：自动控制器综合；非线性混合系统；基于模型检查的工具 软件：UPPAAL TIGA公司；CGMurphi公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Della Penna}等人，《欧洲期刊控制》第19卷，第1期，第14-36页（2013年；Zbl 1293.93313） 全文： 内政部 参考文献： [1] Arnol’d，V.I.，《常微分方程》（1992），Springer-Verlag:Springer-Verlag Berlin·Zbl 0744.34001号 [6] Bertsekasm，D.P.，《动态规划和最优控制》（2005），雅典娜科学出版社·邮编1125.90056 [7] 博比奥，A。；Ciancamerla，E。；弗朗西斯科尼斯，G。；盖塔，R。；米尼奇诺，M。；Portinale，L.，《增加安全分析建模能力的方法，应用于涡轮机数字控制系统》，（安德森，斯图亚特；博洛尼亚，桑德罗；Felici，Massimo，《计算机安全、可靠性和安全》，第21届国际会议，SAFECOMP 2002，卡塔尼亚，意大利，2002年9月10日至13日，计算机科学论文集，第2434卷（2002），Springer），212-223 [8] 博比奥，A。；Ciancamerla，E。；格里鲍多，M。；Horvath，A。；米尼奇诺，M。；Tronci，E.，基于流体petri网的ICARO热电厂温度控制系统模型检查，（Anderson，Stuart；Bologna，Sandro；Felici，Massimo，《计算机安全、可靠性和安全》，第21届国际会议，SAFECOMP 2002，卡塔尼亚，意大利，2002年9月10日至13日，计算机科学论文集，第2434卷（2002），Springer），273-283 [10] 博雷利，F。；Baotic，M。；Bemporad，A。；Morari，M.，离散时间线性混合系统约束最优控制的动态规划，Automatica，411709-1721（2005）·Zbl 1125.49310号 [11] Bryant，R.，布尔函数操作的基于图形的算法，IEEE计算机事务-C，35，8月（8），677-691（1986）·兹比尔0593.94022 [14] 科丁顿，美国东部。；莱文森，N.，《常微分方程理论》（1955），麦格劳希尔·Zbl 0064.33002号 [22] Wassim M.Haddad。；Chellaboina，Vijaysekhar，非线性动力系统和控制，基于Lyapunov的方法（2008），普林斯顿大学出版社·Zbl 1142.34001号 [24] Hsu，C.S。；Guttalu，R.S.，《动力系统全局分析的分解算法——细胞间映射的应用》，美国机械工程师协会学报E辑，应用力学杂志，47940-948年12月（1980）·Zbl 0452.58020号 [25] Hsu，C.S.，基于细胞状态空间概念的最优控制离散方法，优化理论与应用杂志（1985）·Zbl 0548.93040号 [26] Hsu，C.S.，细胞到细胞映射（1987），Springer-Verlag·Zbl 0632.58002号 [27] O.Junge。；Osinga，H.，面向集合的全局最优控制方法，ESAIM:控制、优化和变分计算（电子版），10，2，259-270（2004）·Zbl 1072.49014号 [29] Kaynar，D.K。；林奇，N。；塞加拉，R。；Vaandrager，F.，《定时I/O自动机理论》（2006），摩根和克莱普尔出版社 [30] Kreisselmeier，G。；Birkholzer，T.，数字非线性调节器设计，IEEE自动控制汇刊，39，1月（1），33-46（1994）·Zbl 0796.93034号 [31] Levine，W.S.，《控制手册》（2005），Jaico出版社 [32] Lin，Feng，《鲁棒控制设计：最优控制方法》（2007），Wiley-Interscience [33] Lunze，Jan；Lamnabhi-Lagarigue，Françoise，《混合系统控制手册》（2009），剑桥大学出版社·Zbl 1180.93001号 [35] David J.Musliner。；埃德蒙·杜菲（Edmund H.Durfee）。；Shin，Kang G.，CIRCA:一种协作智能实时控制体系结构，IEEE系统、人类和控制论汇刊，231561-1574（1993） [37] 爸爸，M。；Tai，H。；Shenoi，S.，控制器设计和评估的单元映射，IEEE控制系统，17，2，52-65（1997） [38] 爸爸，M。；伍德，J。；Shenoi，S.，使用单元映射评估控制器鲁棒性，模糊集和系统，121，1，3-12（2001）·Zbl 0978.93527号 [40] Sontag，E.D.，《非线性监管：分段线性方法》，IEEE自动控制交流汇刊，26，2，346-358（1981）·Zbl 0474.93039号 [41] Sontag，E.D.，关于分段线性代数的评论，《太平洋数学杂志》，98，1，183-201（1982）·Zbl 0489.52010 [43] Paulo Tabuada，《混合系统的验证与控制》（2009），Springer出版社·Zbl 1195.93001号 [48] Weihrauch，K.，《可计算分析：导论》，《理论计算机科学文本》（2000年），施普林格出版社·Zbl 0956.68056号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。