Tunable Input-to-State Safety with Input Constraints
이 논문은 가변 입력 안전성 (TISSf) 프레임워크에 입력 제약 조건을 명시적으로 통합하여, 기하학적 관점과 지지 함수를 활용한 검증 가능한 인증서를 도출하고 선형 프로그래밍을 통한 파라미터 선택 절차를 제안함으로써 입력 제약 하에서도 재귀적 실현 가능성을 보장하는 안전성 필터 설계 체계를 제시합니다.
322 편의 논문
이 논문은 가변 입력 안전성 (TISSf) 프레임워크에 입력 제약 조건을 명시적으로 통합하여, 기하학적 관점과 지지 함수를 활용한 검증 가능한 인증서를 도출하고 선형 프로그래밍을 통한 파라미터 선택 절차를 제안함으로써 입력 제약 하에서도 재귀적 실현 가능성을 보장하는 안전성 필터 설계 체계를 제시합니다.
이 논문은 이산시간 이종 다중 에이전트 시스템의 강인한 협력 출력 규제를 위해 내부 모델 기반 분산 제어 법칙의 존재 조건을 분석하고, 구조화된 제어 이득의 설계에 대한 전역 및 에이전트별 국소 충분 조건을 선형 행렬 부등식 (LMI) 을 통해 제시합니다.
이 논문은 호주 전역의 지리적으로 분산된 엣지 데이터 센터에서 LLM 추론 시 주변 온도 차이를 고려하여 에너지 비용, 탄소 배출, 대기 시간 및 물 소비를 통합 최적화하는 분산 알고리즘을 제안함으로써 지속 가능성을 향상시키는 방법을 제시합니다.
이 논문은 곡률과 직선 구간을 최적화하여 15MHz 대역에서 임피던스 정합, 대역폭 및 이득을 향상시킨 새로운 곡선 모노폴 안테나를 설계하고, 이를 12 요소 선형 어레이로 확장하여 HF 레이더용 차세대 컴팩트 및 광대역 솔루션을 제시합니다.
이 논문은 수소 저장 장치를 갖춘 대규모 가정용 에너지 스케줄링 문제를 해결하기 위해 일일 사전 계획 및 단기 최적화를 계층적으로 수행하는 양자 어닐링 기반 모델 예측 제어 프레임워크를 제안하며, 가정 수 증가에 따른 계산 복잡성 증가 시 기존 최적화 기법보다 양자 어닐링 접근법이 더 효과적임을 실증했습니다.
이 논문은 기존 상용 EDA 를 능가하는 정밀한 노이즈 예측을 위해 LTI/LTV 이론에 의존하지 않는 새로운 시간 영역 알고리즘을 기반으로 QUCS 시뮬레이터에 위상 노이즈 분석 모듈을 구현하고, 결합 발진 회로의 진폭 및 위상 - 진폭 상관 응답에 대한 새로운 폐쇄형 수식을 제시하는 내용을 다룹니다.
이 논문은 가시성 제한과 부분 관측이 있는 혼란스러운 환경에서도 자연어 명령에 따라 안전하고 실행 가능한 6 자유도 집기를 보장하기 위해, VLM 기반의 객체 인식과 깊이 보상을 통한 점구름 완성을 결합한 종단간 그립 파이프라인을 제안하고 실제 4 족 보행 로봇을 통해 기존 방식 대비 집기 성공률을 30% 에서 90% 로 획기적으로 향상시켰음을 입증합니다.
본 논문은 입력 포화를 가진 불확실 선형 시스템에 대해 혼합 IQC(적분 2 차 제약) 기반의 새로운 강인 제어 합성 기법을 제안하여, 기존 단일 정적 섹터 조건보다 향상된 -게인 성능을 보장하는 LMI(선형 행렬 부등식) 조건을 유도하고 이를 카트-펜듈럼 예시를 통해 검증합니다.
이 논문은 전력 인버터의 제어 성능과 계산 효율성 간의 균형을 맞추기 위해 오차 에너지 기반 하이브리드 보상 메커니즘과 적응적 중요도 가중치를 활용한 지식 증류 기법을 도입하여, 무모델 심층 강화학습 정책을 경량화하고 마이크로초 단위의 실시간 추론과 우수한 과도 응답 성능을 실현하는 새로운 제어 프레임워크를 제안하고 실험적으로 검증했습니다.
이 논문은 프로펠러 구동 차량의 제어 할당을 위해 모터 토크 한계와 공기역학적 항력을 고려한 리만 계량을 도입하여, 항력으로 인한 포화 및 저회전 추력 손실을 효과적으로 방지하는 기하학적 프레임워크인 '항력 인식 공기역학적 조작성 (DAAM)'을 제안하고 그 수학적 특성을 증명합니다.
이 논문은 동적 통신 링크와 처리 지연을 갖는 개방형 다중 에이전트 시스템에서 유한 시간 수렴을 보장하는 세 가지 통신 효율적인 분산 양자화 평균 합의 알고리즘을 제안하고 그 유효성을 수치 시뮬레이션을 통해 검증합니다.
이 논문은 Robust Positive Invariant(RPI) 집합을 기반으로 자율 헬리콥터의 궤적 추적 오차에 대한 공식적으로 보장된 상한을 계산하는 체계적인 프레임워크를 제시하고, 이를 통해 상위 단계 궤적 계획에 활용 가능한 인증된 버퍼 영역을 제공하는 세 가지 제어기 아키텍처를 비교 분석합니다.
이 논문은 위성 기동성과 계산 복잡성 사이의 균형을 맞추기 위해 비선형 MPC 의 고성능과 선형 MPC 의 계산적 단순성을 결합한 증강 모델 예측 제어 (Augmented-MPC) 방법을 제안하고, 수치 시뮬레이션 및 물리적 실험을 통해 그 유효성을 입증합니다.
이 논문은 유럽의 전력 시스템에서 국가별 용량 시장의 비효율성을 해결하고 네트워크 제약 조건 하에서 시스템 비용을 절감하기 위해 흐름 기반 시장 커플링 논리를 적용한 새로운 유럽 용량 시장 연계 개념을 제안하고 있습니다.
이 논문은 물리적 및 기하학적 지식을 활용하여 복잡한 물리 법칙으로 제약된 최적화 문제를 효율적인 다면체 재형식으로 변환함으로써 계산 속도를 최대 6,400 배 향상시키고 메모리 사용량을 99.87% 줄이면서 고품질 해를 제공하는 'PolyFormer'를 제안합니다.
이 논문은 매개변수 불확실성과 외란 하에서 시간 가변 상태 및 입력 제약을 만족시키기 위해 시간 가변 장벽 리아푸노프 함수와 포화 제어 법칙을 통합한 적응 제어 프레임워크를 제안하고, 실행 가능성 조건을 검증하며 2 자유도 헬리콥터 실험을 통해 그 유효성을 입증합니다.
이 논문은 에너지 전환 과정에서 TSO 와 DSO 간의 조정을 통해 분산 에너지 자원의 유연성을 효과적으로 활용하여 시스템 균형 유지와 네트워크 혼잡 방지를 도모하는 다양한 조정 방식의 분류, 현황 평가, 장단점 및 실용적 과제를 종합적으로 검토합니다.
이 논문은 대규모 재생에너지 전력 시스템의 안정성 분석을 용이하게 하기 위해 대칭성을 기반으로 고유값 패턴과 참여 인자를 분석하고, 새로운 '그룹 참여 인자' 개념을 도입하여 내부 및 그룹 - 그리드 모드의 특성을 규명하고 그 유효성을 검증했습니다.
이 논문은 데스크톱 UI, API, 로컬/클라우드 모델 백엔드, 지속적 메모리, 재사용 가능한 스킬, MCP 호환 확장성 및 하드웨어 통합을 하나의 통합 오케스트레이션 코어로 연결하고, 3 단계 파이프라인과 적응형 모델 관리 시스템을 통해 계획의 질과 실행 능력을 분리하여 설계된 범용 AI 어시스턴트 플랫폼 'IronEngine'의 아키텍처, 성능, 및 비교 분석을 제시합니다.
이 논문은 카메라와 LiDAR 의 상호 보완적 특성을 활용하여 정보 이득 (엔트로피 감소) 기반의 적응형 센서 선택 정책을 도입한 파티클 필터 추적기를 제안하고, 키프로스 아이나 나파 마리나에서의 실증 실험을 통해 단일 선박 추적의 정확성과 연속성을 동시에 개선하는 것을 입증했습니다.