有损编码器何时能给出可迁移的安全证书：Latent Safety Filters 分析

研究给出有损编码器下 latent safety filter 安全证书可迁移到物理系统的判据：被丢弃的安全相关动力学的可检测性决定证书是否存在。构造出 latent 模型精确、latent 信号恒报安全而物理状态可任意不安全的系统，此时无证书存在且编码器下游监视器无法检测失效。