{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,3,19]]，“日期-时间”：“2024-03-19T07:16:40Z”，“时间戳”：1710832600646}，“引用-计数”：14，“发布者”：“Elsevier BV”，“问题”：“5”，“许可证”：[{“开始”:{“日期-零件”：[2021,1,1]]，”日期-时间“：”2021-01 1-01T00:00:00Z“，”时间戳“：1609459200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“IFAC-PapersOnLine”]，“published-print”:{“date-parts”：[[2021]]}，”DOI“10.1016\/j.ifacol.2021.08.472”，“type”：“journal-article”，“created”：{“date-parts”用法：[[2021,9,9]]，“date-time”：“2021-09-09T22:30:49Z”，“timestamp”：1631226649000}，“page”：“43-48”，“source”：”Crossref“，“is-referenced-by-count”：2，“title”：[“PolyAR:使用凸抽象精化的多项式不等式约束的高度并行解算器”]，“prefix”：“10.1016”，“volume”:“54”，“author”：[{“给定”：“Wael”，“family”：“Fat”纳西语“、“sequence”：“first”，“affiliation”：[]}，{“given”：“Yasser”，“family”：“Shoukry”，“sequences”：“additional”，“ffiliation”：[]}]，“member”：“78”，“reference”：[{“key”：”10.1016\/j.ifacol.2021.08.472_bib0001“，”doi-asserted-by“：”crossref“，”unstructured“：”Bahavarnia，M.，Shoukry，Y.，and Martins，N.C.（2020）受逻辑和结构约束的控制器综合：可满足性模理论（SMT）方法。2020年美国控制会议（ACC），5281\u20135286。doi:10.23919\/ACC45564.2020。9147460.“，”DOI“：”10.23919\/ACC45564.2020.9147460“}，{“key”：“10.1016\/j.ifacol.2021.08.472_bib0002”，“series-title”：“模型检查手册”，“首页”：“305”，“文章-标题”：“可满足模理论”，“author”：“Barrett”，“year”：“2018”}，“key“：”10.1016//j.ifacol.2021.08.472_bip0003“，”DOI-asserted-by“：“crossref”，“非结构化”：“Bauer，A.、Pister，M.和Tautschnig，M.（2007年）。混合系统和模型分析的工具支持。在2007年欧洲会议展览设计、自动化测试，1\u20136.“，”DOI“：”10.1109\/DATE.2007.364411“}，{“key”：“10.1016\/j.ifacol.2021.08.472_bib0004”，“unstructured”：“Behroozi，M.（2019）。几何凸集合中最大内接矩形。CoRR，abs\/1905.13246。”}，“key“：”1016\/j.ifacol.2021.08.472_bip0005“，”DOI-asserted-by“：”crossref”，“非结构化”：“Collins，G.E.（1975）。通过柱面代数分解消除实闭域的量词。在《自动机理论和形式语言》第二届GI会议上，Kaiser lautern，5月20日，201323，1975，134，2013183。斯普林格。“，”DOI“：”10.1007\/3-540-07407-4_17“}，{“key”：“10.1016\/j.ifacol.2021.08.472_bib0006”，“DOI-asserted-by”：“crossref”，“unstructured”：“De Moura，L.和Bj\u00f8rner，N.（2008）。Z3：一个高效的SMT求解器。在系统构建和分析工具和算法国际会议上，337\u2013340。”，“DOI”：“10.1007\/978-3-540-78800-3_24“}，{“key”：“10.1016\/j.ifacol.2021.08.472_bib0007”，“series-title”：“科学计算中计算机代数国际研讨会”，“首页”：“172”，“文章标题”：“柱代数分解相对于多项式次数的复杂性”，“作者”：“英格兰”，“年份”：“2016”}10.1016 \/j.ifacol.2021.08.472_bib0008“，”doi-asserted-by“：”crossref“，”unstructured“：”Fatnassi，W.和Shoukry，Y.（2021）。Polyar：一个使用凸抽象精化的多项式不等式约束的高度并行求解器。arXiv预印本arXiv:2101.04655.“，”DOI“：”10.1016\/j.ifacol.2021.08.472“}，{”key“：”101016\/j.ifacol.2021.08.472_bib0009“，”DOI-asserted-by“：”crossref“，”unstructured“：”Ferreau，H.j.，Alm\u00e9r，S.，Peyrl，H.，Jerez，j.L.，and Dom-ahidi，A.（2016）嵌入式模型预测控制的工业应用综述。2016年欧洲控制会议（ECC），601\u2013601。IEEE标准。“，”DOI“：”10.1109\/ECC.2016.7810351“}，{“issue”：“11”，“key”：“10.1016\/j.ifacol.2021.08.472_bib00010”，“DOI-asserted-by”：“crossref”，“first page”：”1340“，“DOI”：“101080\/00207170600726592”，“article-title”：“使用代数几何方法的参数优化和最优控制”，“volume”：：“79”，“author”：“Fotiou”，”“year”：“2006”，“日志标题“：”国际控制杂志“}，{“key”：“10.1016\/j.ifacol.2021.08.472_bib00011”，“doi-asserted-by”：“crossref”，“unstructured”：“Hong，H.（1990）。圆柱代数分解中投影算子的改进。符号与代数计算国际研讨会论文集，ISSAC\u201890，261\u2013264。计算机械协会，美国纽约州纽约市doi:10.1145\/96877.96943。URL https:\/\/doi.org\/10.1145\/96877.96943.“，”doi“：”10.1145\/96879.6943“}，{“key”：“10.1016\/j.ifacol.2021.08.472_bib00012”，“series-title”：“非线性系统”，“author”：“Khalil”，“year”：“2002”}，“key“：首页“：”242“，”article-title“：”圆柱代数分解的改进投影运算“，”author“：”McCallum“，”year“：”1998“}，{”issue“：”1“，”key“：”10.1016\/j.ifacol.2021.08.472_bib00014“，”first page“：宇宙航行科学进展“}]，“容器-时间”：[“IFAC-PapersOnLine”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S2405896321012477？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S2405896321012477？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2021,12,8]]，“date-time”：“2021-12-08T08:11Z”，“timestamp”：1638951551000}，“score”：1，“resource”：{“primary”：“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/pii\/S240589 6321012477“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2021]]}，”references-count“：14，”journal-issue“：{“issue”：“5”，”published-print“：{”date-ports“：[2021]]}}，“alternative-id”：[“S2405896321012477”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ifacol.2021.08.472”，“relation”：{}，5-8963“]，“ISSN-type”：[{“value”：“2405-8963”，“type”:“print”}]，“subject”：[]，“发布了“：{“date-parts”：[[2021]]}}}