{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,3,7]]，“日期-时间”：“2024-03-07T15:50:28Z”，“时间戳”：1709826628331}，“参考-计数”：48，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始”：{:“日期-零件”：[2013,1]]，《日期-时间》：“2013-01-01T00:00:00Z“，“时间戳”：1356998400000}，“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”：[“European Journal of Control”]，“published-print”:{“date-parts”：[[2013,1]]}，”DOI“：”10.1016\/j.ejcon.2013.02.001“，”键入“：”Journal-article“，”created“：{”date-parts“：[[2013,5,30]]，“日期-时间”：“2013-05-30T15:05:24Z”，“时间戳”：1369926324000}，“页面”：“14-36”，“源”：“Crossref”，“is-referenced-by-count”：3，“标题”：[“CGMurphi:非线性混合系统数字控制器的自动综合”]，“前缀”：“10.1016”，”卷“19”，“作者”：[{“给定”：“Giuseppe”，“家族”：“Della Penna”，“序列”：“first”，“affiliation”：[]}，{“given”：“Benedetto”，“family”：“Intrigila”，“sequence”：“additional”，“affaliation”（从属关系）：[]neneneep“：”附加“，”从属“：[]}]，”成员“：“78”，“reference”：[{“key”：“10.1016\/j.ejcon.2013.02.001_bib1”，“series-title”：“常微分方程”，“author”：“Arnol’d”，“year”：“1992”}，{“密钥”：“101016\/j.ejcon.2013.02.00 1_bib2”，“非结构化”：“Asarin E，Maler O，Pnueli A，Sifakis j。时间自动机的控制器综合。in：《系统结构与控制学报》，IFAC，Elsevier，1998年7月，第469\u2013474页。“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib3”，“doi-asserted-by”：“crossref”，“unstructured”：“Eugene Asarin，Oded Maler，Amir Pnueli，离散和定时系统的符号控制器综合，in：Hybrid systems，1994，第1\u201320页。”，“doi”：“10.1007\/3-540-60472-3_1“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib4”，“unstructured”：“Astrom KJ，Hagglung T.Advanced PID Control，第二版，国际测量与控制学会，2005年。”}，}“密钥”：“101016\/j.ejcon.2013.02.00 1_bib5”，“doi-asserted-by”：“crossref”，“非结构化”：“Behrmann G，Cougnard A，David A，Fleury E，Larsen KG，Lime D。Uppaal-tiga：游戏时间到了！in：CAV，2007，第121\u2013125页。“，“DOI”：“10.1007\/978-3-540-73368-3_14”}，{“key”：“101016\/j.ejcon.2013.02.001_bib6”，“series-title”：“动态规划和最优控制”，“author”：“Bertsekasm”，“year”：“2005”}增加安全分析建模能力的方法，应用于涡轮机数字控制系统”，“卷”：“第2434卷”，“作者”：“Bobbio”，“年份”：“2002”}，{“关键”：“10.1016\/j.ejcon.2013.02.001_bib8”，“首页”：“273”，“文章标题”：“基于流体petri网的ICARO热电厂温度控制系统模型检查”volume“：”vol.2434“，”author“：”Bobbio“，”year“：”2002“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib9”，“unstructured”：“Bobbio A，Bologna S，Minichino M，Ciancamerla E，Incalcaterra P，Kroop C，Tronci E。应用于ICARO热电厂燃气轮机控制系统的先进安全分析技术，见：X Convergno TESEC会议记录，Genova，意大利，2001年6月离散线性混杂系统约束最优控制的动态规划”，“volume”：“41”，“author”：“Borrelli”，“year”：“2005”，“journal-title”：“Automatica”}，{“issue”：“August（8）”，“key”：”10.1016\/j.ejcon.2013.02.001_bib11“，”doi-asserted-by“：”crossref“，”first page“：”677“，”doi“：”10.1109\/TC.1986.1676819“，”article-title“：”布尔函数操作的基于图形的算法”，“卷”：“35”，“作者”：“Bryant”，“年份”：“1986”，“日志标题”：“IEEE Transactions on Computers-C”}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib12”，“unstructured”：“缓存的Murphi网页。\u3008http://www.di.univaq.it \/gdellape\/Murphi\/cmurphi.php\u3009.”}10.1016\/j.ejcon.2013.02.001_bib13“，”非结构化“：”CGMurphi网页。\u3008http:\/\/www.di.univaq.it \/magazzeni\/cgmurphi.php\u3009.“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib14”，“series-title”：“常微分方程理论”，“author”：“Coddington”，“year”：“1955”}，}“keys”：“1016\/j.ejcon.2013.02.001_bib15”，“unstructured”：“CUDD网页.u3008http://vlsi.colorado.edu \/\u223cfabio \/\u 3009.“}，{”键“：”10.1016\/j.ejcon.2013.02.001_bib16“，”doi断言由“：”crossref“，”非结构化“：”Della Penna，G，Intrigila，B，Lauri，N，Magazzeni，D，使用obds的数字控制器的快速紧凑编码，在：控制、自动化和机器人信息学：ICINCO 2008年论文选集，施普林格，2009年，pp.75\u201387.“，”doi“：”10.1007\/978-3-642-00271-7_5“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bb17”，“doi-asserted-by”：“crossref”，“unstructured”：“Della Penna G，Magazzeni D，Tofani A，Intrigila B，Melatti I，Tronci E.鲁棒数字控制器的自动综合，in：ICAS’07，IEEE Computer Society，2007，p.4.”，“doi”：“101109\/CONIELECOMP.2007.59”}10.1016\/j.ejcon.2013.02.001_bib18“，“非结构化”：“Giuseppe Della Penna，Benedetto Intrigila，Daniele Magazzeni，最优控制系统的合成：模型检查和动态编程技术的比较，收录于：Springer-Verlag（Ed.），《工业电子、技术和自动化国际会议论文集》，第12卷，2007年，第54\u201359页。Goldman R、Musliner D、Pelican M。空中控制器综合的增量验证，见：《模型检验和人工智能第三次研讨会论文集》（MoChArt05），2005年非结构化”：“Thomas A.Henzinger，《混合自动机理论》，载于：LICS’96：第十一届IEEE计算机科学逻辑研讨会论文集，IEEE计算机社会出版社，1996年。”}，{“问题”：“十二月”，“关键”：“10.1016\/j.ejcon.2013.02.001_bib24”，“doi-asserted-by”：“crossref”，“首页”：“940”，“doi”：“101115\/1.3153817”，“article-title”：“动力学系统全局分析的一种解开算法\u2013细胞到细胞映射的应用“，”卷“：”47“，”作者“：”Hsu“，”年份“：”1980“，”期刊标题“：”ASME Transactions Series E journal of Applied Mechanics“，”key“：”10.1016\/j.ejcon.2013.02.001_bib25“，”doi asserted by“：”crossref“，”doi“：”10.1007\/BF00939159“，”文章标题“：”基于细胞状态空间概念的离散最优控制方法”，“author”：“Hsu”，“year”：“1985”，“journal-title”：“journal of Optimizations Theory and Applications”}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib26”，“series-title”：《细胞到细胞映射》，“author”：“Shu”，“年份”：“1987”}doi-asserted-by“：”crossref“，”first page“：”259“，”doi“：”10.1051\/cocv:2004006“，“article-title”：“面向集合的全局最优控制方法”，“volume”：“10”，“author”：“Junge”，“year”：“2004”，“journal-title“：”ESAIM:控制、优化和变分计算（电子）“}，{“key”：”10.1016\/j.ejcon.2013.02.01_bib28“，”非结构化“：”Henry Kautz，Wolfgang Thomas，Moshe Y.Vardi，05241《2013年综合与规划执行摘要》，收录于：Henry Koutz，Wolfgang Toomas，Moshe Y.Vardi（编辑），《综合与规划》，Dagstuhl研讨会论文集，2006年第05241期。“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib29”，“series-title”：“时间I/O自动机理论”，“author”：“Kaynar”，“年份“：”2006“}，{“issue”：“January（1）”，“key”：“10.1016\/j.ejcon.2013.02.001_bib30”，“doi-asserted-by”：“crossref”，“first-pages”：“33”，“doi”：“101109\/9.273337”，“article-title”：“数值非线性调节器设计”，“volume”：”39“，“author”：“Kreisselmeier”，“year”：“1994”，“journal-title“：”IEEE Transactions on Automatic Control“}10.1016\/j.ejcon.2013.02.001_bib31“，“series-title”：“控制手册”，“author”：“Levine”，“year”：“2005”}，{“key”：“10.1016\\j.ejcon.2013.02.01_bib32”，“series-title”：《鲁棒控制设计：最优控制方法》，“author”：“Lin”，“年份”：“2007”}、{“key”：《10.1016//jcon.203.001_bib33》，“serie-title“：《混合动力手册》系统控制“，”作者：“Lunze”，“year”：“2009”}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib34”，“doi-asserted-by”：“crossref”，“unstructured”：“Oded Maler，Dejan Nickovic，Amir Pnueli，《关于从有界响应特性合成控制器》，载于：CAV，2007，pp.95\u2013107。”，“doi”：“101007\/978-3-540-73368-3_12”}、{“key”：01_bib35“，”doi-asserted-by“：”crossref“，”first page“：”1561“，”doi“：”10.1109\/21.257754“，”article-title“：”CIRCA:合作智能实时控制体系结构“，”volume“：“23”，”author“：”Musliner“，”year“：”1993“，”journal title“：“IEEE Transactions on Systems，Man，and Cybenetics”}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib36”，“doi-assert-by”：“crossref.”，“非结构化“：”Nguyen D，Widrow B.The truck backer-upper：神经网络中的自学习示例，in：IJCNN的进展，第2卷，1989年，第357\u2013363页。le-title“：”用于控制器设计和评估的单元映射”，“卷”：“17”，“作者”：“Papa”，“年份”：“1997”，“期刊标题”：“IEEE控制系统”}，｛“问题”：“1”，“密钥”：“10.1016\/j.ejcon.2013.02.001_bib38”，“doi断言”：“crossref”，“首页”：“3”，“doi”：“10.1016\/S01665-0114（99）00168-2”，“文章标题”：“使用单元映射评估控制器的稳健性”volume“：”121“，”author“：”Papa“，”year“：”2001“，”journal-title“：”Fuzzy Sets and Systems“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib39”，“doi-asserted-by”：“crossref”，“unstructured”：“Nir Piterman，Amir Pnueli，Yaniv Sa'ar，反应性（1）设计的合成，in：VMCAI，2006，pp.364\u2013380.”，“doi”：“101007\/11609773_24”}，}“issue：“2”，“键”：10.1016\/j.ejcon.2013.02.001_bib40“，”doi-asserted-by“：”crossref“，”first page“：”346“，”doi“：”10.1109\/TAC.1981.1102596“，“article-title”：“非线性调节：分段线性方法”，“volume”：“26”，“author”：“Sontag”，“year”：“1981”，“journal-title“：”IEEE Transactions on Automatic Control AC“}，{“issue”：“1”，“key”：”10.1016\/j.ejcon.2013.02.001_bib41“，”doi-asserted-by“：”crossref“，”first page“：”183“，“doi”：“10.2140\/pjm.1982.98.183”，“article-title”：“关于分段线性代数的备注”，“volume”：“98”，“author”：“Sontag”，“year”：“1982”，“journal-title“：”Pacific journal of Mathematics“}，{“key”：”10.1016\/j.ej con.2013.0201_bib42“，”unstructured“：“E.D。Sontag，《从线性到非线性：一些复杂性比较》，摘自：IEEE决策与控制会议论文集，1995年，第2916\u20132920页doi-asserted-by“：”crossref“，”unstructured“：”Claire Tomlin，John Lygeros，Shankar Sastry，非线性混杂系统的综合控制器，in：HSCC，1998，pp.360\u2013373.“，”doi“：”10.1007\/3-540-64358-3_51“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib45”，“doi-assert-by”：“Crosref”，“unstructure”：“Stavros Tripakis，Karine Altisen，离散和稠密系统的实时控制器综合，in：《形式方法世界大会》，第1卷，1999年，第233\u2013252.“，“DOI”：“10.1007\/3-540-48119-2_15”}，{“key”：“101016\/j.ejcon.2013.02.001_bib46”，“非结构化”：“Tronci E。根据形式规范自动合成控制器，见：ICFEM’98：第二届IEEE国际会议论文集，IEEE计算机学会，华盛顿特区，美国，1998年，第134页。“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib47”，“unstructured”：“UPPAAL TIGA网页。\u3008http://www.cs.aau.dk\/\u223cadavid\/tiga\/\u 3009.“}，{“key”：“10.1016\/j.ejcon.2013.02.001_bib48”，“series-title”：“可计算分析：导论，理论计算机科学中的文本”，“author”：“Weihrauch”，“year”：“2000”}]，“container-title”：[“European Journal of Control”]，“original-title“：[]，”language“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0947358013000034？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0947358013000034？httpAccept=text\/plain“，”内容类型“：”文本\/plaine“，”content-version”：“vor”，“intended-epplication”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,7,14]，“date-time“：”2019-07-14T04:00:40Z“，”timestamp“：1563076840000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0947358013000034”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：lished-print“：{“date-parts”：[[2013,1]]}}，”alternative-id“：[”S0947358013000034“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.ejcon.2013.02.001”，“关系”：{}，“ISSN”：[“0947-3580”]，“ISSN-type”：[{“值”：“09473580”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[2013,1]]}}}}