Quadrotor Attitude Control
Thu, 12/15/2016 - 4:20pm
I would also suggest the quadrotor altitude control from ARCH 2015 since it is more high-dimensional than Stanley's example.
Here is the link.
Mon, 12/19/2016 - 10:36am
#1
helicopter control
I agree a higher-dimensional example would be good. I suppose we would want to analyze the nonlinear version of this benchmark (equations 1-5 in the paper). Is there a specific set of initial / unsafe states that we should look at? I think the reachability analysis in the paper is all for the linearized version.