7 citations · 19 across the 7 of their papers we have counts for
13 papers
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…
Imitation Learning with Stability and Safety Guarantees
He Yin, Peter Seiler, Ming Jin +1
A method is presented to learn neural network (NN) controllers with stability and safety guarantees through imitation learning (IL). Convex stability and safety conditions are deri…
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
Yash Vardhan Pant, He Yin, Murat Arcak +1
Urban Air Mobility (UAM), or the scenario where multiple manned and Unmanned Aerial Vehicles (UAVs) carry out various tasks over urban airspaces, is a transportation concept of the…
Stability Analysis using Quadratic Constraints for Systems with Neural Network Controllers
He Yin, Peter Seiler, Murat Arcak
A method is presented to analyze the stability of feedback systems with neural network controllers. Two stability theorems are given to prove asymptotic stability and to compute an…
Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit
Emmanuel Sin, He Yin, Murat Arcak
We present a distributed control law to assemble a cluster of satellites into an equally-spaced, planar constellation in a desired circular orbit about a planet. We assume each sat…