SparseMax-dSTL로 건전한 시간 논리 궤적 최적화 구현

SparseMax-dSTL로 건전한 시간 논리 궤적 최적화 구현

Sai Sandeep Damera, Ryan Matheu, John S. Baras, Calin Belta

1 분 읽기•2026년 10월 19일

제약 조건이 있는 궤적 최적화

목표는 명세를 만족하면서 최소한의 노력으로 제어 입력을 찾는 것입니다.

명세 최상위의 논리곱은 제약 조건으로 정확히 적용됩니다. 각 극값 노드는 최적화 변수에 대해 비매끄럽기 때문에, 그래디언트 기반 솔버는 그래프의 모든 극값 노드를 자식 노드의 매끄러운 함수로 대체한 다음, 여유도를 두고 그 결과 최적화 문제를 풉니다. 따라서 평활화 방식에 따라 최적화 문제의 가능 집합과 솔버의 탐색 방향이 모두 결정됩니다.

감사의 말

저자들은 코드 개발, 시각화 및 원고 검토에 Claude LLM을 사용했음을 밝힙니다.

자주 묻는 질문

궤적 최적화의 목표는 무엇인가요? 목표는 명세를 만족하면서 최소한의 노력으로 제어 입력을 찾는 것입니다.

명세 최상위의 논리곱은 어떻게 처리하나요? 제약 조건으로 정확히 적용합니다.

솔버는 왜 극값 노드를 평활화하나요? 각 극값 노드는 최적화 변수에 대해 비매끄럽기 때문에, 그래디언트 기반 솔버가 이를 자식 노드의 매끄러운 함수로 대체합니다.

평활화는 어떤 영향을 미치나요? 가능 집합과 솔버의 탐색 방향을 결정합니다.