He Yin
He Yin
Applied Scientist at Amazon | UC Berkeley PhD
Verified email at
Cited by
Cited by
Stability analysis using quadratic constraints for systems with neural network controllers
H Yin, P Seiler, M Arcak
IEEE Transactions on Automatic Control 67 (4), 1980-1987, 2021
Imitation learning with stability and safety guarantees
H Yin, P Seiler, M Jin, M Arcak
IEEE Control Systems Letters 6, 409-414, 2021
Continuous abstraction of nonlinear systems using sum-of-squares programming
SW Smith, H Yin, M Arcak
2019 IEEE 58th Conference on Decision and Control (CDC), 8093-8098, 2019
Optimization based planner–tracker design for safety guarantees
H Yin, M Bujarbaruah, M Arcak, A Packard
2020 American Control Conference (ACC), 5194-5200, 2020
Backward reachability for polynomial systems on a finite horizon
H Yin, M Arcak, A Packard, P Seiler
IEEE Transactions on Automatic Control 66 (12), 6025-6032, 2021
Recurrent neural network controllers synthesis with stability guarantees for partially observed systems
F Gu, H Yin, L El Ghaoui, M Arcak, P Seiler, M Jin
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5385-5394, 2022
Reachability analysis using dissipation inequalities for uncertain nonlinear systems
H Yin, A Packard, M Arcak, P Seiler
Systems & Control Letters 142, 104736, 2020
Bayesian safe learning and control with sum-of-squares analysis and polynomial kernels
A Devonport, H Yin, M Arcak
2020 59th IEEE Conference on Decision and Control (CDC), 3159-3165, 2020
Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems
H Yin, A Packard, M Arcak, P Seiler
2019 American Control Conference (ACC), 5020-5026, 2019
Co-design of control and planning for multi-rotor uavs with signal temporal logic specifications
YV Pant, H Yin, M Arcak, SA Seshia
2021 American Control Conference (ACC), 4209-4216, 2021
Synthesis of stabilizing recurrent equilibrium network controllers
N Junnarkar, H Yin, F Gu, M Arcak, P Seiler
2022 IEEE 61st Conference on Decision and Control (CDC), 7449-7454, 2022
Continuous and discrete abstractions for planning, applied to ship docking
PJ Meyer, H Yin, AH Brodtkorb, M Arcak, AJ Sørensen
IFAC-PapersOnLine 53 (2), 1831-1836, 2020
Safe-by-design planner–tracker synthesis with a hierarchy of system models
KS Schweidel, H Yin, SW Smith, M Arcak
Annual Reviews in Control 53, 138-146, 2022
Backward reachability using integral quadratic constraints for uncertain nonlinear systems
H Yin, P Seiler, M Arcak
IEEE Control Systems Letters 5 (2), 707-712, 2020
Passivity-based distributed acquisition and station-keeping control of a satellite constellation in areostationary orbit
E Sin, H Yin, M Arcak
Dynamic Systems and Control Conference 84287, V002T30A001, 2020
Learning Neural Networks under Input-Output Specifications
Z ul Abdeen, H Yin, V Kekatos, M Jin
2022 American Control Conference (ACC), 1515-1520, 2022
Robustness in Nonlinear and Learning Based Control
H Yin
University of California, Berkeley, 2021
Probabilistic active loop closure for autonomous exploration
H Yin, JJ Park, M Almeida, M Labrie, J Zamiska, R Kim
Optimization-based planning and control of AUVs applied to adaptive sampling under ice
JE Bremnes, A Devonport, H Yin, M Arcak, AJ Sørensen, IB Utne
2020 IEEE/OES Autonomous Underwater Vehicles Symposium (AUV)(50043), 1-6, 2020
The system can't perform the operation now. Try again later.
Articles 1–19