플랫 하이브리드 오토마톤: 도달 가능한 시스템을 위한 새로운 제어 프레임워크

** 본 논문은 복합적인 동적 특성을 가진 하이브리드 시스템의 제어 문제를 해결하기 위해, 차등 평탄성(differential flatness)과 강연결(deterministic, strongly connected)이라는 두 핵심 개념을 결합한 새로운 시스템 클래스인 플랫 하이브리드 오토마톤(FHA)을 제안한다. 1. **배경 및 동기** 하이브리드 시스템은 이산 이벤트와 연속 동역학이 상호작용하면서 복잡한 비선형 거동을 보인다. 기존 제어 방법은 상태 공간의 폭발적 증가와 비결정론성 때문에 실시간 적용이 어렵다. 차등 평탄성은 연속 비선형 시스템에서 출력과 그 미분값만으로 입력·상태를 역계산할 수 있게 해 주며, 이는 제어 입력을 명시적으로 설계할 수 있는 강력한 도구이다. 논문은 이 개념을 이산 부분에도 확장해 전체 시스템을 ‘평탄’하게 만들고자 한다. 2. **플랫 하이브리드 오토마톤 정의** - **이산 서브시스템 A**: 유한 상태 집합 D, 이산 입력 V, 출력 W, 전이 함수 μ_A 로 구성된다. 모든 상태가 강연결이며 전이 규칙은 결정론적이다. 출력 함수 H_A는 현재 상태와 전이(e)에 따라 단일 출력 비트를 활성화한다. - **연속 서브시스템 C**: 각 이산 상태 d_i에 대응하는 연속 동역학 C_{d_i} = {X_{d_i}, U_{d_i}, Z_{d_i}, μ_C, x_0} 로 정의된다. 핵심은 각 C_{d_i}가 차등 평탄성을 만족한다는 점이다. 즉, 출력 z_{d_i}=F_{d_i}(x_{d_i},u_{d_i},\dot u_{d_i},…) 가 입력·상태와 일대일 대응하고, 역함수 Φ_{d_i}, Ψ_{d_i}를 통해 출력과 그 미분만으로 x_{d_i}(t), u_{d_i}(t) 를 직접 구할 수 있다. 3. **전환 규칙 및 역계산 메커니즘** 전이 e∈E마다 복합 전환 규칙 G_e(v,z)= {G_e^d(v), G_e^c(z)} 가 정의된다. G_e^c(z) 가 평탄 출력에만 의존하도록 설계하면, 전이가 활성화될 때 필요한 연속 출력값을 명시적으로 결정할 수 있다. 전이 시퀀스 {e_k} 가 주어지면, 각 전이에 대해 v_k 와 z_k 를 역계산하고, 평탄성 매핑을 이용해 연속 입력 u(t)와 상태 x(t) 를 즉시 도출한다. 따라서 “입력 궤적 명시적 계산”이 가능해진다. 4. **이론적 성질** - **도달 가능성**: 강연결성으로 인해 모든 이산 상태가 도달 가능하고, 평탄성으로 인해 연속 출력도 임의의 목표 궤적을 구현 가능하다. - **결정론성 및 가역성**: 전이 규칙이 출력에만 의존하므로, 주어진 출력·전이 시퀀스로부터 입력을 유일하게 복원할 수 있다. - **구성 절차**: 시스템 설계 단계에서 연속 서브시스템을 평탄하게 설계하고, 이산 서브시스템을 강연결 그래프 형태로 구성한다. 전이 규칙은 출력 임계값에 기반해 정의한다. 5. **예시 및 실증** - **탱크 시스템**: 물탱크의 레벨 제어를 위해 펌프 작동(이산)과 유량(연속)을 동시에 설계한다. 목표 레벨 궤적을 평탄 출력으로 정의하고, 전이 규칙을 통해 펌프 ON/OFF 시점을 명시적으로 계산한다. 실험 결과, 전통적인 최적화 기반 제어보다 계산 시간이 10배 이상 감소하였다. - **전력망**: 스위치(이산)와 전압·전류(연속)를 결합한 모델에서 급변 상황(예: 고장) 후 전압 복구를 목표로 한다. 평탄 출력(전압)과 전이 규칙을 이용해 스위치 작동 시점과 보상 전류를 즉시 도출한다. 시뮬레이션에서 50 ms 이내에 안정화가 이루어졌다. 6. **의의 및 향후 연구** FHA는 복합 시스템의 제어를 “입력 역계산”이라는 관점에서 재구성함으로써, 실시간 제어와 빠른 전이 설계에 적합한 프레임워크를 제공한다. 향후 연구에서는 비선형 평탄성 검증 자동화, 불확실성(노이즈, 파라미터 변동) 고려, 대규모 네트워크 시스템에 대한 계층적 확장 등을 다룰 예정이다. **