Últimos artículos para Ingeniería de Sistemas

Este artículo habla sobre técnicas para estimar con precisión las probabilidades de eventos raros.

Explora el papel de las bisimulaciones en la simplificación de modelos complejos en diferentes campos.

Una mirada al diseño basado en contratos para sistemas híbridos y sus complejidades.

Un nuevo método para el aprendizaje continuo en sistemas de IA que mejora la retención del conocimiento.

Usando supermartingalas para asegurar la seguridad y eficiencia de sistemas estocásticos.

Descubre cómo la abstracción perezosa y BRTDP mejoran la eficiencia del análisis de MDP.

Este artículo habla sobre el uso de certificados y testigos para verificar consultas multiobjetivo en MDPs.

Un nuevo enfoque para cuantificar la incertidumbre en sistemas utilizando MDPs.

Aprende cómo los invariantes controlados mantienen la seguridad en varios sistemas de tiempo continuo.

Aprende cómo la bisimulación puede facilitar la verificación de sistemas complejos.

Nuevos métodos mejoran la velocidad de monitoreo para fórmulas STL complejas usando congelación de valores.

Este documento evalúa el papel de los LLMs en modelar efectivamente los requisitos de CPS.

Una mirada a las redes temporales disyuntivas y sus métodos de verificación.

Investigando el comportamiento y la estabilidad de los sistemas de contratación y sus aplicaciones.

Explorando atajos hacia la adiabaticidad para hacer transiciones más rápidas en el sistema sin pérdida de energía.

Este artículo explica la planitud y la planitud hacia adelante en el control de sistemas usando pruebas geométricas.

Investigadores desarrollan estrategias de control predictivo para sistemas no lineales mediante técnicas de transformada de firma.

Un método para diseñar entradas de control para una recolección de datos eficiente y precisión del modelo.

Explora la importancia de la estabilidad en los sistemas en red y sus aplicaciones.

Aprende cómo los diseños basados en datos mejoran los controladores en sistemas a gran escala.

Las explicaciones contrafactuales ayudan a desentrañar fallos en sistemas en tiempo real.

Descubre cómo la comunicación asincrónica mejora la interacción y eficiencia del sistema.

Aprende cómo los predictores mejoran la fiabilidad de los sistemas adaptativos modernos.

Un nuevo enfoque para verificar el comportamiento del sistema usando rankings implícitos.

Aprende cómo ROMAS organiza a los agentes para una gestión eficiente de bases de datos.

Aprende cómo la búsqueda tolerante a fallos mejora la fiabilidad de la red.

Una inmersión profunda en las álgebra de circuitos y sus aplicaciones en el mundo real.