https://jeong-hyeonmin.github.io/control%20theory/state-stace-design
Canonical Form · Transfer Function
1. Transfer Function → Canonical Form
첫 번째 NeoStudio PDF에서는 Transfer Function으로부터 Canonical Form의 상태공간 행렬을 바로 구성하는 예제를 사용한다.
분모 계수와 분자 계수를 이용하여 다음 상태공간 행렬을 구성한다.
2. Canonical Form의 기본 형태
필기에서는 분모계수를 A 행렬에 배치하고 B는 첫 번째 요소만 1, 나머지는 0으로 두는 형태를 사용한다.
Transfer Function
│
▼
분모 계수 확인
│
▼
A
│
┌──────┴──────┐
│ │
▼ ▼
B C
[1,0,...]ᵀ 분자 계수
3. 출력행렬 C
출력은 다음 상태공간 관계로 표현한다.
필기에서는 x1, x2가 어떤 물리량인지보다 상태변수를 어떻게 정의했는지가 중요하다는 흐름으로 기록되어 있다.
4. 두 번째 예제
필기에서는 이 전달함수를 다음과 같이 상태공간 형태로 옮긴다.
5. 두 예제 비교
| 항목 | 예제 1 | 예제 2 |
|---|---|---|
| Transfer Function | (s+2)/(s²+7s+12) | (s+3)/(s²+3s+2) |
| A 첫 행 | [-7, -12] | [-3, -2] |
| A 둘째 행 | [1, 0] | [1, 0] |
| B | [1, 0]ᵀ | [1, 0]ᵀ |
| C | [1, 2] | [1, 3] |
6. Controllability Matrix
두 번째 NeoStudio PDF는 Controllability Canonical Form을 만들기 위한 변환행렬 T의 유도로 이어진다.
필기에서는 Controllability Matrix가 Full Rank라는 전제에서 변환을 진행한다.
7. 상태변수 변환
기존 상태 x와 새로운 상태 z의 관계를 다음과 같이 둔다.
원래 시스템
에 x = Tz를 대입하면
8. 변환 후 행렬
필기의 목적은 \bar{A}, \bar{B}를 Canonical Form으로 만드는 것이다.
9. Canonical Form의 B 행렬
3차 시스템 예제에서는 변환 후 B를 다음 형태로 둔다.
필기에서는 T를 구성하는 열벡터를 t1, t2, t3로 두고 관계를 유도한다.
10. T의 열벡터 관계
필기의 유도에서 T의 열벡터 사이에는 A와의 곱을 이용한 관계가 만들어진다.
또한 변환 후 B 조건에서 다음 관계가 나온다.
11. T와 Controllability Matrix
위 조건을 한 번에 쓰면
따라서
12. Matrix Exponential
세 번째 NeoStudio PDF는 State Space 복습내용으로 이어진다.
이를 Matrix로 확장하면
13. State Transition Matrix
필기에는 다음 성질이 기록되어 있다.
14. Matrix Exponential 예제
필기에서는 다음 관계로 Φ(t)를 구한다.
그리고
로 두고 역행렬을 계산하는 과정을 적고 있다.
15. Non-homogeneous State Equation
입력이 존재하는 경우의 상태해는 다음과 같이 정리한다.
State Transition Matrix를 사용하면
16. Laplace Form
Inverse Laplace Transform과 Convolution을 통해 같은 상태해를 얻는 흐름이다.
17. Controllability 의미
필기에서는 Controllability를 초기상태에서 원하는 상태까지 입력으로 이동할 수 있는가의 문제로 본다.
특히 초기상태를 최종적으로 0으로 보내는 경우를 이용해 유도한다.
18. Controllability Matrix 유도
상태해에서 Matrix Exponential을 A의 거듭제곱으로 전개하면 다음 항들이 나타난다.
이 행렬이 상태공간 전체를 생성할 수 있는지가 Controllability 판단의 핵심으로 기록되어 있다.
19. Observability
필기에서는 출력 y(t)를 관찰하여 내부 상태 x(t)를 알 수 있는지를 Observability로 설명한다.
20. Observability Matrix
상태해를 출력식에 대입하고 eAt를 전개하면 C, CA, CA² … 항이 만들어진다.
21. Canonical Form과 Controllability 관계
Transfer Function
│
▼
State Space Model
│
▼
Controllability 확인
│
▼
C = [B AB A²B ...]
│
Full Rank
│
▼
Transformation Matrix T
│
▼
x = Tz
│
▼
Ā = T⁻¹AT
B̄ = T⁻¹B
│
▼
Controllable Canonical Form
22. 전체 핵심 정리
| 항목 | NeoStudio 내용 |
|---|---|
| Transfer Function → State Space | 분모·분자 계수로 A, B, C, D 구성 |
| 상태변환 | x = Tz |
| 변환 후 A | Ā = T⁻¹AT |
| 변환 후 B | B̄ = T⁻¹B |
| Controllability Matrix | [B AB A²B …] |
| Matrix Exponential | eAt = I + At + A²t²/2! + … |
| State Transition Matrix | Φ(t) = eAt |
| Non-homogeneous Solution | eAtx(0) + ∫eA(t-τ)Bu(τ)dτ |
| Observability Matrix | [C; CA; CA²; …] |