Sai Sandeep Damera

新的RNN架构为安全关键系统提供形式化保证

研究人员开发了一种名为循环可微三元逻辑门网络（R-DTLGN）的新型循环神经网络架构。该架构使用三值逻辑运行，其中“0”表示未知状态，为安全关键系统中的运行时监视器提供形式化保证。R-DTLGN确保在传感器数据受损时输出能够优雅降级，并提供原则性弃权，这意味着未知输入不会导致错误输出。其设计直接关联到信号时序逻辑（STL）的时序算子，允许通过公式驱动网络大小调整，而不是手动调整超参数。