A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems

당신이 만약 보이지 않는 탄성 벽들로 가득 찬 방 안으로 공을 던졌을 때, 그 공이 정확히 어디까지 날아갈 수 있는지 예측하려고 노력한다고 상상해 보십시오. 이 공은 단순히 벽에 부딪히는 것이 아니라, 돌풍과 같은 예측 불가능한 바람에 의해 밀려나기도 합니다. 공학의 세계에서 이 "공"은 기계나 로봇을 의미하며, "벽"은 기계가 위치한 곳에 따라 변하는 서로 다른 규칙들을, "바람"은 무작위적인 노이즈나 교란을 의미합니다.

핵야 질문은 다음과 같습니다. "이 기계가 도달할 수 있는 가장 넓은 영역은 어디인가?" 이 영역을 **도달 집합(reachable set)**이라고 부릅니다. 만약 당신이 이 영역 주위에 딱 맞는 투명한 거품(bubble)을 그려낼 수 있다면, 바람이 아무리 거칠게 불더라도 기계가 그 거품 밖으로 절대 벗어나지 못할 것임을 알 수 있습니다. 이는 안전을 위해 매우 중요합니다. 만약 로봇이 특정 안전 구역 안에 머물러야 한다면, 그 구역의 크기를 정확히 알아야 하기 때문입니다.

기존 지도들의 문제점

오랫동안, 두 가지 서로 다른 동작(이를 **이중 모드 피스와이즈 아핀 시스템(bimodal piecewise affine systems)**이라 부릅니다) 사이를 전환하는 기계의 이 "안전 거품"을 그리려는 시도는 마치 망치로 미로를 그려내는 것만큼이나 어려웠습니다. 기존의 방법들은 단순한 2D 스케치가 필요한 상황에서 거대한 3D 퍼즐을 풀려고 하는 것처럼 너무 복잡했습니다. 어떤 방법들은 계산하는 데 몇 시간이 걸릴 정도로 무거웠고, 또 다른 방법들은 안전 거품을 너무 크고 흐릿하게 만들어 실제로는 별 쓸모가 없게 만들었습니다.

이 논문의 저자들인 르 꽝 투안(Le Quang Thuan), 판 타인 남(Phan Thanh Nam), 그리고 시모네 발디(Simone Baldi)는 더 낫고 가벼운 도구를 만들기로 했습니다. 그들은 단순히 크고 흐릿한 구름을 원하는 것이 아니라, 딱 맞는 맞춤형 모양의 거품을 원했습니다.

새로운 도구: 두 조각으로 된 탄성 슈트

연구팀의 주요 발견은 **피스와이즈 이차 리아푸노프 함수(piecewise quadratic Lyapunov function)**라고 불리는 것을 사용하여 이 안전 거품을 계산하는 새로운 방법입니다.

이를 이해하기 위해, 안전 거품이 단일한 딱딱한 구체가 아니라고 상상해 보십시오. 대신, 그것은 두 조각으로 된 탄성 슈트와 같습니다.

• 방의 왼쪽 부분에서 슈트는 한 종류의 신축성 있는 고무(하나의 수학적 형상으로 정의됨)로 만들어져 있습니다.
• 오른쪽 부분에서는 약간 다른 종류의 고무(두 번째 형상으로 정의됨)로 만들어져 있습니다.
• 마법은 두 면이 만나는 바로 그 선에서 일어납니다. 저자들은 이 두 조각을 완벽하게 꿰매어, 슈트가 매끄럽고 연속적이 되도록—틈도 없고, 찢어진 곳도 없으며, 이상한 돌출부도 없도록—만드는 방법을 찾아냈습니다.

그들은 이 두 조각을 올바르게 꿰매기만 하면, 결과물인 "슈트"가 기계의 가능한 경로들을 항상 긴밀하게 감싸 안을 것임을 수학적으로 증명했습니다. 그들은 **선형 행렬 부등식(Linear Matrix Inequalities, LMIs)**이라는 규칙 세트를 사용하여 각 조각의 완벽한 모양을 찾아냈습니다. 이 규칙들은 컴퓨터에게 고무를 어떻게 늘려야 기계의 움직임에 완벽하게 맞출 수 있는지 알려주는 레시피와 같습니다.

그들이 배제한 것들

이 논문은 자신들의 방법이 무엇이 아닌지를 매우 명확히 밝히고 있습니다.

• 그들은 여러 가지 다른 모드(다중 모드 시스템)를 가진 기계를 위해 설계된 기존의 지나치게 복렴한 방법들을 명시적으로 사용하지 않습니다. 그들은 오직 두 가지 모드(이중 모드) 사이를 전환하는 기계에 대해 기존의 방법들을 사용하는 것은, 스도쿠 문제를 풀기 위해 슈퍼컴퓨터를 사용하는 것과 같이 과도한 작업이라고 주장합니다.
• 또한 그들은 "바람"(교란)이 결국 멈출 것이라고 가정하지 않습니다. 일부 오래된 방법들은 수학적 계산이 성립하려면 바람이 0으로 줄어들어야 한다고 요구했습니다. 이 새로운 방법은 바람이 특정 강도 제한 내에 머물러 있는 한, 바람이 영원히 계속 불더라도 작동합니다.
• 그들은 방 전체를 위한 하나의 "공통된" 단일 형상에 의존하지 않습니다. 수치 실험에서 그들은 하나의 단일 형상(공통 이차 함수)을 사용하는 것이 훨씬 더 크고 느슨한 거품을 만들어 공간을 낭비한다는 것을 보여주었습니다. 그들의 두 조각 슈트는 훨씬 더 타이트합니다.

얼마나 확신하는가?

저자들은 단순히 추측한 것이 아니라, 엄격한 수학을 사용하여 그들의 방법이 작동함을 증명했습니다. 그들은 위에서 언급한 LMI를 사용하여 안전 거품이 유지된다는 것을 보장하는 구체적인 조건들을 도출했습니다.

실제로 적용해 보기 위해, 그들은 두 가지 시나리오에 대해 시뮬레이션(컴퓨터 실험)을 수행했습니다:

1. 단순한 수학 예시: 그들은 자신들의 새로운 두 조각 슈트를 기존의 단일 조각 슈트와 비교했습니다. 결과는 어떠했을까요? 새로운 슈트가 훨씬 더 타이트했습니다. 그것은 기존의 슈트가 놓쳤던 기계의 "직교적(orthogonal)"(거의 직각에 가까운) 움직임의 특성을 포착해 냈습니다.
2. 기계적 카트 시스템: 두 개의 카트와 스프링이 있는 실제 세계의 기계 시스템을 시뮬레이션했습니다. 여기서 차이는 엄청났습니다.
   • 그들의 새로운 방법은 약 0.1초 만에 안전 거품을 계산했습니다.
   • 그들은 존토피(zonotopes)라는 다른 기법을 사용하여 동일한 작업을 수행하려 했던 업계의 유명한 도구인 CORA와 비교했습니다. CORA는 결과를 얻는 데 200초(3분 이상)가 걸렸으며, 심지어 결과를 더 정밀하게 만들려고 해도 거품의 크기가 실제로 개선되지 않은 채 시간만 더 오래 걸렸습니다.

저자들은 이 4차 시스템에 대해 그들의 방법이 기존 도구보다 대략 3 자릿수(1,000배) 더 빠르다고 명시합니다. 그들은 자신들의 방법이 이중 모드 시스템에 대해서는 상당한 개선이지만, 세 개 이상의 모드를 가진 시스템을 위한 마법 지팡이는 아니며, 그것은 향후 연구의 과제라고 강조합니다.

핵심 요약

요약하자 Bet, 이 논문은 두 가지 행동 사이를 전환하는 기계 주변에 "안전 거품"을 그리는 더 똑똑하고, 빠르고, 타이트한 방법을 제공합니다. 안전 구역을 하나의 경직된 형상이 아닌, 서로 꿰매어진 두 개의 탄성 조각으로 취급함으로써, 저자들은 수학적으로 건전하면서도 계산적으로 번개처럼 빠른 방법을 만들어냈습니다. 이는 때때로 복잡한 문제를 해결하는 최선의 방법이 더 큰 기계를 만드는 것이 아니라, 더 잘 맞는 슈트를 꿰매는 것임을 상기시켜 줍니다.