Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- 12 September 2014
- journal article
- Published by Springer Nature in Journal of Global Optimization
- Vol. 62 (3) , 575-613
Abstract
No abstract availableKeywords
This publication has 57 references indexed in Scilit:
- Bounds on the reachable sets of nonlinear control systemsAutomatica, 2013
- Convergence analysis of Taylor models and McCormick-Taylor modelsJournal of Global Optimization, 2012
- Improved relaxations for the parametric solutions of ODEs using differential inequalitiesJournal of Global Optimization, 2012
- Validated solutions of initial value problems for parametric ODEsApplied Numerical Mathematics, 2007
- Deterministic global optimization of nonlinear dynamic systemsAIChE Journal, 2007
- Global Methods for Dynamic Optimization and Mixed-Integer Dynamic OptimizationIndustrial & Engineering Chemistry Research, 2006
- Comparison principle for equations of the Hamilton-Jacobi type in control theoryProceedings of the Steklov Institute of Mathematics, 2006
- Methods for bounding the range of a polynomialJournal of Computational and Applied Mathematics, 1995
- The cluster problem in multivariate global optimizationJournal of Global Optimization, 1994
- Global minimum potential energy conformations of small moleculesJournal of Global Optimization, 1994