{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,1,25]]，“日期时间”：“2023-01-25T10:53:04Z”，“时间戳”：1674643984251}，“引用计数”：0，“发布者”：“EasyChair”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“摘要”：“本报告介绍了具有分段常数动力学的连续和混合系统形式验证的友好竞争的结果。该友谊赛是2019年连续和混合系统应用验证（ARCH）研讨会的一部分。在第三版中，应用了六种工具来解决分段恒定动力学类别中的五个不同基准问题：BACH、Lyse、Hy-COMP、PHAVer\/SX、PHAVerLite和VeriSiMPL。与去年相比，一个新的工具（HyCOMP）已经参与，PHAVerLite已经取代了PHAVer-lite。其结果是对当前工具前景以及它们特别适合的基准类型的快照。由于问题的多样性，我们不是排名工具，但所提供的结果可能是迄今为止对具有分段恒定动力学的连续和混合系统的安全验证工具的最完整评估<\/jats:p>“，”DOI“：”10.29007\/rjwn“，”type“：”procesdings-article“，”created“：{”date-parts“：[[2019,6,5]]，”date-time“：”2019-06-05T13:11:57Z“，”timestamp“：1559740317000}，”source“：“Crossref”，“is-referenced-by-count”：1，“title”：[“ARCH-COMP19 Category Report:Hybrid Systems with Piecwise Constant Dynamics”]，“前缀”：“10.29007”，“author”：[{“给定“：”戈兰“，”家族：“Frehse”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Alessandro”，“family”：“Abate”，“序列”：“additional”，“从属关系”：[]}，“family”：“Bu”，“sequence”：“additional”，“附属关系：[]｝，｛“给定”：“Alessandro”，“家族”：“Cimatti”，“序列”：“附加”，“附属关系”：[]｝，｛“给定”：“Mirco”，“家族”：“Giacobbe”，“序列”：“附加”，“附属关系”：[]｝，｛“给定”：“Alberto”，“家族”：“Griggio”，“序列”：“附加”，“附属关系”：[]｝，｛“给定”：“Sergio”，“家族”：“Mover”，“序列”：“附加”，“附属关系”：[]｝，“给定”：“穆罕默德·赛义法·乌尔“，”家庭“：”穆菲德“，”序列“：”附加“，”从属“：[]}，”给定“：”伊德里斯“，”家族“：”里奥瓦克“，”顺序“：”额外“，”附属“：[]}，{“给定”：”斯特凡诺“，”家人“：”托内塔“，”序号“：”补充“，”隶属“：[]}。[]}]，“成员”：“11545”，“事件”：{“name“：”ARCH19。第六届连续和混合系统应用验证国际研讨会“}，”container-title“：[”EPiC Series in Computing“]，”original-title”：[]，”deposed“：{”date-parts“：[[2019,6,5]]，”date-time“：”2019-06-05T13:12:01Z“，”timestamp“：1559740321000}，“score”：1，“resource”：{“primary”:{“URL”：“https:\//easychair.org\/publications\/paper\/MTXh”}}副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[null]]}，”引用计数“：0，”URL“：”http://\/dx.doi.org\/10.29007\/rjwn“，”关系“：{}，“ISSN”：[“2398-7340”]，“ISSN-type”：[{“value”：“2398-8340”，“type”:“print”}]，“subject”：【】}}