시공간 논리 사양을 갖춘 공간적으로 분산된 시스템의 모델 예측 제어

이 논문에서는 공간적으로 분산된 시스템을 위해 시공간 논리 사양을 갖춘 새로운 모델 예측 제어 방법을 제안합니다. 우리는 SSTLf(유한 추적에 대한 신호 시공간 논리) 공식을 사용하여 사양이 설명된 유한 시간 제어 문제를 공식화합니다. 문제 공식화에서, 제어 사양을 비용 함수의 패널티로 표현하여 가능성을 보장합니다. 비용 함수 내의 시간 변화 가중치를 도입하여 제어 사양을 최대한 만족시킵니다. 유한 시간 제어 문제는 혼합 정수 프로그래밍(MIP) 문제로 작성될 수 있습니다. 모델 예측 제어(MPC)의 정책에 따라, 제어 입력은 각 이산 시간에서 유한 시간 제어 문제를 풀어 생성될 수 있습니다. 제안된 방법의 효과는 수치 예제를 통해 제시됩니다.