Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control Pub Date : 2023-05-09 DOI:10.1145/3575870.3589551

Qi Heng Ho, Roland Ilyes, Zachary Sunberg, Morteza Lahijanian

引用次数: 0

Abstract

ACM Reference Format: Qi Heng Ho, Roland B. Ilyes, Zachary Sunberg, and Morteza Lahijanian. 2023. Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty. In Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC ’23), May 9–12, 2023, San Antonio, TX, USA. ACM, New York, NY, USA, 2 pages. https://doi.org/10.1145/3575870.3589551

查看原文本刊更多论文

摘要:基于采样的复杂系统鲁棒STL综合方法

《美国计算机学会》参考文献:何琦恒，Roland B. Ilyes, Zachary Sunberg, Morteza Lahijanian。2023。摘要:基于采样的复杂系统鲁棒STL综合方法。第26届ACM混合系统国际会议论文集:计算与控制(HSCC ' 23)， 2023年5月9-12日，圣安东尼奥，德克萨斯州，美国。ACM，纽约，美国，2页。https://doi.org/10.1145/3575870.3589551

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control

自引率

0.00%

发文量