In the proceedings of the American Control Conference, pp. 3428-3433, 2008 (with A. Packard, P. Seiler, and G. Balas).
@INPROCEEDINGS{4587023,
title={Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm},
author={Topcu, U. and Packard, A. and Seiler, P. and Balas, G.},
booktitle={American Control Conference, 2008},
year={2008},
month={June},
volume={},
number={},
pages={3428-3433},
abstract={We propose a method to compute invariant subsets of the region-of-attraction for the asymptotically stable equilibrium points of polynomial dynamical systems with bounded parametric uncertainty. Parameter-independent Lyapunov functions are used to characterize invariant subsets of the robust region-of-attraction. A branch-and-bound type refinement procedure is implemented to reduce the conservatism. We demonstrate the method on a two-state example from the literature and five-state controlled short period aircraft dynamics with and without time delay in the input to the plant.},
keywords={Lyapunov methods, invariance, nonlinear control systems, polynomials, stability, tree searching, uncertain systemsaircraft dynamics, asymptotically stable equilibrium, bounded parametric uncertainty, branch-and-bound algorithm, branch-and-bound type refinement procedure, invariant subsets, parameter-independent Lyapunov functions, polynomial dynamical systems, region-of-attraction, stability analysis, time delay, uncertain nonlinear systems},
doi={10.1109/ACC.2008.4587023},
ISSN={0743-1619},
}