×
Manuel jun，马祖。;保罗·塔布阿达

符号近似时间最优控制。 （英语） Zbl 1216.93052号

系统。控制信函。 60，第4期，256-263（2011）。
概要：对能够满足当今嵌入式应用程序复杂需求的控制器设计技术的需求越来越大。这种需求激发了人们对符号控制的兴趣，在符号控制中，控制系统的低复杂性模型被用来满足时序逻辑、正则语言或自动机给出的复杂规范。这些规范机制可以被视为定性的，因为它们将植物的轨迹分为坏轨迹（需要避免的轨迹）和好轨迹。然而，许多应用还需要根据成本或效用函数的规定，优化控制器保留的轨迹的定量测量。作为协调定性和定量规范的控制器综合的第一步，我们在本文中研究了符号模型在时间最优控制器综合中的应用。我们考虑通过近似（交替）模拟关系关联的系统，并展示了这种关系如何在系统之间传递时间最优信息。然后，我们通过使用较低复杂度的符号模型，利用此洞察力为控制系统合成近似时间最优的控制器。得到的近似时间最优控制器配备了到达目标时间的上下限，描述了控制器的质量。本文中描述的结果在Matlab工具箱Pessoa[M.Mazo jun、A.Davidian和P.塔布阿达，“Pessoa网站”（2009年），http://www.cyphylab.ee.ucla.edu/pessoa]我们用它来计算本文中报告的几个示例。

引用于2文件

MSC公司：

93亿B51 设计技术（稳健设计、计算机辅助设计等）
93亿B50 合成问题

关键词：

符号控制;近似模拟关系;近似时间最优控制

软件：

PESSOA公司;Matlab公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Mazo jun.}和\textit{P.Tabuada}，系统。控制信函。60，第4号，256--263（2011；Zbl 1216.93052）
全文： 内政部 arXiv公司

参考文献：

[1] Girard，A。；Pappas，G.J.，使用近似模拟的分层控制系统设计，Automatica，45，2，566-571（2009）·Zbl 1158.93301号
[2] 波拉，G。；Girard，A。；Tabuada，P.，非线性控制系统的近似双相似符号模型，Automatica，44，10，2508-2516（2008）·Zbl 1155.93322号
[3] Egerstedt，M.B。；弗拉佐利，E。；，P.G.J.，《复杂控制系统符号方法专题》，IEEE自动控制汇刊，51，6，921-923（2006）
[4] J.F.Canny，《机器人运动规划的复杂性》，麻省理工学院出版社，1988年，博士论文。；J.F.Canny，机器人运动规划的复杂性，博士论文，麻省理工学院出版社，1988年·Zbl 0668.14016号
[5] Pontryagin，L.S.，最优调节过程，Uspekhi Matematicheskikh Nauk，14，1（85），3-20（1959），（俄语）·Zbl 0089.33401号
[6] Bellman，R.，《动态规划理论》，美国国家科学院学报，38，8，716-719（1952）·Zbl 0047.13802号
[7] Grüne，L。；Junge，O.，面向集合的全局最优控制器构造，At-Automatisierungstechnik，57，6，287-295（2009）
[8] 布罗基，M。；Domenica Di Benedetto先生。；Gennaro，S.D。；Sangiovanni-Vincentelli，A.，使用混合系统有效解决最优控制问题，SIAM控制与优化杂志，43，6，1923-1952（2005）·Zbl 1098.49027号
[9] S.Karaman，R.G.Sanfelice，E.Frazzoli，《具有线性时序逻辑规范的混合逻辑动力系统的最优控制》，载《第47届IEEE决策与控制会议论文集》，2008年，第2117-2122页。；S.Karaman，R.G.Sanfelice，E.Frazzoli，具有线性时序逻辑规范的混合逻辑动力系统的最优控制，收录于：第47届IEEE决策与控制会议论文集，2008年，第2117-2122页。
[10] Bemporad，A。；Giorgetti，N.，混合系统最优控制的基于逻辑的方法，IEEE自动控制汇刊，51，6，963-976（2006）·Zbl 1366.49034号
[11] 马佐，M。；Davidian，A。；Tabuada，P.，Pessoa:嵌入式控制器合成工具，（Touili，T.；Cook，B.；Jackson，P.；CAV.CAV，计算机科学讲稿，第6174卷（2010），Springer），566-569
[12] M.Mazo Jr.、A.Davidian、P.Tabuada，佩索阿网站，（2009年）。统一资源定位地址http://www.cyphylab.ee.ucla.edu/pessoa; M.Mazo Jr.，A.Davitian，P.Tabuada，Pessoa网站，（2009年）。统一资源定位地址http://www.cyphylab.ee.ucla.edu/pessoa
[13] Tabuada，P.，《混合系统的验证和控制：符号方法》（2009），施普林格出版社：美国施普林格·Zbl 1195.93001号
[14] M.Zamani，G.Pola，M.Mazo Jr.，P.Tabuada，无稳定性假设非线性控制系统的符号模型，IEEE自动控制汇刊，2011年，arXiv:1002.0822；M.Zamani，G.Pola，M.Mazo Jr.，P.Tabuada，无稳定性假设非线性控制系统的符号模型，IEEE自动控制汇刊，2011年，arXiv:1002.0822·Zbl 1369.93002号
[15] 布隆，R。；查特吉，K。；亨辛格，T.A。；Jobstmann，B.，《通过定量目标提高合成质量》，（《第21届计算机辅助验证国际会议论文集》，《第21次计算机辅助验证会议论文集，计算机科学讲稿》，第5643卷（2009），施普林格），140-156·Zbl 1242.68151号
[16] Wegener，I.，（分支程序和二进制决策图-理论和应用。分支程序和二元决策图-原理和应用，SIAM离散数学和应用专著（2000））·兹比尔0956.68068
[17] 布隆，R。；加勒，S。；Jobstmann，B。；北卡罗来纳州皮特曼。；普努利，A。；Weiglhofer，M.，《指定、编译、运行：PSL硬件》，《理论计算机科学电子笔记》，190，4，3-16（2007）
[18] Balarin，F。；Chiodo，M。；Giusto，P。；Hsieh，H。；Jurecska，A。；拉瓦尼奥，L。；Sangiovanni-Vincentelli，A。；Sentovich，E.M。；铃木，K.，嵌入式控制应用软件程序的合成，IEEE集成电路和系统计算机辅助设计汇刊，18，6，834-849（1999）
[19] Dijkstra，E.W.，关于与图有关的两个问题的注释，数字数学，1269-271（1959）·Zbl 0092.16002号
[20] 科曼，T.H。；Leiserson，C.E。；Rivest，R.L。；Stein，C.，《算法导论》（2001年），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 1047.68161号
[21] 库普夫曼，O。；Vardi，M.Y.，安全属性的模型检查，系统设计中的形式化方法，19，3，291-314（2001）·Zbl 0995.68061号
[22] 库普夫曼，O。；Lampert，R.，关于安全属性的精细自动机的构造，（Graf，S.；Zhang，W.，ATVA。ATVA，计算机科学讲义，第4218卷（2006年），Springer），110-124·Zbl 1161.68572号
[23] Zielonka，W.，《有限色图上的无限游戏与无限树上自动机的应用》，理论计算机科学，200,1-2135-183（1998）·Zbl 0915.68120号
[24] 彭特里亚金，L.S。；Boltyanskii，V.G。；Gamkrelidze，R.V。；Mishchenko，E.，《优化过程的数学理论》（国际纯数学和应用数学专著丛书（1962），跨学科出版社）·Zbl 0117.31702号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。