×
刘军；内克米耶·奥扎伊

基于时序逻辑的控制综合的具有鲁棒裕度的有限抽象。 （英语） Zbl 1344.93046号

非线性分析。，混合系统。 22, 1-15 (2016).
摘要：本文介绍了一种有限抽象的概念，可用于根据时序逻辑规范合成动态系统的鲁棒控制器。这些具有一定鲁棒性裕度的有限抽象为实现控制系统中常见的各种问题提供了统一的方法，例如采样数据系统的样本间行为、不完美状态测量的影响和未建模动力学。本文的主要结果表明，鲁棒裕度可以有效地解释控制系统与其用于控制综合的有限抽象之间的不匹配。鲁棒性裕度的定量性质也使得研究控制器性能与其对抗各种类型对手（例如，延迟、测量误差或建模不确定性）的鲁棒性之间的权衡成为可能。我们使用一个简单的自适应巡航控制（ACC）示例来说明这种鲁棒性与性能之间的权衡。

引用于11文件

MSC公司：

93亿B50 合成问题
93B35型 灵敏度（稳健性）
93C57 采样数据控制/观测系统
93立方厘米 信息不完整的控制/观测系统
93C40型 自适应控制/观测系统

关键词：

有限抽象；控制综合；稳健性；时序逻辑；混合系统

软件：

科西马；TuLiP公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}和\textit{N.Ozay}，非线性分析。，混合系统。22、1-15（2016；Zbl 1344.93046）
全文： 内政部

参考文献：

[1] 费内科斯，G.E。；Girard，A。；Kress-Gazit，H。；Pappas，G.J.，动态机器人的时序逻辑运动规划，Automatica，45343-352（2009）·Zbl 1158.93369号
[2] Kloetzer，M。；Belta，C.，《根据时序逻辑规范控制线性系统的全自动框架》，IEEE Trans。自动化。控制，53，287-297（2008）·Zbl 1367.93202号
[3] Kress-Gazit，H。；费内科斯，G.E。；Pappas，G.J.，基于时间逻辑的反应性任务和运动规划，IEEE Trans。机器人。，25, 1370-1381 (2009)
[4] 刘杰。；Ozay，N。；托普库，美国。；Murray，R.，《从时序逻辑规范合成反应式交换协议》，IEEE Trans。自动化。对照，581771-1785（2013）·Zbl 1369.93307号
[8] Tabuada，P.，《混合系统的验证和控制：符号方法》（2009），施普林格出版社·Zbl 1195.93001号
[9] Tabuada，P。；Pappas，G.J.，离散时间线性系统的线性时间逻辑控制，IEEE Trans。自动化。控制，511862-1877（2006）·Zbl 1366.93413号
[10] Wongpiromsarn，T。；托普库，美国。；Murray，R.M.，后退视界时间逻辑规划，IEEE Trans。自动化。控制，572817-2830（2012）·Zbl 1369.93392号
[11] Zamani，M。；Pola，G。；Mazo，M。；Tabuada，P.，《无稳定性假设非线性控制系统的符号模型》，IEEE Trans。自动化。控制，571804-1809（2012）·Zbl 1369.93002号
[12] Reiszig，G.，非线性系统的计算抽象，IEEE Trans。自动化。控制，562583-2598（2011）·Zbl 1368.93178号
[13] Y.Tazaki。；Imura，J.，基于误差传播分析的非线性系统离散抽象，IEEE Trans。自动化。控制，57，550-564（2012）·Zbl 1369.93121号
[17] 拜尔，C。；Katoen，J.-P.，《模型检验原理》（2008），麻省理工学院出版社·Zbl 1179.68076号
[18] 克拉克，E.M。；格伦伯格，O。；Peled，D.，《模型检验》（1999），麻省理工学院出版社
[19] Angeli，D。；Sontag，E.D.，前向完备性、无界可观测性及其lyapunov特征，系统控制快报。，38, 4, 209-217 (1999) ·Zbl 0986.93036号
[21] Pola，G。；Tabuada，P.，《非线性控制系统的符号模型：交替近似互模拟》，SIAM J.control Optim。，48, 719-733 (2009) ·Zbl 1194.93020号
[22] 费内科斯，G.E。；Pappas，G.J.，连续时间信号时序逻辑规范的稳健性，理论。计算。科学。，410, 42, 4262-4291 (2009) ·Zbl 1186.68287号
[23] Angeli，D.，增量稳定性特性的Lyapunov方法，IEEE Trans。自动化。控制，47，3，410-421（2002）·Zbl 1364.93552号
[24] Pola，G。；Girard，A。；Tabuada，P.，非线性控制系统的近似双相似符号模型，Automatica，44，10，2508-2516（2008）·Zbl 1155.93322号
[26] 布隆，R。；Jobstmann，B。；北卡罗来纳州皮特曼。；普努利，A。；Sa’ar，Y.，《反应（1）设计的合成》，J.Compute。系统科学。，78911-938（2012年）·Zbl 1247.68050号
[27] Ehlers，R.，广义拉宾（1）合成及其在鲁棒系统合成中的应用，（NASA形式方法（2011），Springer），101-115
[30] Hale，J.K.，《泛函微分方程导论》。第99卷（1993年），施普林格·Zbl 0787.34002号
[31] 富兰克林，G.F。；沃克曼，M.L。；Powell，D.，《动态系统的数字控制》（1997），Addison-Wesley Longman Publishing Co.，Inc。
[34] 波拉，G。；佩佩，P。；Di Benedetto，医学博士。；Tabuada，P.，使用近似互模拟的非线性时滞系统符号模型，系统控制快报。，59, 6, 365-373 (2010) ·Zbl 1197.93090号
[35] Girard，A。；Pappas，G.，离散和连续系统的近似度量，IEEE Trans。自动化。控制，52，782-798（2007）·Zbl 1366.93032号
[38] 塔拉夫，D。；Megretski，A。；Dahleh，M.A.，有限字母表上系统鲁棒稳定性的框架，IEEE Trans。自动化。控制，53，5，1133-1146（2008）·Zbl 1367.93482号
[39] Tarraf，D.C.，有限状态近似的控制导向概念，IEEE Trans。自动化。控制，57，12，3197-3202（2012）·Zbl 1369.93352号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。