Safe Controller Synthesis Using Lyapunov-based Barriers for Linear Hybrid Systems with Simplex Architecture

논문 요약: 심플렉스 아키텍처를 위한 선형 하이브리드 시스템의 리아푸노프 기반 장벽을 활용한 안전 제어기 합성

1. 연구 배경 및 문제 정의 (Problem)

현대 사이버 - 물리 시스템 (CPS) 은 성능을 최적화하는 주 제어기 (Primary Optimal Controller, POC) 와 안전을 보장하는 백업 제어기 (Backup Safe Controller, BSC) 로 구성된 **심플렉스 아키텍처 (Simplex Architecture)**를 채택하는 경우가 많습니다. POC 는 학습 기반 (AI) 이거나 분석적 설계로 특정 비용 함수를 최적화하지만, 모델링 오차나 외부 교란으로 인해 시스템이 안전 영역을 벗어날 수 있습니다. 이때 BSC 가 활성화되어 시스템을 안전 상태로 복귀시켜야 합니다.

기존의 BSC 설계 방식은 다음과 같은 한계가 있었습니다:

• 실시간 복구 기한 (Deadline) 고려 부재: 시스템이 위험한 궤적에서 벗어났을 때, 특정 시간 내에 안전 영역으로 복귀해야 한다는 '시간적 제약'을 합성 기준에 명시적으로 반영하지 않음.
• 작동 영역의 제한: 안전 영역을 최대화하는 합성 기준이 부족하여, 보장되는 안전 작동 영역이 매우 작음.
• 자원 효율성 부족: 제한된 처리 대역폭 (Bandwidth) 환경에서 다양한 실행 주기 (Sampling Period) 를 가진 제어기 간의 전환을 고려하지 않음.

본 논문은 최대 가능한 안전 상태 공간 영역에서 최적의 복구 시간을 보장하면서도, 제한된 자원 (처리 대역폭) 내에서 효율적으로 작동할 수 있는 BSC 합성 및 활성화 정책을 제안합니다.

2. 제안된 방법론 (Methodology)

제안된 프레임워크는 선형 하이브리드 시스템을 기반으로 하며, 다음 4 가지 주요 단계를 거칩니다.

1 단계: 복구 기한에서 최소 지수 감쇠율 도출

• 주어진 복구 기한 ($\delta_t$) 을 샘플링 주기 ($h$) 에 따라 필요한 샘플링 횟수 ($\delta_k$) 로 변환합니다.
• 시스템이 안전 영역 (SOR) 에서 벗어난 상태 (Preferred Operating Region, POR 밖) 에서 POR 로 복귀하기 위해 필요한 **2 차 리아푸노프 함수 (QLF) 의 최소 감쇠율 ($\alpha_{ref}$)**을 수학적으로 유도합니다. 이는 최악의 경우 (가장 위험한 상태) 에서도 기한 내에 복귀할 수 있도록 보장합니다.

2 단계: 원하는 복구율 및 안전 보장을 위한 제약 조건 합성

• 복구 보장: 유도된 감쇠율 ($\alpha$) 을 만족하는 선형 행렬 부등식 (LMI) 을 구성하여, 제어기 게인 ($K_S$) 이 시스템 상태를 기한 내에 POR 로 복귀시키도록 보장합니다.
• 안전 보장 (Forward Invariance): 안전 장벽 함수 (Safety Barrier Function, SBF) 개념을 도입합니다. 제어기 게인에 대응하는 QLF 의 레벨 세트 (타원체) 가 안전 영역 (SOR) 내부에 완전히 포함되도록 최대화하는 LMI 를 설계합니다. 이를 통해 시스템이 안전 영역을 벗어날 수 없도록 (Forward Invariance) 보장합니다.

3 단계: 다중 레이트 (Multi-rate) BSC 합성 및 안전/안정적 전환 로직

• 제한된 자원 환경에 대응하기 위해 서로 다른 샘플링 주기 ($h_i$) 를 가진 여러 개의 BSC 를 합성합니다.
• 각 BSC 는 고유한 **가장 큰 안전 불변 영역 (SFIR, Safest Forward-Invariant Region)**을 가집니다.
• 안전 전환 정책 (SCAP): 시스템 상태가 현재 활성화된 BSC 의 SFIR 내에 있을 때만 해당 제어기를 사용하도록 설계합니다. 상태가 변화함에 따라 더 큰 감쇠율을 제공하는 BSC 로 전환하되, 항상 안전성과 복구 기한을 유지하는 전환 로직을 제안합니다.

4 단계: 자원 인식형 알고리즘적 프레임워크 (SCAP)

• **전역 로그 장벽 함수 (GLBF)**를 사용하여 실시간으로 시스템의 안전 거리를 측정합니다.
• **처리 대역폭 (Utilization Budget)**을 고려한 적응형 스케줄링을 수행합니다.
  • 시스템이 위험할 때는 높은 샘플링 주파수 (빠른 제어) 를 가진 BSC 를 활성화하여 빠르게 복구합니다.
  • 시스템이 안전해지거나 대역폭 제약이 발생하면, 더 낮은 주파수 (자원 소모가 적은) BSC 로 전환하여 자원을 절약합니다.
  • 시스템이 POR 내부로 완전히 복귀하면 POC 로 전환합니다.

3. 주요 기여 (Key Contributions)

1. 최대 안전 영역 및 시간적 보장의 통합: 기존 연구와 달리, 최대 가능한 안전 작동 영역을 보장하면서도 엄격한 복구 기한 (Deadline) 을 만족하는 제어기를 합성하는 첫 번째 작업입니다.
2. 자원 민감형 다중 레이트 제어기 합성: 단일 제어기가 아닌, 서로 다른 실행 주기를 가진 BSC 집합을 합성하여 제한된 처리 대역폭 환경에서도 유연하게 대응할 수 있게 합니다.
3. 새로운 활성화 정책 (SCAP): 시스템 상태와 자원 제약 (대역폭) 을 동시에 고려하여 제어기를 지능적으로 전환하는 알고리즘을 제안합니다. 이는 Zeno 현상 (무한 전환) 을 방지하고 자원을 효율적으로 사용합니다.
4. 효율적인 합성 기법: SOS (Sum-of-Squares) 나 QP (Quadratic Programming) 기반 방법보다 계산 효율이 높은 반정부 계획법 (SDP) 기반의 LMI 해법을 사용하여 실시간 합성 가능성을 높였습니다.

4. 실험 결과 (Results)

논문은 두 가지 사례 연구 (Aircraft Longitudinal Dynamics, Inverted Pendulum Dynamics) 를 통해 제안된 방법의 유효성을 검증했습니다.

• 항공기 종동역학 (ALD): 1 초 및 2.5 초의 복구 기한 하에서 다양한 샘플링 주기 (20ms ~ 300ms) 를 가진 BSC 를 합성했습니다. 시뮬레이션 결과, 시스템이 POR 밖으로 이탈하더라도 제안된 SCAP 를 통해 자원을 동적으로 할당하며 안전하게 POR 로 복귀하는 것을 확인했습니다.
• 역진자 (IPD): 2 초 및 2.5 초의 복구 기한을 설정하여 실험했습니다. 초기에 시스템 상태가 특정 BSC 의 SFIR 밖에 있어 더 빠른 제어기 (80ms) 를 즉시 사용할 수 없었으나, 제안된 로직이 안전한 BSC (160ms) 로 먼저 전환한 후 상태가 안정화되면 더 빠른 제어기로 전환하여 2.5 초 내에 복귀하는 것을 확인했습니다.
• 성능 비교: 기존 SOS/QP 기반 방법 대비 합성 시간이 약 0.43 초 (Intel Core i5 기준) 로 더 짧아 실시간 적용에 유리함을 보였습니다.

5. 의의 및 결론 (Significance)

이 연구는 **안전성 (Safety)**과 **시간적 엄격성 (Timeliness)**을 동시에 보장하면서도 **자원 효율성 (Resource Efficiency)**을 극대화하는 새로운 제어기 합성 패러다임을 제시합니다. 특히, AI 기반 제어기나 복잡한 최적화 제어기가 포함된 현대 CPS 에서 발생할 수 있는 예기치 않은 위험 상황에 대해, 제한된 컴퓨팅 자원 하에서도 시스템이 안전하게 복귀할 수 있는 이론적 근거와 실용적인 알고리즘을 제공한다는 점에서 큰 의의가 있습니다. 향후 비선형 하이브리드 시스템으로 확장 및 실제 임베디드 플랫폼에서의 검증을 통해 그 유용성을 더욱 입증할 것으로 기대됩니다.