💻 Category

cs.SY

361 artigos

Performance Comparison of Gate-Based and Adiabatic Quantum Computing for AC Power Flow Problem

Este artigo apresenta a primeira comparação direta entre as abordagens de computação quântica baseada em portas e adiabática para resolver o problema de fluxo de potência CA, demonstrando, por meio de simulações em um sistema de 4 barras e benchmarks contra hardware quântico e annealers digitais, as compensações de desempenho e a viabilidade prática dessas tecnologias para a análise de redes elétricas modernas.

Zeynab Kaseb, Matthias Moller, Peter Palensky, Pedro P. VergaraMon, 09 Ma⚛️ quant-ph

Admittance Matrix Concentration Inequalities for Understanding Uncertain Power Networks

Este artigo apresenta limites probabilísticos conservadores para o espectro da matriz de admitância e modelos de fluxo de potência sob incertezas de parâmetros, utilizando desigualdades de concentração de matrizes aleatórias para quantificar erros de aproximação e relacionar a propagação da incerteza à criticidade nodal em redes elétricas.

Samuel Talkington, Cameron Khanpour, Rahul K. Gupta, Sergio A. Dorado-Rojas, Daniel Turizo, Hyeongon Park, Dmitrii M. Ostrovskii, Daniel K. MolzahnMon, 09 Ma💻 cs

Mixed Monotonicity Reachability Analysis of Neural ODE: A Trade-Off Between Tightness and Efficiency

Este artigo propõe um novo método de análise de alcançabilidade baseado em intervalos para Redes Neurais de Equações Diferenciais Ordinárias (Neural ODEs), que utiliza técnicas de monotonicidade mista para oferecer aproximações superiores computacionalmente eficientes e adequadas a aplicações de alta dimensão e tempo real, priorizando a eficiência em detrimento da precisão máxima.

Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed GhazelMon, 09 Ma🤖 cs.LG

Multi-UAV Flood Monitoring via CVT with Gaussian Mixture of Density Functions for Coverage Control

Este estudo apresenta uma estratégia de controle baseada em Tesselação Voronoi Centroidal (CVT) e uma função de densidade de mistura gaussiana (GMDF) para coordenar múltiplos drones na monitorização e estimativa de áreas inundadas, demonstrando superioridade na cobertura em comparação com modelos gaussianos convencionais através de simulações no ambiente ROS/Gazebo.

Jie Song, Yang Bai, Mikhail Svinin, Naoki WakamiyaMon, 09 Ma💻 cs

Real-Time Learning of Predictive Dynamic Obstacle Models for Robotic Motion Planning

Este artigo apresenta um framework online que utiliza a decomposição de modo dinâmico de Hankel (Hankel-DMD) com projeção de Cadzow e thresholding de valor singular para aprender em tempo real modelos preditivos não lineares de obstáculos dinâmicos, permitindo a remoção de ruído e a previsão de trajetórias para planejamento de movimento robótico seguro.

Stella Kombo, Masih Haseli, Skylar X. Wei, Joel W. BurdickMon, 09 Ma🤖 cs.LG

Dependent Reachable Sets for the Constant Bearing Pursuit Strategy

Este artigo apresenta um novo problema de alcançabilidade para cenários de dois agentes, caracterizando geometricamente o conjunto de alcançabilidade dependente através da estratégia de perseguição com rumo constante, estabelecendo limites teóricos e validando-os por meio de simulações e de um problema de otimização original.

Venkata Ramana Makkapati, Tulasi Ram Vechalapu, Vinodhini Comandur, Seth HutchinsonMon, 09 Ma🔢 math

XR-DT: Extended Reality-Enhanced Digital Twin for Safe Motion Planning via Human-Aware Model Predictive Path Integral Control

Este artigo apresenta o XR-DT, um quadro de Gêmeo Digital aprimorado por Realidade Estendida que integra um controlador de planejamento de trajetória HA-MPPI com um modelo de previsão humana baseado em Transformer (ATLAS) para garantir navegação segura, eficiente e interpretável de robôs móveis em ambientes compartilhados com humanos.

Tianyi Wang, Jiseop Byeon, Ahmad Yehia, Yiming Xu, Jihyung Park, Tianyi Zeng, Sikai Chen, Ziran Wang, Junfeng Jiao, Christian ClaudelMon, 09 Ma🤖 cs.AI

SORS: A Modular, High-Fidelity Simulator for Soft Robots

O artigo apresenta o SORS, um simulador modular e de alta fidelidade baseado no método dos elementos finitos e otimização não linear, projetado para superar os desafios de modelagem de deformações não lineares e interações de contato em robôs macios, validando sua eficácia na ponte entre simulação e realidade através de diversos experimentos e otimização de controle.

Manuel Mekkattu, Mike Y. Michelis, Robert K. KatzschmannMon, 09 Ma💻 cs

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis

O artigo apresenta o StochasticBarrier.jl, uma caixa de ferramentas de código aberto em Julia que sintetiza Funções de Barreira Estocásticas para verificação de segurança de sistemas estocásticos discretos, superando as ferramentas existentes em velocidade, precisão e escalabilidade através de abordagens de otimização de soma de quadrados e funções constantes por partes.

Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti, Morteza LahijanianMon, 09 Ma🔢 math

Exploring Uncertainty Propagation in Coupled Hydrologic and Hydrodynamic Systems via Distribution-Agnostic State Space Analysis

Este artigo apresenta um framework baseado em equações diferenciais-algébricas e análise de espaço de estados, agnóstico à distribuição, para quantificar e propagar incertezas em sistemas hidrológicos e hidrodinâmicos acoplados, permitindo previsões probabilísticas de escoamento superficial e infiltração mesmo com medições parciais.

Mohamad H. Kazma, Ahmad F. TahaMon, 09 Ma💻 cs

Combinatorial Safety-Critical Coordination of Multi-Agent Systems via Mixed-Integer Responsibility Allocation and Control Barrier Functions

Este artigo propõe uma arquitetura híbrida para coordenação segura de sistemas multiagente que utiliza um programa linear de inteiros mistos para alocar responsabilidades de colisão entre os agentes, eliminando assim reações redundantes e reduzindo a complexidade computacional ao permitir que cada agente resolva apenas um programa quadrático local com restrições atribuídas.

Johannes Autenrieb, Mark Spiller, Hyo-Sang Shin, Namhoon ChoMon, 09 Ma💻 cs

On Koopman Resolvents and Frequency Response of Nonlinear Systems

Este artigo propõe uma nova formulação da resposta em frequência para sistemas não lineares no quadro do operador de Koopman, generalizando a abordagem clássica de sistemas LTI através da transformada de Laplace e da teoria de resolutas, permitindo a construção de diagramas de Bode e estabelecendo condições suficientes para a existência dessa resposta em três classes de dinâmicas.

Yoshihiko Susuki, Natsuki Katayama, Alexandre Mauroy, Igor MezicMon, 09 Ma🔢 math

A Dual-AoI-based Approach for Optimal Transmission Scheduling in Wireless Monitoring Systems with Random Data Arrivals

Este artigo propõe uma abordagem baseada em um modelo de dupla Idade da Informação (AoI) e um processo de decisão de Markov para otimizar o agendamento de transmissões em sistemas de monitoramento sem fio com chegadas aleatórias de dados, superando as limitações das políticas convencionais ao lidar com a evolução assíncrona da frescura da informação entre sensores e o centro de monitoramento.

Yuchong Zhang, Yi Cao, Xianghui CaoMon, 09 Ma💻 cs

Conversational Demand Response: Bidirectional Aggregator-Prosumer Coordination through Agentic AI

Este artigo apresenta a Resposta à Demanda Conversacional (CDR), um mecanismo de coordenação bidirecional entre agregadores e prosumidores baseado em IA agêntica que utiliza linguagem natural para equilibrar escalabilidade automatizada com transparência e agência do usuário, permitindo decisões informadas e comunicação em tempo real.

Reda El Makroum, Sebastian Zwickl-Bernhard, Lukas Kranzl, Hans AuerMon, 09 Ma🤖 cs.AI

AI End-to-End Radiation Treatment Planning Under One Second

O artigo apresenta o AIRT, um framework de aprendizado profundo de ponta a ponta capaz de gerar planos de radioterapia VMAT para próstata em menos de um segundo, demonstrando qualidade não inferior aos planos convencionais do RapidPlan Eclipse.

Simon Arberet, Riqiang Gao, Martin Kraus, Florin C. Ghesu, Wilko Verbakel, Mamadou Diallo, Anthony Magliari, Venkatesan Karuppusamy, Sushil Beriwal, REQUITE Consortium, Ali Kamen, Dorin ComaniciuMon, 09 Ma🤖 cs.AI