Las técnicas de descomposición en sumas de cuadrados (SOS) permiten emplear métodos numéricos para probar la positividad de funciones polinómicas multivariables resolviendo problemas de programación en semidefinida. Teniendo en cuenta que generalmente es difícil encontrar funciones de Lyapunov para realizar análisis de estabilidad en sistemas no lineales, con el uso de técnicas SOS se utiliza una herramienta computacional para resolver este problema, planteando las condiciones de estabilidad como un problema SOS y obteniendo la solución con un toolbox de Matlab. Para mostrar el uso de esta herramienta se presentan ejemplos simples de los conceptos de SOS, análisis de estabilidad para sistemas no lineales polinomios, racionales, con incertidumbre en los parámetros y de sistemas conmutados con una aproximación en polinomio. Con dicha aproximación se encuentran funciones adecuadas para demostrar estabilidad asintótica para estos sistemas.
Introducción
La teoría sobre la descomposición de funciones polinomiales en su-mas de cuadrados (SOS) ha tenido un desarrollo importante en los últimos diez años desde su introducción en Parrilo (2000). Este impulso se debe principalmente a la posibilidad de realizar relajaciones de problemas considerados NP-hard (e. g., la evaluación de la no negatividad de polinomios multivariables) (Papadimitriou, 1994), a problemas solucionables computacionalmente en tiempo polinomial. El problema consiste básicamente en encontrar condiciones para verificar la validez de la proposición. Para considerar el estudio algorítmico de este problema es evidente la necesidad de delimitar la estructura de las posibles funciones F, y al mismo tiempo hacer el problema lo suficientemente general para garantizar la aplicabilidad de los resultados. Un buen compromiso es alcanzado restringiendo la clase de F a funciones polinomiales (Parrilo, 2000).
Es posible mostrar que el problema general de probar positividad global de una función en polinomial es también de hecho NP-hard (cuando el grado es al menos cuatro). Así que, cualquier método para garantizar la solución del problema en cada caso posible tendrá un comportamiento inaceptable en tiempo computacional para una función con un número de variables elevado. Ésta es la principal desventaja de las metodologías teóricas tales como eliminación de cuantificadores (Parrilo, 2000).
Si se desean evitar los problemas de complejidad inherentes relacionados con la solución exacta, surge la siguiente cuestión: ¿hay algunas condiciones, que puedan ser probadas en tiempo polinomial para garantizar positividad global de una función? Como se verá en la siguiente sección, tal condición está dada por la existencia de una descomposición en suma de cuadrados.
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Simulación dinámica computacional de la hemodinámica de un aneurisma cerebral bajo la acción de un campo magnético externo
Video:
Mecánica estadística del aprendizaje
Artículo:
Fabricación y caracterización óptica de cristales coloidales de alta calidad formados por esferas de SiO2 de 225 nm de diámetro con empaquetamiento fcc crecidos por el método convectivo de auto-ensamblado de deposición vertical
Artículo:
Láser de fibra dopada con Tm de área de modo grande y conmutación Q de fósforo negro
Infografía:
Principios de Kit de Construcción de Circuitos CA - Laboratorio Virtual
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Presentación:
Estudio de movimientos y tiempos
Artículo:
Estudio sobre la evaluación de la sostenibilidad de los productos innovadores
Artículo:
Generadores para ideales asociados a diferencia de tablas de Ferrers y cómputo de los generadores para ideales de Ferrers