14 citations · 69 across the 16 of their papers we have counts for
3 papers · 1 filter
Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
Neelay Junnarkar, He Yin, Fangda Gu +2
We propose a parameterization of a nonlinear dynamic controller based on the recurrent equilibrium network, a generalization of the recurrent neural network. We derive constraints…
Learning Neural Networks under Input-Output Specifications
Zain ul Abdeen, He Yin, Vassilis Kekatos +1
In this paper, we examine an important problem of learning neural networks that certifiably meet certain specifications on input-output behaviors. Our strategy is to find an inner…
Safe-by-Design Planner-Tracker Synthesis
Katherine S. Schweidel, He Yin, Stanley W. Smith +1
We present a safe-by-design trajectory planning and tracking framework for nonlinear dynamical systems using a hierarchy of system models. The planning layer uses a low-fidelity mo…