发布求助
文献互助 智能选刊 最新文献

International Conference on Hybrid Systems: Computation and Control最新文献

筛选
英文 中文
CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations 分布空间上 MDP 的 CTL 模型检查：算法和基于采样的计算
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3651397
Yulong Gao, K. H. Johansson, Alessandro Abate
{"title":"CTL Model Checking of MDPs over Distribution Spaces: Algorithms and Sampling-based Computations","authors":"Yulong Gao, K. H. Johansson, Alessandro Abate","doi":"10.1145/3641513.3651397","DOIUrl":"https://doi.org/10.1145/3641513.3651397","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"51 19","pages":"20:1-20:12"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140980787","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees 具有形式保证的用于稳定性分析和控制的物理信息神经网络
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3652530
Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Rui Zhou
{"title":"Physics-Informed Neural Networks for Stability Analysis and Control with Formal Guarantees","authors":"Jun Liu, Yiming Meng, Maxwell Fitzsimmons, Rui Zhou","doi":"10.1145/3641513.3652530","DOIUrl":"https://doi.org/10.1145/3641513.3652530","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"22 12","pages":"32:1-32:2"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140980377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates 通过控制障碍证书在随机系统上进行反应合成的情境触发游戏
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3650136
Ameneh Nejati, S. Nayak, Anne-Kathrin Schmuck
{"title":"Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates","authors":"Ameneh Nejati, S. Nayak, Anne-Kathrin Schmuck","doi":"10.1145/3641513.3650136","DOIUrl":"https://doi.org/10.1145/3641513.3650136","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"12 1","pages":"21:1-21:12"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140980603","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱ 到达-避免-停留规格的时空管道✱
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3652533
Ratnangshu Das, Pushpak Jagtap
{"title":"Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱","authors":"Ratnangshu Das, Pushpak Jagtap","doi":"10.1145/3641513.3652533","DOIUrl":"https://doi.org/10.1145/3641513.3652533","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"108 11","pages":"28:1-28:2"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140977847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Further results on stability of linear systems with slow and fast time variation and switching 关于具有慢速和快速时变及切换的线性系统稳定性的进一步结果
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3650130
H. Shim, D. Liberzon
{"title":"Further results on stability of linear systems with slow and fast time variation and switching","authors":"H. Shim, D. Liberzon","doi":"10.1145/3641513.3650130","DOIUrl":"https://doi.org/10.1145/3641513.3650130","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"29 4","pages":"2:1-2:7"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140981298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Falsification using Reachability of Surrogate Koopman Models 利用替代库普曼模型的可达性进行验证
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3650141
Stanley Bak, Sergiy Bogomolov, AbdelrahmanHekal, NiklasKochdumper, EthanLew, AndrewMata, andAmirRahmati
{"title":"Falsification using Reachability of Surrogate Koopman Models","authors":"Stanley Bak, Sergiy Bogomolov, AbdelrahmanHekal, NiklasKochdumper, EthanLew, AndrewMata, andAmirRahmati","doi":"10.1145/3641513.3650141","DOIUrl":"https://doi.org/10.1145/3641513.3650141","url":null,"abstract":"Black-box falsification problems are most often solved by numerical optimization algorithms. In this work, we propose an alternative approach, where simulations are used to construct a surrogate model for the system dynamics using data-driven Koopman operator linearization. Since the dynamics of the Koopman model are linear, the reachablesetofstatescanbecomputedandcombinedwithanencod-ingofthesignaltemporallogicspecificationinamixed-integerlinear program(MILP).Todeterminethenextsample,anMILPsolvercom- putestheleastrobusttrajectoryinsidethereachablesetofthesur-rogatemodel.Thetrajectory’sinitialstateandinputsignalarethen executedontheoriginalblack-boxsystem,wherethespecification iseitherfalsifiedoradditionalsimulationdataisgeneratedthatwe usetoretrainthesurrogateKoopmanmodelandrepeattheprocess. Theproposedmethodishighlyeffective.Evaluationonthecom-pletesetofbenchmarkstakenfromthe2022ARCHfalsification competitiondemonstratessuperiorperformance—fewerexpected simulations—overallparticipatingtoolson16outof19benchmarks. Further,onthreebenchmarkswherenotoolconsistentlyreportsa falsifyingtrace,ourmethodreliablyuncoversacounterexample.","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"11 12","pages":"27:1-27:13"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140981905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Approximating the Geometry of Temporal Logic Formulas 近似时态逻辑公式的几何图形
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3650139
Christian Abou-Mrad, Houssam Abbas
{"title":"Approximating the Geometry of Temporal Logic Formulas","authors":"Christian Abou-Mrad, Houssam Abbas","doi":"10.1145/3641513.3650139","DOIUrl":"https://doi.org/10.1145/3641513.3650139","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"42 10","pages":"16:1-16:10"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140981341","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Abstraction-based Synthesis of Stochastic Hybrid Systems 基于抽象的随机混合系统合成
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3651399
Abolfazl Lavaei
{"title":"Abstraction-based Synthesis of Stochastic Hybrid Systems","authors":"Abolfazl Lavaei","doi":"10.1145/3641513.3651399","DOIUrl":"https://doi.org/10.1145/3641513.3651399","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"106 7","pages":"19:1-19:11"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140977996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Temporal Behavior Trees: Robustness and Segmentation 时态行为树：鲁棒性与分割
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3650180
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
{"title":"Temporal Behavior Trees: Robustness and Segmentation","authors":"Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan","doi":"10.1145/3641513.3650180","DOIUrl":"https://doi.org/10.1145/3641513.3650180","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"23 15","pages":"9:1-9:14"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140980516","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic 对增强信号时态逻辑的数值冻结算子进行快速、可扩展的监控
International Conference on Hybrid Systems: Computation and Control Pub Date : 2024-05-14 DOI: 10.1145/3641513.3650128
Bassem Ghorbel, Vinayak S. Prabhu
{"title":"Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic","authors":"Bassem Ghorbel, Vinayak S. Prabhu","doi":"10.1145/3641513.3650128","DOIUrl":"https://doi.org/10.1145/3641513.3650128","url":null,"abstract":"","PeriodicalId":411938,"journal":{"name":"International Conference on Hybrid Systems: Computation and Control","volume":"8 10","pages":"17:1-17:12"},"PeriodicalIF":0.0,"publicationDate":"2024-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140979201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信