{“id”：“https://openalex.org/W4385730868“，”doi“：”https://doi.org/10.109/dsn-w58399.2023.00063“，”title“：“基于SMT的工业开关PI控制系统稳定性验证”，“display_name”：“基于SMS的工业开关PID控制系统稳定性检验”，“publication_year”：2023，“publiation_date”：“2023-06-01”，“ids”：{“openalex”：“https://openalex.org/W4385730868“，”doi“：”https://doi.org/10.109/dsn-w58399.2023.00063“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/dsn-w58399.2023.00063“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://hal.science/hal-04184368/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5080661611“，”display_name“：”Stylianos Basagiannis“，”orcid“：”https://orcid.org/0000-0002-4513-0541}，“机构”：[{“id”：https://openalex.org/I2801299839“，”display_name“：”柯林斯学院“，”ror“：”https://ror.org/03rb26y64“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I2801299839“]｝]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Stylianos Basagiannis“，”raw_affiation_strings“：[”Collins“]，”affiliations“：[｛”raw_affiation_string“：”Collins“，”institution_ids“：[”https://openalex.org/I2801299839“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5026487517“，”display_name“：”Ludovico Battista“，”orcid“：”https://orcid.org/0000-0001-8197-2001}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Ludovico Battista“，”raw _affiliation_strings“：[“FBK-Fondazione Bruno Kessler[Trento，Italy]（via Santa Croce，77-38122 Trento-Italy）”]，“afliations”：[{“raw_affiliation _string”：“FBK–Fondazione Bruno Kessler[Tranto，Illy]（经由Santa Cronce，77-38.122 Trento-Italy“”机构ID“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5055335078“，”display_name“：”Anna Becchi“，”orcid“：”https://orcid.org/0000-0002-2831-9529}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Anna Becchi“，”raw _affiliation_strings“：[“FBK-Fondazione Bruno Kessler[Trento，Italy]（via Santa Croce，77-38122 Trento-Italy）”]，“afliations”：[{“raw_affilition_string”：“FBK–Fondazione Bruno Kassler[Tranto，Illy]（via Santa Croce，77-38.122 Trento-Italy，”机构ID“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _ afiliation_strings“：[“FBK-Fondazione Bruno Kessler[Trento，Italy]（via Santa Croce，77-38122 Trento-Italy）”]，“afliations”：[{“raw _ author_name”：“FBK–Fondazione Bruno Kessler[特伦托，Italy]（via-Santa Croce，77-38.122 Trento-Italy，“”机构ID“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5003462674“，”display_name“：”Georgios Giantamidis“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2801299839“，”display_name“：”柯林斯学院“，”ror“：”https://ror.org/03rb26y64“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I2801299839“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”Georgios Giantamidis“，”raw_affiation_strings“：[”柯林斯“]，”附属“：[｛”raw_affiation_string“：”柯林斯“，”institution_ids“：[”https://openalex.org/I2801299839“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547“｝，”机构“：[]，”国家“：[”FR“]，”is_correresponsing“：false，”raw_author_name“：”Sergio Mover“，”raw_affiation_strings“：[”IP Paris-Institut Polytechnique de Paris（France）“]，”附属机构“：[｛”raw_affiation_string“：”IP Paris-Institut Polytechnique de Paris（France）“，”institution_ids“：[]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5072149271“，”display_name“：”Alberto Tacchella“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alberto Tacchella“，”raw _affiliation_strings“：[“FBK-Fondazione Bruno Kessler[Trento，Italy]（via Santa Croce，77-38122 Trento-Italy）”]，“afliations”：[{“raw_affiliation _string”：“FBK–Fondazione Bruno Kessler[Trento机构ID“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“FBK-Fondazione Bruno Kessler[Trento，Italy]（via Santa Croce，77-38122 Trento-Italy）”]，“afliations”：[{“raw_affiliation _string”：“FBK–Fondazione Bruno Kessler[特伦托，Italy]（via-Santa Croce，77-38.122 Trento-Itali）”，“机构ID“：[”https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5082078451“，”display_name“：”Vassilios A.Tsachouridis“，”orcid“：”https://orcid.org/0000-0002-1893-9724}，“机构”：[{“id”：https://openalex.org/I2801299839“，”display_name“：”柯林斯学院“，”ror“：”https://ror.org/03rb26y64“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I2801299839“]}]，”国家“：[“美国”]，”is_corresponding“：false，”raw_author_name“：”Vassilios Tsachouridis“，”raw _ afiliation_strings“：[”Collins“]，”affiliations“：[{”raw_ afiliation _string“：”Colins“，“institution_ids”：[”https://openalex.org/I2801299839“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：3，”institutions_disticent_count”：2，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：1，”citation_normalized_percentile“：{”value“：0.0，”is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：71，”max“：82}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，，“is_retracted”：false，“is_paratext”：false，“primary_topic”:{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12810“，”“display_name”：“电力系统实时仿真技术”，“score”：0.9918，“subfield”：{“id”：“https://openalex.org/subfields/2207“，”display_name“：”控制与系统工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10046“，”display_name“：”网络控制系统“，”score“：0.99，”subfield“：{”id“：”https://openalex.org/subfields/2207“，”display_name“：”控制与系统工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/robustivity网站“，”display_name“：”健壮性（进化）“，”score“：0.5874789}，{”id“：”https://openalex.org/keywords/statibility-annalysis（https://openalex.org/keywords/statibility-annalysis）“，”display_name“：”稳定性分析“，”score“：0.581919}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.549991}，{”id“：”https://openalex.org/keywords/robust-control网址“，”display_name“：”鲁棒控制“，”score“：0.528808}，{”id“：”https://openalex.org/keywords/control-systems网站“，”display_name“：”控制系统“，”score“：0.524578}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.511019}，{”id“：”https://openalex.org/keywords/state-variable网站“，”display_name“：”状态变量“，”score“：0.43520144}]，”concepts“：[{”id“：”https://openalex.org/C47446073，“wikidata”：https://www.wikidata.org/wiki/Q5165890“，”display_name“：”控制理论（社会学）“，”level“：3，”score“：0.6929542}，{”id“：”https://openalex.org/C60640748，“wikidata”：https://www.wikidata.org/wiki/Q2337858“，”display_name“：”Lyapunov函数“，”level“：3，”score“：0.6295936}，{”id“：”https://openalex.org/C63479239，“wikidata”：https://www.wikidata.org/wiki/Q7353546“，”display_name“：”健壮性（进化）“，”level“：3，”score“：0.5874789}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5666758}，{”id“：”https://openalex.org/C50897621，“wikidata”：https://www.wikidata.org/wiki/Q2665508“，”display_name“：”混合系统“，”level“：2，”score“：0.44695413}，{”id“：”https://openalex.org/C17500928，“wikidata”：https://www.wikidata.org/wiki/Q959968“，”display_name“：”Control system“，”level“：2，”score“：0.4461497｝，｛”id“：”https://openalex.org/C129537906，“wikidata”：https://www.wikidata.org/wiki/Q7603913“，”display_name“：”状态变量“，”level“：2，”score“：0.43520144}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4202099}，{”id“：”https://openalex.org/C133731056，“wikidata”：https://www.wikidata.org/wiki/Q4917288“，”display_name“：”控制工程“，”level“：1，”score“：0.36917558}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.23109713}，{”id“：”https://openalex.org/C2775924081，“wikidata”：https://www.wikidata.org/wiki/Q55608371网址“，”display_name“：”Control（management）“，”level“：2，”score“：0.20631126}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.14437559}，{”id“：”https://openalex.org/C158622935，“wikidata”：https://www.wikidata.org/wiki/Q660848“，”display_name“：”非线性系统“，”level“：2，”score“：0.10168451}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119599485，“wikidata”：https://www.wikidata.org/wiki/Q43035“，”display_name“：”电气工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C97355855，“wikidata”：https://www.wikidata.org/wiki/Q11473“，”display_name“：”热力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944网址“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/dsn-w58399.2023.00063“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://hal.science/hal-04184368，“pdf_url”：https://hal.science/hal-04184368/document“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-04184368/file/main.pdf，“pdf_url”：https://hal.science/hal-04184368/file/main.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-04184368，“pdf_url”：https://hal.science/hal-04184368/document“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”score“：0.5，”id“：”https://metadata.un.org/sdg/11“，”display_name“：”可持续城市和社区“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：18，”referrenced_works“：[”https://openalex.org/W1480909796","https://openalex.org/W1486715499","https://openalex.org/W1496537269","https://openalex.org/W1552094772","https://openalex.org/W1570430800","https://openalex.org/W1605350484","https://openalex.org/W1964623502","https://openalex.org/W2062974796","https://openalex.org/W2085138905","https://openalex.org/W2118741873","https://openalex.org/W2131588967","https://openalex.org/W2551029600","https://openalex.org/W2891214311","https://openalex.org/W3210839039","https://openalex.org/W4200220799","https://openalex.org/W4225922019","https://openalex.org/W4229706427","https://openalex.org/W4249492311“]，”related_works“：[”https://openalex.org/W4281727072","https://openalex.org/W3154990682","https://openalex.org/W2770593030","https://openalex.org/W2560201613","https://openalex.org/W2377538627","https://openalex.org/W2171975302","https://openalex.org/W2107220315","https://openalex.org/W2022352247","https://openalex.org/W1589637664","https://openalex.org/W1532073221“]，”abstract_inverted_index“：{”The“：[0,15,68,89]，”control“：[1,62,90,99]，”of“：[2,64,79123149173183]，”complex“：[3]，”systems“：[4]，”is“：[5,25,32,71]，”typely“：[6,48]，”designed“：[7]，”specification“：[8]，”The“：[9,38,6110118147150157174]，”physical“：[10]，”system“：11130]，”with“：31144159]，“微分”：[13124]，“方程”：[14]，“标准“：[16160]，”方法“：[17]，”到“：[18,27,34,52142153162170]，”他们的“：[19]，”验证“：[20158]，”使用“：[21]，”数值“：[22,35]，”分析“：[23]，”其中“：[24139178]，”合适“：[26]，”证明“：[28143]，”稳定性“：[29]，“属性，”：[30]，“但是”：[31,47]，“易受影响”：[33]，“错误。“：[36]，”关于“：[37]，”其他“：[39]，”侧面“：[40]，”符号“：[41145181]，”技术“：[42146169]，”给出“：[43]，”精确“：[44]，”分析“：[45]，”结果“：[46]，”做“：[49]，”不“：[50]，”规模“：[51]，”工业“：[53]，”大小“：[54]，”问题。“：[55]，”In“：[56]，”this“：[57]，”paper“：[58]，”we“：[59126140179]，”consider“：[60]，”design“：/63]，”an“：[65]，”aircraft“：[66]，”engine。“：[67]，”引擎“：[69111]，”模型“：[70,78]，”代表“：[72]，”由“：[73]，”a“：[74128]，”线性“：[75]，”状态“：[76,82112133]，”空间“：[77]，”18“：[80]，”内部“：[81]，”变量“：[83]，”4“：[84]，”输出“：[85]，”和“：[86100113135167]，”3“：[87]，”输入。“：[88]，“开关”：[91]，“介于”：[92]，“两个”：[93136]，“PI”：[94119]，“控制器”，“：[95]，“一个”：/96]，“用于”：[97102138177]，“推力”：[98]，“另一个”:[101]，“低压”：[103]，“压缩机”：[104]，“阀芯”：[105]，“速度”：[106]，“控制”：[107]，“基于”：[108]，“依据”：[109]，“先导”：[114]，“命令。“：[115]，“After”：[116]，“reformulating”：[117]，“controllers”：[120]，“in”：[121]，“terms”：[122]，“quations”，“：[125]，“getable”：[127]，“hybrid”：[129]，“21”：[132]，“variables”：[134]，“modes”，：[137]，“want”：[141]，“robustive”：[148]，“stable”：[151175]，“states”：[152176]，“微扰。“：[154]，“我们”：[155]，“实现”：[156]，“方法”：[161]，“综合”：[163171]，“二次”：[164]，“李亚普诺夫”：[165]，“函数”：[166]，“SMT”：[168]，“邻域”：[172]，“have”：[180]，“证明”：[182]，“稳定性”。“：[184]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4385730868“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}]，”更新日期“：”2024-09-14T14:47:59.089101“，”创建日期“：“2023-08-11”}