20 citations · 23 across the 9 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2026
Scalable Incremental Robustness Analysis of Neural Network Feedback Systems
Zichen Wang, Peter Seiler, Geir Dullerud +1
Semidefinite programming (SDP) certificates for feedback systems containing deep neural networks (NNs) typically scale with the total number of neurons, whereas small-gain tests ar…
math.OC2024★ 20 cited
Capabilities of Large Language Models in Control Engineering: A Benchmark Study on GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra
Darioush Kevian, Usman Syed, Xingang Guo +5
In this paper, we explore the capabilities of state-of-the-art large language models (LLMs) such as GPT-4, Claude 3 Opus, and Gemini 1.0 Ultra in solving undergraduate-level contro…