Families of Two-Impulse Optimal Rendezvous Transfers Between Elliptic Orbits

Este artigo propõe uma nova perspectiva baseada em famílias contínuas para o problema clássico de rendezvous ótimo de dois impulsos entre órbitas elípticas, utilizando continuação numérica e teoria do vetor primador para revelar a estrutura global das soluções, mapear a emergência e fusão de ramos ótimos e identificar transferências quase ótimas alternativas.

Beom Park, Kathleen C. Howell, Jaewoo Kim, Jaemyung AhnFri, 13 Ma🔢 math

Forward and Backward Reachability Analysis of Closed-loop Recurrent Neural Networks via Hybrid Zonotopes

Este trabalho apresenta uma abordagem baseada em hipozonótipos híbridos para calcular conjuntos de alcançabilidade exatos e aproximados de redes neurais recorrentes em malha fechada, propondo um esquema de relaxação sintonizável que equilibra complexidade computacional e precisão, além de derivar uma condição suficiente para certificar a segurança do sistema.

Yuhao Zhang, Xiangru XuFri, 13 Ma⚡ eess

An Eikonal Approach for Globally Optimal Free Flight Trajectories

O artigo apresenta uma abordagem baseada na equação eikonal para determinar trajetórias de voo contínuas e globalmente ótimas em campos de vento estacionários, minimizando emissões e consumo de combustível, enquanto utiliza estimativas de erro de elementos finitos para construir uma região de confiança que garante a unicidade das trajetórias e evita soluções localmente ótimas próximas a lócus de corte.

Ralf Borndörfer, Arturas Jocas, Martin WeiserFri, 13 Ma🔢 math

Generalisation of Farkas' lemma beyond closedness: a constructive approach via Fenchel-Rockafellar duality

Este artigo apresenta uma nova abordagem construtiva para generalizar o Lema de Farkas sem exigir a hipótese de que a imagem do cone seja fechada, utilizando a dualidade de Fenchel-Rockafellar para estabelecer condições necessárias e suficientes sob a premissa mais fraca de que o cone seja gerado por um conjunto convexo limitado e fechado.

Camille Pouchol (MAP5 - UMR 8145), Emmanuel Trélat (LJLL), Christophe Zhang (LJLL)Fri, 13 Ma🔢 math

New electric vehicle charging rate design : an MPEC assessment

Este artigo apresenta um modelo de programação matemática com restrições de equilíbrio (MPEC) para avaliar o impacto de tarifas específicas para veículos elétricos, demonstrando que a medição submeterada combinada com tarifas puramente volumétricas pode gerar economias anuais significativas e otimizar a recuperação de custos da rede, evitando reforços custosos.

Icaro Silvestre Freitas Gomes (LGI), Adam Abdin (LGI), Jakob Puchinger (LGI), Yannick Perez (LGI)Fri, 13 Ma🔢 math

Asymptotically Efficient Recursive Identification Under One-Bit Communications Achieving Original CRLB

Este artigo propõe um algoritmo recursivo de identificação assintoticamente eficiente para sistemas autorregressivos com entradas exógenas sob comunicações de um bit, que supera os métodos existentes ao alcançar a Cota de Cramer-Rao original (pré-quantização) através de uma nova estratégia de quantização que integra dados históricos e atuais, eliminando a necessidade de suposições de independência e reduzindo o erro quadrático médio assintótico em pelo menos 36%.

Xingrui Liu, Jieming Ke, Mingjie Shao, Yanlong ZhaoFri, 13 Ma🔢 math

Deterministic Algorithm for Non-monotone Submodular Maximization under Matroid and Knapsack Constraints

Este artigo propõe novos algoritmos determinísticos baseados em uma extensão multilinear aprimorada para a maximização de funções submodulares não monótonas sob restrições de matroide e mochila, alcançando razões de aproximação superiores às existentes de (0,385ϵ)(0,385 - \epsilon) e (0,367ϵ)(0,367 - \epsilon), respectivamente, com complexidade de consulta polinomial.

Shengminjie Chen, Yiwei Gao, Kaifeng Lin, Xiaoming Sun, Jialin ZhangFri, 13 Ma🔢 math

Operator Splitting, Policy Iteration, and Machine Learning for Stochastic Optimal Control

Este artigo propõe um método de divisão de operadores que reduz a equação de Hamilton-Jacobi de segunda ordem a um passo de calor e um passo de primeira ordem resolvido por um algoritmo de iteração de política baseado em gradiente, estabelecendo taxas de convergência para o erro e demonstrando resultados numéricos estáveis e precisos através de aprendizado de máquina.

Alain Bensoussan, Thien P. B. Nguyen, Minh-Binh Tran, Son N. T. TuFri, 13 Ma🔢 math