✨Tính quan sát được

Trong lý thuyết điều khiển, tính quan sát được là một thước đo để biết được các trạng thái bên trong của một hệ thống tốt như thế nào có thể suy ra bởi các kết quả đầu ra bên ngoài của nó. Tính quan sát được và tính điều khiển được của một hệ thống là cặp phạm trù đối ngẫu trong toán học. Khái niệm về tính quan sát được đã được đưa ra bởi kỹ sư người Mỹ-Hungary Rudolf E. Kalman cho các hệ thống động học tuyến tính.

Định nghĩa

Chính thức, một hệ thống được gọi là có thể quan sát được nếu cho bất kỳ chuỗi trạng thái và vector điều khiển có thể, trạng thái hiện tại có thể được xác định trong thời gian hữu hạn chỉ sử dụng các đầu ra (định nghĩa này nghiêng về phía biểu diễn không gian trạng thái). Ít chính thức hơn, điều này có nghĩa là từ các đầu ra của hệ thống có thể xác định hành vi của toàn bộ hệ thống. Nếu một hệ thống là không thể quan sát được, điều này có nghĩa là các giá trị hiện tại của một số trạng thái của nó không thể được xác định thông qua các cảm biến đầu ra. Điều này ngụ ý rằng giá trị của chúng là chưa biết đối với bộ điều khiển (mặc dù chúng có thể được ước tính thông qua các phương pháp khác nhau).

Đối với các hệ thống tuyến tính thời gian bất biến trong biểu diễn không gian trạng thái, có một bài kiểm tra rất tiện lợi để xem hệ thống có thể quan sát được hay không. Xem xét một hệ thống SISO với $n$ trạng thái (xem không gian trạng thái để biết thêm chi tiết về các hệ thống MIMO). nếu rank (hạng) của hàng của _ma trận có thể quan sát được _sau  : $\backslash mathcal\{O\}=\backslash begin\{bmatrix\}\; C\; \backslash \; CA\; \backslash \; CA^2\; \backslash \; \backslash vdots\; \backslash \; CA^\{n-1\}\; \backslash end\{bmatrix\}$ là bằng $n$, thì hệ thống là có thể quan sát được. Lý do của kiểm tra này là nếu các hàng là độc lập tuyến tính, thì mỗi trong $n$ trạng thái là có thể xem được thông qua các tổ hợp tuyến tính của các biến đầu ra $y(k)$.

Một module được thiết kế để đánh giá trạng thái của một hệ thống từ các phép đo lường của các đầu ra được gọi là mộttrình quan sát trạng thái (state observer) hoặc chỉ đơn giản là một trình quan sát cho hệ thống đó. ; Chỉ số có thể quan sát được Chỉ số có thể quan sát được $v$ của một hệ thống rời rạc thời gian bất biến tuyến tính thì nhỏ hơn số tự nhiên nhỏ nhất mà thỏa mãn $\backslash text\{rank\}\{(O$v)} = \text{rank}{(O{v+1})}, trong đó : $\backslash mathcal\{O\}\_v=\backslash begin\{bmatrix\}\; C\; \backslash \; CA\; \backslash \; CA^2\; \backslash \; \backslash vdots\; \backslash \; CA^\{v-1\}\; \backslash end\{bmatrix\}.$

; Tính có thể phát hiện Một khái niệm hơi yếu hơn so với tính có thể quan sát là tính có thể phát hiện. Một hệ thống là có thể phát hiện nếu tất cả các chế độ không ổn định là quan sát được.

Hệ thống thời gian biến đổi liên tục

Hãy xem xét hệ thống thời gian biến đổi liên tục tuyến tính sau : $\backslash dot\{\backslash mathbf\{x(t)\; =\; A(t)\; \backslash mathbf\{x\}(t)\; +\; B(t)\; \backslash mathbf\{u\}(t)\; \backslash ,$ : $\backslash mathbf\{y\}(t)\; =\; C(t)\; \backslash mathbf\{x\}(t).\; \backslash ,$ Giả sử ràng các ma trận $A,B,\; \backslash text\{\; and\; \}\; C$ được cho cung như các đầu vào và đầu ra  $u\; \backslash text\{\; and\; \}\; y$ đối với tất cả$t\; \backslash in\; [t\_0,t\_1]$ thì có thể xác định $x(t\_0)$ nằm trong một vector hằng số phụ, nằm trong không gian trống $M(t\_0,t\_1)$ được định nghĩa bởi : $M(t\_0,t$1) = \int{t_0}^{t_1} \phi(t,t_0)^{T}C(t)^{T}C(t)\phi(t,t_0) dt trong đó $\backslash phi$ là ma trận dịch chuyển trạng thái.

Ta có thể xác định một $x(t\_0)$ duy nhất nếu $M(t\_0,t\_1)$ là ma trận khả nghịch. Thật ra, ta không thể phân biệt trạng thái ban đầu đối với $x\_1$ từ $x\_2$ nếu $x\_1\; -\; x\_2$ là không gian trống của $M(t\_0,t\_1)$.

Ghi chú rằng ma trận $M$ được định nghĩa như trên có các tính chất sau:

• $M(t\_0,t\_1)$ có tính chất đối xứng
• $M(t\_0,t\_1)$ là is nữa xác định dương đối với $t\_1\; \backslash geq\; t\_0$
• $M(t\_0,t\_1)$ thỏa mãn phương trình vi phân ma trận tuyến tính :: $\backslash frac\{d\}\{dt\}M(t,t\_1)\; =\; -A(t)^\{T\}M(t,t\_1)-M(t,t\_1)A(t)-C(t)^\{T\}C(t),\; \backslash ;\; M(t\_1,t\_1)\; =\; 0$
• $M(t\_0,t\_1)$ thỏa mãn phương trình :: $M(t\_0,t\_1)\; =\; M(t\_0,t)\; +\; \backslash phi(t,t\_0)^T\; M(t,t\_1)\backslash phi(t,t\_0)$

Trường hợp phi tuyến

Cho hệ thống $\backslash dot\{x\}\; =\; f(x)\; +\; \backslash sum\_\{j=1\}^mg\_j(x)u\_j$, $y\_i\; =\; h\_i(x),\; i\; \backslash in\; p$. Trong đó $x\; \backslash in\; \backslash mathbb\{R\}^n$ vector trạng thái, $u\; \backslash in\; \backslash mathbb\{R\}^m$ vector đầu vào và $y\; \backslash in\; \backslash mathbb\{R\}^p$ vector đầu ra. $f,g,h$ là các trường vector mịn.

Bây giờ ta định nghĩa không gian quan sát được $\backslash mathcal\{O\}\_s$ là không gian chứa tất cả Đao hàm Lie lặp lại. Bây giờ hệ thống này là quan sát được trong $x\_0$ nếu và chỉ nếu  $\backslash textrm\{dim\}(d\backslash mathcal\{O\}\_s(x\_0))\; =\; n$.

Ghi chú: $d\backslash mathcal\{O\}\_s(x\_0)\; =\; \backslash mathrm\{span\}(dh\_1(x\_0),\; \backslash ldots,\; dh\_p(x$0), dL{vi}L{v{i-1, \ldots, L{v_1}h_j(x_0)),\ j\in p, k=1,2,\ldots.

Các tiêu chuẩn đầu tiên cho tính quan sát được trong các hệ thống động học phi tuyến đã được khám phá bởi Griffith và Kumar, Kou, Elliot vàTarn, và Singh.

Các hệ thống tĩnh và không gian tôpô chung

Tính quan sát được cũng có thể được đặc trưng cho các hệ thống trạng thái ổn định (các hệ thống thường được định nghĩa trong điều kiện của các phương trình và bất phương trình đại số), hoặc tổng quát hơn, đối với các tập trong $\backslash mathbb\{R\}^n$
,. Tiêu chuẩn có thể quan sát được được sử dụng để dự đoán hành vi của các bộ lọc Kalman hoặc các trình quan sát khác trường hợp hệ thống động học, tiêu chuẩn có thể quan sát được cho các tập trong $\backslash mathbb\{R\}^n$ được sử dụng để dự đoán hành vi điều hòa dữ liệu và các ước lượng thống kê khác. Trong trường hợp phi tuyến, tính quan sát được công suất thể được mô tả cho các biến đơn lẽ, và cũng cho hành vi ước lượng địa phương hơn là ước lượng toàn cục.