Keskeiset käsitteet
제어 공학 분야에서 매트릭스 분석은 시스템 모델링, 안정성 분석, 제어성, 관측성, 최적화 등에 핵심적인 역할을 한다.
Tiivistelmä
이 연구 보고서는 제어 공학에서 매트릭스 분석의 다양한 응용을 탐구한다.
- 시스템 모델링:
- 연속 시간 및 이산 시간 동적 시스템의 상태 방정식 및 출력 방정식을 소개한다.
- 선형 연속 시스템과 선형 이산 시스템의 해를 유도한다.
- 안정성 분석:
- 리아푸노프 안정성 이론을 바탕으로 평형점의 안정성을 분석한다.
- BIBO(Bounded Input-Bounded Output) 안정성 조건을 제시한다.
- 제어성 분석:
- 연속 시스템과 이산 시스템의 제어성 개념을 설명한다.
- 제어성 그래미안 행렬을 이용하여 제어성 여부를 판단한다.
- 관측성 분석:
- 연속 시스템과 이산 시스템의 관측성 개념을 설명한다.
- 관측성 그래미안 행렬을 이용하여 관측성 여부를 판단한다.
- 최적 제어:
- 최적 제어 문제를 소개하고, 동적 계획법, 변분법, 선형/이차 계획법 등의 수학적 방법을 활용하여 해결하는 방법을 설명한다.
이 보고서는 매트릭스 분석 기법의 실용적 의의를 보여주는 구체적인 예시와 사례 연구를 제시한다.
Tilastot
동적 시스템의 상태 방정식은 𝑋̇(𝑡) = 𝑓(𝑡, 𝑋(𝑡), 𝑈(𝑡))이고, 출력 방정식은 𝑌(𝑡) = 𝑔(𝑡, 𝑋(𝑡))이다.
선형 연속 시스템의 일반해는 𝑋(𝑡) = 𝜙(𝑡, 𝑡0)𝑋0 + ∫𝑡𝑡0 𝜙(𝑡, 𝜏)𝐵(𝜏)𝑈(𝜏)𝑑𝜏이고, 출력은 𝑌(𝑡) = 𝐶(𝑡)𝑋(𝑡)이다.
선형 이산 시스템의 일반해는 𝑋(𝑡) = 𝜙(𝑡, 0)𝑋0 + ∑𝑡𝜏+1 𝜙(𝑡, 𝜏 + 1)𝐵(𝜏)𝑈(𝜏)이고, 출력은 𝑌(𝑡) = 𝐶(𝑡)𝑋(𝑡)이다.
리아푸노프 함수 𝑉(𝑋)가 평형점에서 최소값을 가지고 𝑑𝑉/𝑑𝑡 ≤ 0이면 시스템은 안정하다.
연속 시스템이 BIBO 안정이려면 ∫|𝑡𝑖𝑗(𝑡, 𝜏)|𝑑𝜏 가 유계여야 한다.
연속 시스템이 제어 가능하려면 제어성 그래미안 행렬 𝑊(𝑡0, 𝑡1)이 비특이행렬이어야 한다.
이산 시스템이 제어 가능하려면 제어성 그래미안 행렬 𝑊(0, 𝑡1)이 비특이행렬이어야 한다.
연속 시스템이 관측 가능하려면 관측성 그래미안 행렬 𝑀(𝑡0, 𝑡1)이 비특이행렬이어야 한다.
Lainaukset
"제어 공학은 자연, 기계, 사람, 사회로 구성된 큰 시스템을 제어하는 방법을 배워왔다."
"상태는 시스템의 과거 이력을 요약하는 가장 작은 실체이다."
"불안정한 시스템에서는 상태가 크게 변동하고 작은 입력에도 매우 큰 출력이 발생한다."