[논문 리뷰] Observer-based correct-by-design controller synthesis

Sofie Haesaert, Paul M.J. Van den Hof외 1명|arXiv (Cornell University)|2015. 09. 11.

Formal Methods in Verification참고 문헌 12인용 수 3

한 줄 요약

이 논문은 관측기 기반 출력 피드백 방식을 사용하여 부분 관측 가능한 선형 시간 불변(LTI) 시스템으로 정확하게 설계된 제어기 합성 기법을 확장함으로써, 확률적 외란에 대한 정량적 내성 확보를 가능하게 한다. 상태 관측기와 형식적으로 합성된 제어기를 조합함으로써, 궤적의 유한한 편차를 달성하고 스마트 빌딩 사례 연구에서 피드포워드 설계에 비해 성능을 크게 향상시킨다.

ABSTRACT

Current state-of-the-art correct-by-design controllers are designed for full-state measurable systems. This work first extends the applicability of correct-by-design controllers to partially observable LTI systems. Leveraging 2nd order bounds we give a design method that has a quantifiable robustness to probabilistic disturbances on state transitions and on output measurements. In a case study from smart buildings we evaluate the new output-based correct-by-design controller on a physical system with limited sensor information.

연구 동기 및 목표

• 완전한 상태 측정이 가능한 시스템에서 부분 관측 가능한 LTI 시스템으로 정확하게 설계된 제어기 합성 기법을 확장하는 것.
• 상태 전이 및 출력 측정에서의 확률적 외란에 대해 정량적 내성을 확보하는 것.
• 시스템 행동에 대한 형식적 보장을 유지하는 출력 피드백 제어 아키텍처를 개발하는 것.
• 제한된 센서 데이터를 가진 실제 스마트 빌딩 모델에서 접근법을 검증하는 것.
• 근사 이분화 관계를 사용하여 이산 추상화와 연속 확률적 시스템 간의 형식적 인터페이스를 제공하는 것.

제안 방법

• 측정되지 않은 상태를 노이즈가 있는 출력 측정값에서 추정하기 위해 상태 관측기를 도입하여, 출력 기반 제어를 가능하게 한다.
• 이중 단계 설계를 활용: 먼저 시스템의 이산 추상화에서 정확하게 설계된 제어기를 합성한 후, 관측기 기반 피드백을 통해 연속 시스템과 인터페이스를 구축한다.
• 확률적 외란 하에서 추상화된 시스템과 실제 시스템 궤적 간의 기대 편차를 정량화하기 위해 2차 경계를 사용한다.
• 관측기와 제어기 각각에 최적의 LQ 및 칼만 이득 설계를 적용하여 추정 오차와 제어 오차를 최소화한다.
• 근사 이분화 관계를 활용하여 추상화된(이산) 모델과 실제(연속) 시스템 간의 유한 오차를 갖는 형식적 관계를 수립한다.
• 물리적 시스템과의 인터페이스를 구축하기 위해, 이산 제어기 합성을 위한 PESSOA를 사용하여 이산 상태 및 동작 공간을 이산화한 후, 이를 수행한다.

실험 결과

연구 질문

• RQ1 정확하게 설계된 제어기 합성 기법을 상태 관측이 부분적으로만 가능한 시스템으로 확장할 수 있는가?
• RQ2 출력 피드백 제어에서 상태 역학과 센서 측정치의 확률적 외란에 대해 내성을 어떻게 형식적으로 정량화할 수 있는가?
• RQ3 관측기 기반 제어기를 사용할 경우 피드포워드 인터페이스 대비 폐쇄 루프 시스템의 달성 가능한 정밀도는 어떠한가?
• RQ4 관측기 이득과 제어기 이득이 추상화된 시스템 궤적과 실제 시스템 궤적 간의 편차에 어떻게 영향을 미치는가?
• RQ5 확률적 LTI 시스템에서 전체 상태에서 출력 피드백 제어로 전환할 경우, 시스템 행동에 대한 형식적 보장이 유지되는가?

주요 결과

• 관측기 기반 제어기는 피드포워드 대비 정체 상태 오차 한계를 0.4845에서 0.1240으로 감소시켜 정확도를 74.4% 향상시켰다.
• 초기 상태 오차는 3.9618에서 2.1194로 감소하여 관측기 피드백 하에서의 일시적 성능 향상을 나타낸다.
• 상태 추정 오차는 시간이 지남에 따라 0으로 수렴함으로써 관측기의 진정한 시스템 상태 추적 능력을 확인한다.
• 실내 온도의 평균에서 벗어남이 효과적으로 제한되어 있어, 외부 확률적 외란에 대한 내성성을 입증한다.
• 제안된 인터페이스는 피드포워드 방법 대비 장기적 오차를 74.4% 감소시켜 관측기 기반 피드백의 효과성을 검증한다.
• 이 방법은 부분 관측 가능한 LTI 시스템에 대해 정확하게 설계된 합성을 성공적으로 가능하게 하였으며, 확률적 불확실성 하에서도 형식적 내성 증명을 유지한다.