ShardNet

ShardNet架构在神经控制器中强制执行硬性、非凸安全约束

研究人员推出了一种新颖的神经网络架构ShardNet，旨在严格执行安全关键系统中的硬性、非凸约束。与将安全视为优化指标的先前方法不同，ShardNet通过可微分投影层将安全直接嵌入其结构中。这种方法允许独立优化性能，同时保证形式安全，从而能够为复杂约束合成前向不变的神经网络控制器。该系统在基准测试中已在验证集上实现了100%的安全性，并与现有验证技术相比，提高了安全集合的生成能力。