Skip to main content

ALTHOFF2013HSCC

Reachable set computation for uncertain time-varying linear systems

Options​

taylor_terms: int = 4
tensor_order: int = 3
u_trans: np.ndarray = None
max_err: np.ndarray = None
lin_err_x = None
lin_err_u = None
lin_err_f0 = None

References​

[1]: Althoff, M. (2013, April). Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In Proceedings of the 16th international conference on Hybrid systems: computation and control (pp. 173-182).