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

이 논문은 ReLU 활성화 함수를 가진 폐루프 순환 신경망 (RNN) 시스템의 정확한 전방 및 후방 도달 가능 집합을 계산하기 위해 하이브리드 쥬노토프를 기반으로 한 새로운 접근법을 제시하고, 삼각형 면적 점수를 활용한 선택적 볼록 완화 기법을 통해 계산 복잡성과 근사 정확도 간의 균형을 조절하며 시스템 안전성을 검증하는 방법을 제안합니다.

Yuhao Zhang, Xiangru XuFri, 13 Ma⚡ eess

Cayley Commutator-free Methods for Krotov-Type Algorithms in Quantum Optimal Control

이 논문은 지수 행렬과 교환자를 사용하지 않으면서도 유니터리성과 대칭성을 보존하는 교환자 없는 케일리 적분기를 기반으로 한 구조 보존 수치 방법을 제안하여, 양자 최적 제어 문제에서 기존 지수 기반 전파자보다 계산 비용을 크게 절감하면서도 높은 정확도와 안정성을 달성하는 효율적인 대안을 제시합니다.

Boris Wembe, Usman Ali, Torsten Meier, Sina Ober-BlöbaumFri, 13 Ma🔢 math

Exploiting Parallelism in a QPALM-based Solver for Optimal Control

이 논문은 최적 제어 문제에서 발생하는 2 차 계획법 (QP) 을 해결하기 위해 제안된 QPALM-OCP 알고리즘의 단계별 병렬 처리 가능성을 활용하여 최적화된 C++ 구현을 통해 성능을 향상시키고, 이를 기존 QPALM 방법 및 벤치마크 문제와 비교 분석한 내용을 다룹니다.

Pieter Pas, Kristoffer Fink Løwenstein, Daniele Bernardini, Panagiotis PatrinosFri, 13 Ma⚡ eess

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

이 논문은 Fenchel-Rockafellar 쌍대성 이론을 활용하여 A(P)A(P) 의 닫힘 성질을 가정하지 않고도 폐집합인 유계 볼록 집합으로 생성된 원뿔 PP 에 대해 Farkas 보조정리를 구성적 방법으로 일반화하고, ε\varepsilon-근사 해의 존재 조건 및 비볼록 원뿔에 대한 적용 가능성을 제시합니다.

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

이 논문은 전기차 충전 요금 설계를 국가 규제 당국과 다양한 시장 참여자 간의 상호작용을 포착하는 수리계획형 균형 제약 (MPEC) 게임 이론 모델로 분석하여, 전용 계량기를 활용한 전기차 전용 요금제가 계량 비용 회수 효율성을 높이고 계량 강화 투자를 절감하는 데 효과적임을 규명했습니다.

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

본 논문은 1 비트 통신 환경에서 현재 및 과거 시스템 출력과 입력을 통합하는 새로운 양자화 기법을 도입하여 기존 방법들의 정보 손실 문제를 해결하고, 독립성 가정 없이도 원래 데이터의 크라메르-라오 하한 (CRLB) 을 달성하는 점근적으로 효율적인 재귀적 식별 알고리즘을 제안합니다.

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

On-Average Stability of Multipass Preconditioned SGD and Effective Dimension

이 논문은 데이터 재사용으로 인한 상관관계를 고려한 새로운 평균 안정성 분석 기법을 개발하여, 다중 패스 전처리 SGD 의 일반화 성능을 유효 차원과 연결하고 부적절한 전처리 행렬이 최적화 및 일반화 모두에서 비최적의 성능을 초래할 수 있음을 증명합니다.

Simon Vary, Tyler Farghly, Ilja Kuzborskij, Patrick RebeschiniFri, 13 Ma📊 stat

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

이 논문은 다항식 시간 복잡도를 가지며, 기존 최상위 결정론적 근사 비율을 개선한 (0.385ϵ)(0.385-\epsilon) (매트로이드 제약) 과 (0.367ϵ)(0.367-\epsilon) (가방 제약) 의 근사 비율을 달성하는 비단조 서브모듈러 함수 최대화를 위한 새로운 결정론적 알고리즘을 제안합니다.

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

Well-posedness of boundary control systems and application to ISS for coupled heat equations with boundary disturbances and delays

이 논문은 제어 및 관측 연산자가 유계하지 않은 선형 시간 불변 무한차원 시스템에 대한 새로운 유계성 추정을 바탕으로 경계 제어 시스템의 잘-제정성을 증명하고, 이를 경계 교란 및 시간 지연이 있는 결합 열 방정식의 지수적 입력 - 상태 안정성 (ISS) 조건을 유도하는 데 적용합니다.

Yassine El Gantouh, Jun Zheng, Guchuan ZhuFri, 13 Ma🔢 math

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

이 논문은 2 차 해밀턴 - 야코비 방정식을 열 방정식과 1 차 방정식으로 분할하여 해를 구하는 새로운 접근법을 제안하며, 경사 기반 정책 반복 알고리즘과 기계 학습을 결합해 다양한 초기 조건에서의 수렴 속도를 이론적으로 증명하고 안정적인 수치 해법을 제시합니다.

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