@entry{spe-nar-16-aa, author = {MG Spetzler and A Narang-Siddarth}, title = {Numerical verification of equilibrium location bounds and local stability for nonlinear systems with parameter uncertainty}, journal = {2016 IEEE 55th Conference ...,}, volume = {}, number = {}, pages = {}, year = 2016, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/7798886/?casa_token=DMc_6777-K0AAAAA:pOwX0em-J5K6tj0Tvl-zhR0oYAbjkEztWe6NLps_YxAB_q9PJfPUiCTVg2gApJfpSGcy1YlQ}}}, quotes = {... The definitions and notation used in this paper deviate somewhat from the affine arithmetic ... Affine arithmetic defines objects called affine quantities that represent sets of elements from ...} }