Conjunto basado en la serie B
Autores: Alexandre dit Sandretto, Julien
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Conjunto basado en la serie B
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Series
B-series
Formalismo
Análisis de alcanzabilidad
Enfoques basados en conjuntos
Ecuaciones diferenciales
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 30
Citaciones: Sin citaciones
Las series B se definieron para unificar el formalismo de soluciones para ecuaciones diferenciales ordinarias definidas por series. Los esquemas de Runge-Kutta pueden verse como series B truncadas, similares a las series de Taylor. En el prolífico ámbito del análisis de alcanzabilidad, es decir, el proceso de calcular el conjunto de estados alcanzables para un sistema, se han propuesto muchas técnicas sin vínculos obvios. En el caso particular de condiciones iniciales y/o parámetros inciertos en la definición de ecuaciones diferenciales, los enfoques basados en conjuntos son un método natural y elegante para calcular conjuntos alcanzables. En este artículo, se propone una extensión a las series B para fusionar estas técnicas en un formalismo común denominado series B basadas en conjuntos. Mostramos que las principales propiedades de las series B se conservan. Se presenta una técnica validada, basada en métodos de Runge-Kutta, capaz de calcular dichas series. Se proporcionan experimentos para ilustrar el enfoque propuesto.
Descripción
Las series B se definieron para unificar el formalismo de soluciones para ecuaciones diferenciales ordinarias definidas por series. Los esquemas de Runge-Kutta pueden verse como series B truncadas, similares a las series de Taylor. En el prolífico ámbito del análisis de alcanzabilidad, es decir, el proceso de calcular el conjunto de estados alcanzables para un sistema, se han propuesto muchas técnicas sin vínculos obvios. En el caso particular de condiciones iniciales y/o parámetros inciertos en la definición de ecuaciones diferenciales, los enfoques basados en conjuntos son un método natural y elegante para calcular conjuntos alcanzables. En este artículo, se propone una extensión a las series B para fusionar estas técnicas en un formalismo común denominado series B basadas en conjuntos. Mostramos que las principales propiedades de las series B se conservan. Se presenta una técnica validada, basada en métodos de Runge-Kutta, capaz de calcular dichas series. Se proporcionan experimentos para ilustrar el enfoque propuesto.