Scholarlink

<p>We consider the stability analysis of feedback systems with rectified linear unit (ReLU) activations, and model this problem with polynomial optimization. Stability can be certified by means of copositive multipliers in the framework of integral quadratic constraints. Based on a duality argument, we show how to certify instability by considering a complete hierarchy of linear matrix inequalities. This hierarchy is obtained by leveraging the specific equality constraints arising from the ReLU encoding. We illustrate the effectiveness of the proposed approach through several numerical examples.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

LMI hierarchies for stability analysis of ReLU feedback systems

  • 期刊论文

  • 发表日期：

    2026年4月4日

查看全文
  • Victor Magron,
  • Yoshio Ebihara,
  • Shingo Nishinaka,
  • Dimitri Peaucelle,
  • Rin Saeki,
  • Tsuyoshi Yuno,
  • Sophie Tarbouriech

摘要

We consider the stability analysis of feedback systems with rectified linear unit (ReLU) activations, and model this problem with polynomial optimization. Stability can be certified by means of copositive multipliers in the framework of integral quadratic constraints. Based on a duality argument, we show how to certify instability by considering a complete hierarchy of linear matrix inequalities. This hierarchy is obtained by leveraging the specific equality constraints arising from the ReLU encoding. We illustrate the effectiveness of the proposed approach through several numerical examples.