14 citations · 69 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018
Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems
He Yin, Andrew Packard, Murat Arcak +1
We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decom…
eess.SY2018★ 7 cited
Reachability Analysis Using Dissipation Inequalities For Uncertain Nonlinear Systems
He Yin, Andrew Packard, Murat Arcak +1
We propose a method to outer bound forward reachable sets on finite horizons for uncertain nonlinear systems with polynomial dynamics. This method makes use of time-dependent polyn…