This paper is concerned with bounding the reachable set of parametric nonlinear ordinary differential equations using set-valued integration methods. The focus is on discrete-time set-propagation algorithms that proceed by first constructing a predictor of the reachable set and then determine a step-size for which this predictor yields a valid enclosure. For asymptotically stable systems, we give general conditions under which the computed bounds are stable, at least for small enough parametric variations. We also propose a strategy accounting for possible invariants of the dynamic system in order to further enhance stability. These novel developments are illustrated by means of numerical examples.

On the Stability of Set-Valued Integration for Parametric Nonlinear ODEs

Villanueva, Mario E.;
2014-01-01

Abstract

This paper is concerned with bounding the reachable set of parametric nonlinear ordinary differential equations using set-valued integration methods. The focus is on discrete-time set-propagation algorithms that proceed by first constructing a predictor of the reachable set and then determine a step-size for which this predictor yields a valid enclosure. For asymptotically stable systems, we give general conditions under which the computed bounds are stable, at least for small enough parametric variations. We also propose a strategy accounting for possible invariants of the dynamic system in order to further enhance stability. These novel developments are illustrated by means of numerical examples.
2014
9780444634344
ordinary differential equations, set-valued integration, stabilityinvariants
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11771/21498
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
social impact