LiRPA

新框架提高了非线性神经反馈系统验证的可扩展性

研究人员开发了一个名为“rail”的新框架，该框架将分支定界技术与 LiRPA 风格的界传播相结合，以提高非线性神经反馈系统验证的可扩展性。这种方法允许跨闭环系统的计算图进行联合推理，并随着时间的推移保留符号相关性。该框架包括“clipper”，一种分支定界算法，可改进边界并分割控制器激活，在处理大型网络和自主应用中的非线性动力学方面比现有方法有了显著改进。