Subject
Control and Systems Engineering
Reference27 articles.
1. Interval analysis: theory and applications;Alefeld;Journal of Computational and Applied Mathematics,2000
2. Bak, S., Tran, H.D., and Johnson, T.T. (2019). Numerical verification of affine systems with up to a billion dimensions. In Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC’19, 23–32. ACM.
3. Flow*: An analyzer for non-linear hybrid systems;Chen,2013
4. Recursive state bounding by parallelotopes;Chisci;Automatica,1996
5. Combastel, C. (2003). A state bounding observer based on zonotopes. In European Control Conference (ECC 2003). IEEE.