×
埃里克·S·金。;街机，壁画;Sanjit A.Seshia。

有向规范单调系统的符号控制设计。 （英语） Zbl 1373.93119号

Automatica公司 83, 10-19 (2017).
摘要：当目标是在信号空间内保持有向集（即上集或下集）中的轨迹时，我们研究单调系统的控制。我们定义了有向交替仿真关系的概念，并展示了如何使用它来解决基于抽象的控制器综合中的常见瓶颈。首先，我们开发稀疏抽象，通过减少转换次数来加快控制器综合过程。接下来，我们通过在系统之间使用定向假设保证契约来启用组合合成方法。在一个车辆交通网络示例中，我们合成了一个交叉口信号控制器，同时与以前的方法相比，大大降低了运行时间和内存需求。

引用于三文件

MSC公司：

93B50个 合成问题
93亿B51 设计技术（稳健设计、计算机辅助设计等）
90B20型 运筹学中的交通问题
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）

关键词：

指导性规范;抽象;单调系统;线性时序逻辑;控制器综合

软件：

斯科特;PESSOA公司;CoSyma公司
PDF格式BibTeX公司 XML格式引用
\textit{E.S.Kim}等人，Automatica 83，10--19（2017；Zbl 1373.93119）
全文： 内政部 链接

参考文献：

[1] 阿鲁尔（Alur，R.）。；Henzinger，T.A。；库普夫曼，O。；Vardi，M.Y.，交替求精关系，（第八届并行理论国际会议论文集（1998））·Zbl 1070.68524号
[2] Angeli，D。；Sontag，E.，《单音控制系统》，IEEE自动控制学报，48，10，1684-1698（2003）·Zbl 1364.93326号
[3] 拜尔，C。；Katoen，J.-P.，《模型检验原理》，I-XVII，1-975（2008），麻省理工学院出版社·Zbl 1179.68076号
[4] 库根，S。；Arcak，M.，混合单调系统的有效有限抽象，（第18届ACM混合系统国际会议论文集：计算与控制（2015））·Zbl 1364.93238号
[5] Daganzo，C.F.，《细胞传输模型：符合流体动力学理论的公路交通动态表示》，《交通研究》，28269-287（1994）
[6] Dallal，E。；Tabuada，P.，《受小增益定理启发的组合符号控制器综合》，（2015年第54届IEEE决策与控制会议（2015）），6133-6138
[7] Hirsch，M.W.，《竞争或合作微分方程组II：几乎处处收敛》，SIAM数学分析杂志，16，423-439（1985）·Zbl 0658.34023号
[8] Kim，E.S。；Arcak，M。；Seshia，S.A.，《车辆交通网络的合成控制器综合》（第54届IEEE决策与控制会议（2015））
[9] Kim，E.S。；Arcak，M。；Seshia，S.A.，单调动力系统的定向规范和假设挖掘（第19届混合系统会议：计算和控制（2016））·Zbl 1366.68173号
[10] Lomuscio，A。；斯特鲁洛，B。；Walker，N。；Wu，P.，用当地规范进行假设保证推理，（国际正式工程方法会议（2010），施普林格），204-219
[11] Mazo Jr.，M。；Davidian，A。；Tabuada，P.，Pessoa:嵌入式控制器综合工具，（计算机辅助验证国际会议（2010），Springer），566-569
[12] 梅耶，P.-J。；Girard，A。；Witrant，E.，《使用组合抽象的合作系统性能保证的安全控制》，IFAC-PapersOnLine，48，27，317-322（2015）
[13] 穆尔，T。；Raisch，J.，高阶单调连续系统基于抽象的监督控制器综合，（混合系统的建模、分析和设计（2002），Springer），247-265
[14] 穆埃利，S。；吉拉德，A。；Gössler，G.，CoSyMA：一种使用多尺度抽象的控制器合成工具，（第16届混合系统国际会议论文集：计算与控制（2013），ACM），83-88
[15] 尼尔森，P。；Ozay，N.，模块化局部控制设计中可分离控制不变集的合成，（美国控制会议，2016（2016），IEEE），5656-5663
[16] Pnueli，A.，《程序的时序逻辑》（第18届计算机科学基础年度研讨会论文集（1977）），46-57
[17] 伦格，M。；Zamani，M.，近似抽象的组合构造，（第18届混合系统国际会议论文集：计算与控制（2015），ACM:ACM纽约，纽约，美国），68-77·Zbl 1364.93286号
[18] 伦格，M。；Zamani，M.，SCOTS:符号控制器合成工具，（第19届混合系统国际会议论文集：计算与控制（2016），ACM），99-104·Zbl 1364.93267号
[19] 萨德拉迪尼，S。；Belta，C.，有界不确定性单调系统的安全控制，（决策与控制，2016年IEEE第55届会议，2016年），IEEE，4874-4879
[20] Tabuada，P.，《混合系统的验证和控制：符号方法》（2009），施普林格出版社·Zbl 1195.93001号
[21] 尤丹诺夫，B。；图莫夫，J。；乔恩，I。；Barnat，J。；Belta，C.，离散时间分段仿射系统的时序逻辑控制，IEEE自动控制汇刊，57，6，1491-1504（2012）·Zbl 1369.93355号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。