State-Space Transformation Shielding
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/AsgerHB/state-space-transformation-shielding
下载链接
链接失效反馈官方服务：
资源简介：
该数据集旨在展示状态空间转换在为控制系统合成安全策略方面的优势，尤其是它在提高计算保护罩性能方面的改进。该数据集包含三个案例研究：一个谐波振荡器、一个弹跳球模型以及一个通过实验得出的转换。这些实现基于一种合成方法，该方法提高了计算的效率。本数据集的任务是为控制系统合成保护罩。
This dataset is developed to demonstrate the advantages of state-space transformations in synthesizing safe control strategies for control systems, particularly the enhancements it brings to the performance of computational safety guards. This dataset includes three case studies: a harmonic oscillator, a bouncing ball model, and an experimentally derived transformation. All implementations herein are based on a synthesis method that improves computational efficiency. The core task of this dataset is to synthesize safety guards for control systems.
提供机构：
AsgerHB
