Artigos mais recentes para Engenharia de Sistemas

Este artigo fala sobre técnicas para estimar com precisão as probabilidades de eventos raros.

Explore o papel das bisimulações em simplificar modelos complexos em várias áreas.

Uma olhada no design baseado em contratos para sistemas híbridos e suas complexidades.

Um novo método de aprendizado contínuo em sistemas de IA que melhora a retenção de conhecimento.

Usando supermartingais pra garantir a segurança e a eficiência de sistemas estocásticos.

Descubra como a abstração preguiçosa e o BRTDP melhoram a eficiência da análise de MDP.

Este artigo fala sobre como usar certificados e testemunhas para verificar consultas multi-objetivo em MDPs.

Uma nova abordagem para quantificar a incerteza em sistemas usando MDPs.

Aprenda como invariantes controlados mantêm a segurança em vários sistemas de tempo contínuo.

Aprenda como a bisimulação pode facilitar a verificação de sistemas complexos.

Novos métodos aumentam a velocidade de monitoramento para fórmulas STL complexas usando congelamento de valor.

Este artigo avalia o papel dos LLMs em modelar os requisitos de CPS de forma eficaz.

Uma olhada em redes temporais disjuntivas e seus métodos de verificação.

Investigando o comportamento e a estabilidade de sistemas de contrato e suas aplicações.

Explorando atalhos para a adiabaticidade pra transições de sistema mais rápidas sem perda de energia.

Este artigo explica a planitude e a planitude para frente no controle de sistemas usando testes geométricos.

Pesquisadores desenvolvem estratégias de controle preditivo para sistemas não lineares usando técnicas de transformação de assinatura.

Um método pra criar entradas de controle que ajudem na coleta eficiente de dados e na precisão do modelo.

Explorar a importância da estabilidade em sistemas interconectados e suas aplicações.

Aprenda como designs baseados em dados melhoram controladores em sistemas de grande escala.

Explicações contrafactuais ajudam a desvendar falhas em sistemas em tempo real.

Descubra como a comunicação assíncrona melhora a interação e a eficiência do sistema.

Aprenda como os preditores melhoram a confiabilidade dos sistemas adaptativos modernos.

Uma nova abordagem pra verificar o comportamento do sistema usando rankings implícitos.

Descubra como a ROMAS organiza agentes pra uma gestão de banco de dados eficiente.

Aprenda como a busca tolerante a falhas eficiente melhora a confiabilidade da rede.

Um mergulho profundo em álgebra de circuitos e suas aplicações no mundo real.