You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
and one can compute f over zonotopes using affine arithmetic.
[1] Wan, J., Sharma, S., & Sutton, R. (2018). Guaranteed state estimation for nonlinear discrete-time systems via indirectly implemented polytopic set computation. IEEE Transactions on Automatic Control, 63(12), 4317-4322. PDF.
[2] dit Sandretto, J. A., & Wan, J. (2018, September). Reachability analysis of nonlinear odes using polytopic based validated runge-kutta. In International Conference on Reachability Problems (pp. 1-14). Springer, Cham.
The text was updated successfully, but these errors were encountered:
In [1] a method is proposed to convert (exactly) an arbitrary polytope to the intersection of zonotopes.
It would be interesting to add this method. One application is to make a convenient overapproximation of the nonlinear map of a polytope; note that
and one can compute
f
over zonotopes using affine arithmetic.[1] Wan, J., Sharma, S., & Sutton, R. (2018). Guaranteed state estimation for nonlinear discrete-time systems via indirectly implemented polytopic set computation. IEEE Transactions on Automatic Control, 63(12), 4317-4322. PDF.
[2] dit Sandretto, J. A., & Wan, J. (2018, September). Reachability analysis of nonlinear odes using polytopic based validated runge-kutta. In International Conference on Reachability Problems (pp. 1-14). Springer, Cham.
The text was updated successfully, but these errors were encountered: