Notatka inżynierska: dlaczego regulator FOC nie lubi zmiany punktu pracy

Wektory luźne i wektory zaczepione #

Wprowadzając przestrzeń afiniczną, Kijowski rozróżnia dwa rodzaje wektorów.

Wektor luźny (swobodny) to element przestrzeni V — ma kierunek i długość, ale nie jest przypisany do żadnego miejsca w przestrzeni. Możesz go przesuwać dowolnie. To abstrakcyjne “przesunięcie”.

Wektor zaczepiony to para (punkt x, wektor v) — wektor który mieszka w konkretnym punkcie przestrzeni. Nie możesz go swobodnie przenosić, bo jest przywiązany do swojego miejsca zaczepu.

To rozróżnienie wydaje się akademickie. Ale prowadzi do czegoś bardzo konkretnego.

Na rozmaitości każdy punkt ma własną przestrzeń styczną #

Na płaskiej ścianie wszystkie przestrzenie wektorów zaczepionych są takie same — możesz przenosić wektory swobodnie z punktu do punktu bez żadnych konsekwencji. Ściana jest przestrzenią afiniczną i to właśnie ją definiuje.

Na ogólnej rozmaitości — sferze, powierzchni cylindra, przestrzeni stanów nieliniowego silnika — każdy punkt x ma własną przestrzeń styczną T_x M. Wektory zaczepione w punkcie x i w punkcie y żyją w różnych przestrzeniach i nie możesz ich bezpośrednio porównywać ani dodawać bez dodatkowej struktury matematycznej zwanej koneksją.

Praktyczna konsekwencja dla FOC #

Linearyzacja modelu silnika wokół punktu pracy to matematycznie dokładnie to: utożsamienie lokalnej przestrzeni stycznej T_x M z płaską przestrzenią afiniczną.

W tym jednym punkcie pracy przestrzeń jest “płaska” — regulator PI działa poprawnie, bo operuje na wektorach które można swobodnie przenosić i porównywać. Ale gdy punkt pracy się zmienia — inna prędkość, inne obciążenie, inne nasycenie magnetyczne — trafiasz do innej przestrzeni stycznej. Model linearny nie jest już dokładny. Regulator zaprojektowany dla jednego punktu pracy zachowuje się inaczej w innych.

To nie jest wada projektu regulatora. To jest geometria przestrzeni stanów silnika.

Dlaczego to ważne #

Regulatory nieliniowe, regulatory oparte na geometrii Liego i metody Port-Hamiltonian nie linearyzują — operują bezpośrednio na strukturze rozmaitości, przenosząc wektory między przestrzeniami stycznymi za pomocą koneksji. Dlatego są bardziej odporne na zmiany punktu pracy.

Płaska przestrzeń afiniczna to rozmaitość ze “zbyt dużą” strukturą — wszystkie przestrzenie styczne są globalnie utożsamione. To przybliżenie które działa lokalnie, ale ukrywa prawdziwą geometrię problemu.