[고등자동제어] controllability/observability example
·
연구 Research/제어 Control
지금까지 배웠던 controllability와 observability를 실제 예시를 통해 보기로 하겠습니다. (이전 글 참고) 이번에는 그림도 들어가고 matrix의 차원도 높아서 그림 위주로 작성하려고 합니다. 1. Controllability 위와 같은 dynamic system에서 x1m1의 position, x2는 velocity로 설정했습니다. 마찬가지로 m2의 position, velocity 각각 x3,x4로 설정했습니다. 따라서 state는 [x1x2x3x4] 그림에서 위 식이 이 system의 equation이고 아래 P matrix는 controlla..
[고등자동제어] Observability in Continuous time
·
연구 Research/제어 Control
Remind Observability : output과 input을 알고 있을 때, 시스템의 state을 estimate할 수 있는지 여부 1. Definition of observability (CT) Definition : x˙(t)=Ax(t)+Bu(t) y(t)=Cx(t)+Du(t),ARn×n,CRr×n The LTI continuous time system is said to be observable if,  for any initial state x(0)=x0 $\text{there exists a finite time t_{1}>0 such that knowledge of..
[고등자동제어] Controllability in Continuous time
·
연구 Research/제어 Control
Remind : controllability : control input을 이용해 원하는 state로 만들 수 있는지 여부 이번에는 discrete time이 아닌 continuous time에서 controllability를 판별하는 방법에 대해서 알아보겠습니다. discrete time과 거의 유사해서 설명 자체를 간소하게 할 수도 있을 것 같습니다. 참고 글 : normal-engineer.tistory.com/71 1. Definition of controllability The LTI continous time system x˙(t)=Ax(t)+Bu(t) is said to be controllable if, $\text{for any initial st..
[고등자동제어] Observability in discrete time
·
연구 Research/제어 Control
Remind Observability : output과 input을 알고 있을 때, 시스템의 state을 estimate할 수 있는지 여부 1. Definition of Observability Definition : x˙(t)=Ax(t)+Bu(t) y(t)=Cx(t)+Du(t),ARn×n,CRr×n The LTI continuous time system is said to be observable if,  for any initial state x(0)=x0 $\text{there exists a finite time } t_{1}>0\text{ such that knowledge..
[고등자동제어] Controllability in discrete time
·
연구 Research/제어 Control
Controllability : control input을 이용해 원하는 state로 만들 수 있는지 여부 Observability : 측정한 output을 이용해 state를 estimate할 수 있는지 여부 왜 controllability와 observability가 중요할까? controllability는 제어 관점에서 당연히 중요한 것처럼 보입니다. 우리가 원하는 state로 만들 수 없다면 이는 제어할 수 없다는 의미이기 때문. observability는, 모든 state가 다 측정가능하지는 않다는 점에서 중요합니다. 나는 velocity를 feedback하고 싶은데, 실제로 측정 가능한 센서는 position 밖에 없을 수 있습니다. input과 output(position)을 통해서 velo..
[고등자동제어] Lyapunov stability in Discrete Time
·
연구 Research/제어 Control
그 전 글들은 모두 continuous time에서의 Lyapunov stability를 다룬 것이므로 Discrete time에 대해서도 정리하려고 합니다. 1. Definition of Stability in Discrete Time x(k+1)=f(x(k),k),x(k0)=x0 다음과 같은, Nonlinear/linear time varying/time-invariant systme이 있을 때 이 system과 관련된 V(x,k) 함수의 변화량은 다음과 같이 정의됩니다. ΔV(x,k+1)=V(x(k+1),k+1)V(x(k),k) 2. Theorem relative to stability Theorem 1 $\text{The equilibrium..
[제어] Dynamic programming - Richard Bellman
·
연구 Research/제어 Control
이 글은 Richard Bellman(professor of mathematics, electrical engineering, medicine, University of Southern California)의 Dynamic programming(Science에 게재)을 정리한 글입니다. 다소 저의 이해가 부족해 내용을 왜곡했을 수도 있으니 원문을 찾아보시는 걸 권합니다. 문제 해결을 위한 planning과 programming의 다양성은 많은 수학 이론을 탄생시켰고, dynamic programming은 그 중 하나이다. 일련의 결정 과정이 필요한 문제에서 가장 중요한 것 중 하나는 system을 control하는 문제이다. 이 문제들은 한 번에 해결되는 것이 아니라 상호작용하는 관찰과 행동을 통해 해결..
[고등자동제어] Lyapunov's Direct Method (5) - Solving Lyapunov equation
·
연구 Research/제어 Control
이것 때문에 글을 5개나 쓸 줄은 몰랐는데.. 글이 길어지면 점점 내용을 세부적으로 찾을 때, 찾기 어려워지는 것 같아서 좀 더 잘게 쪼개서 올리려고 합니다. Lyapunov equation 풀기 ATP+PA=Q, where AR2×2 인 문제를 생각해봅시다. A=[a11a12a21a22] P=[a11a12a21a22] Q=[q11q12q21q22] 으로 두고 Lyapunov equat..
[고등자동제어] Lyapunov's Direct Method (4) - Lyapunov equation
·
연구 Research/제어 Control
이제 LTI system에서 Lyapunov function을 구하는 과정에 대해서 공부하겠습니다. 1. Lyapunov stability theorem 그 전까지는 nonlinear system도 포함하기 위해 x˙=f(x)라는 state trajectory를 사용했습니다. (autonomous system) 또한 이 시스템에서 lyapunov function을 찾으면 stable in the sense of Lyapunov임을 알았습니다. (자세한 내용은 normal-engineer.tistory.com/51) 이제는 LTI system에서 Lyapunov function을 다뤄보겠습니다. nth order LTI system x˙=Ax 이 있을 때 nonlinear syst..
[고등자동제어] Lyapunov's Direct Method (3) - Lyapunov function
·
연구 Research/제어 Control
보기 편하게 1. The Direct Method of Lyapunov Direct method 말고도 indirect method도 있다고 합니다. 그 경우에는 Nonlinear system을 Linearization해서 stability를 구하는 방법이라고 들었는데, Nonlinear system, Hassan K Kalid 책에 나와있는 것을 본 적이 있어서, 나중에 그 책을 읽고 indirect method에 대해서 공부해보고 싶네요. 어쨌든, 지금까지 stability를 다루는 방식은 eigenvalue를 찾거나, routh-hurwitz 방법을 사용하는 것이었습니다. 하지만 eigenvalue와 routh-hurwitz는 LTI system이 아니라면 구할 수가 없다는 점이 있습니다. 그래서 ..