แนวคิดหลัก
데이터 기반 접근법을 통해 신호 시간 논리 사양을 만족하는 제어기를 직접 합성할 수 있다.
บทคัดย่อ
이 논문은 선형 시간 불변 시스템에 대한 데이터 기반 제어기 합성 기법을 제안한다. 기존의 제어기 설계 방법은 시스템 모델을 필요로 하지만, 복잡한 시스템의 경우 정확한 모델을 얻기 어려운 문제가 있다.
이 논문에서는 단일 입출력 데이터 시퀀스만으로도 제어기를 직접 합성할 수 있는 방법을 제시한다. 먼저 데이터 기반 시스템 특성화를 통해 시스템 행동을 나타낸다. 이를 바탕으로 유한 및 무한 신호 시간 논리 사양을 만족하는 제어기를 혼합 정수 선형 프로그래밍을 통해 합성한다.
구체적으로, 유한 사양의 경우 데이터 기반 시스템 특성화와 신호 시간 논리 사양의 혼합 정수 선형 프로그래밍 변환을 활용한다. 무한 사양의 경우 유한 궤적 뒤에 주기적인 루프를 구성하여 무한 사양을 만족시킨다.
시뮬레이션 사례 연구를 통해 제안된 방법의 적용 가능성을 보였다. 이 접근법의 주요 장점은 시스템 모델을 필요로 하지 않고 입출력 데이터만으로 제어기를 직접 합성할 수 있다는 것이다.
สถิติ
제어 입력 u는 [-2, 2] 범위 내에 있다.
차량 간 거리 y는 2미터 이상 3미터 이하로 유지되어야 한다.
실내 온도 y는 설정 온도 이상으로 유지되어야 한다.
คำพูด
"데이터 기반 접근법을 통해 복잡한 시스템에 대한 정확한 모델을 얻기 어려운 문제를 해결할 수 있다."
"단일 입출력 데이터 시퀀스만으로도 제어기를 직접 합성할 수 있는 방법을 제시한다."