비선형 제어 이론의 기법
제어 이론에서 백스텝핑은 1990년 경 페타르 V. 코코토비치 등이[1][2] 비선형 동적 시스템의 특별한 등급에 대한 제어 안정화를 설계하기 위해 개발한 기법이다.이러한 시스템은 다른 방법을 사용하여 안정화할 수 있는 불분명한 서브시스템에서 방사되는 서브시스템으로 구축된다.이러한 재귀적 구조 때문에 설계자는 알려진 안정화 시스템에서 설계 프로세스를 시작할 수 있으며, 각 외부 서브시스템을 점진적으로 안정화하는 새로운 컨트롤러를 "백아웃"할 수 있다.최종 외부 제어에 도달하면 프로세스가 종료된다.따라서, 이 과정은 백스텝이라고 알려져 있다.[3]
백스텝 어프로치
백스텝 접근방식은 엄격한 피드백 형태로 시스템의 원점을 안정화하기 위한 재귀적 방법을 제공한다.즉, 형태의[3] 시스템을 고려한다.

어디에,
- {
1
- , ,… , i, - 1, z_{k_},은
(는) 스칼라, - u는 시스템에 스칼라 입력이다.
vanish at the origin (i.e.,
),
are nonzero over the domain of interest (i.e.,
for
).
또한 서브시스템이

is stabilized to the origin (i.e.,
) by some known control
such that
. It is also assumed that a Lyapunov function
for this s테이블 하위 시스템을 알 수 있다.즉, 이 x 서브시스템은 다른 방법에 의해 안정화되고 백스텝핑은 그 안정성을 주위의 쉘까지
확장한다.
안정적인 x 서브시스템을 중심으로 한 이 엄격한 피드백 형태의 시스템에서는,
- 백스텝 설계 제어 입력 u는 상태 에 가장 즉각적인 안정화 영향을 미친다

- 상태
는 그 전에
z -{\에 대한 안정화 제어와 같은 역할을 한다. - 이 과정은 각 상태 i 가 가상의 "control" i+ 에 의해 안정화되도록
계속된다
백스텝핑 접근방식은
}를 사용하여 x 하위시스템의 안정화 방법을 결정한 후, 다음 상태 z }} 드라이브
1}를 x 안정화에 필요한 제어장치로 만드는
방법을 결정하는 작업을 진행한다.따라서 이 프로세스는 엄격한 피드백 폼 시스템에서 x로부터 최종 제어 u가 설계될 때까지 "뒤로" 이동한다.
반복 제어 설계 개요
- 소형(즉, 저차) 서브시스템은 다음과 같이 주어진다.

- 일부 컨트롤 x ( x){\x}(\ {x여기서
( ) =0 {\x}(\}
즉, 이 시스템을 안정화하기
x {\를 선택해야 한다.또한 이 안정적 서브시스템에 대한
랴푸노프 함수 x 가 알려져 있다고 가정한다.백스텝은 이 서브시스템의 제어된 안정성을 더 큰 시스템으로 확장할 수 있는 방법을 제공한다.
- 컨트롤 ( , 1) 이
시스템에 적합하도록 설계됨
- }가 원하는 x 컨트롤을
따르도록
안정화된다.제어 설계는 증강된 Lyapunov 함수 후보를 기반으로 한다.
- 컨트롤 }를 선택하여 }을 0에서 멀리
바인딩할 수 있다
.
- 컨트롤 2 z , ) 는 시스템이 설계되도록 설계됨


- }}개가 원하는 1} 컨트롤을
따르도록
안정화된다.제어 설계는 증강된 Lyapunov 함수 후보를 기반으로 한다.
- 컨트롤 }}을 선택하여 0에서 떨어져
바운드할 수 있다
.
- 이 과정은 실제 u가 알려질 때까지 계속되며,
- 리얼컨트롤 는 z 를 가공컨트롤 - u_에
안정시킨다
- 가공 제어 - 은(는) z - 1 을 가공 제어 - 로
안정화시킨다

- 가공 제어 - z - 2 을 가공 제어 - 로
안정화한다

- ...
- 가공 제어 }}개를 가공 1{\}에
안정시킨다

- 가공 제어 }는 z {\ z_를 가공 제어 x 에
안정시킨다

- 가공 제어 는 x를 원점에 안정시킨다
.
이 프로세스는 안정성을 위해 일부 내부 서브시스템에 대한 요건에서 시작하여 각 단계에서 안정성을 유지하면서 점진적으로 시스템 밖으로 물러나기 때문에 백스텝핑이라고 알려져 있다.왜냐하면
는 0 i k
- 는
1 are k {\ i k
에 0이 아니다. - 지정된
컨트롤 x = {
then the resulting system has an equilibrium at the origin (i.e., where
,
,
, ...,
, and
) that is globally asymptotically 안정적
통합자 백스텝
일반적인 엄격한 피드백 형식 동적 시스템에 대한 백스텝 절차를 설명하기 전에, 더 작은 등급의 엄격한 피드백 형식 시스템에 대한 접근법을 논의하는 것이 편리하다.이러한 시스템은 일련의 통합자를 피드백 안정화 제어법을 사용하는 시스템의 입력에 연결하므로, 안정화 접근법을 통합자 백스텝이라고 한다.작은 수정으로 통합자 백스테이핑 접근법을 확장하여 모든 엄격한 피드백 폼 시스템을 처리할 수 있다.
단일 적분자 평형
동적 시스템을 고려하십시오.
-
| | (1) |
여기서 style 및
1 }는 스칼라이다
.이 시스템은 x 하위 시스템과 통합자의 계단식 연결이다(즉, 입력 u가 통합자로 들어가고, z }가 x 하위 시스템으로 들어간다
).
는 f ( 0)=
이라고 가정하며, 따라서 1= 0
= 0 \mathbf {0},
{1}=0}, 그리고 z =
그 다음에 0이 있다고 가정한다.

따라서 원점 )=( 0) 은 시스템의 평형(즉, 정지점)이다
.만약 그 시스템이 그 기원에 도달한다면, 그 후에도 영원히 그곳에 남아있을 것이다.
단일 통합자 백스텝
이 예에서 백스텝은 방정식 (1)의 단일 적분계통을 원점 평형 주위에 안정시키기 위해 사용된다.To be less precise, we wish to design a control law
that ensures that the states
return to
after the system is started from some arbitrary initial condition.

- x ( )= 에는 과 같은
Lyapunov V ( x)> 0 가 있다

- 여기서 ( ) 은
(는) 양-확정 함수다.즉, 우리는 기존의 보다 단순한 x 서브시스템이 (Lyapunov의 의미에서는) 안정적이라는 것을 이미 보여줬다고 가정한다.대략적으로 말해서, 이러한 안정성의 개념은 다음을 의미한다.
- 기능은 x 서브시스템의 "일반화된 에너지"와
같다.시스템의 x 상태가 에서 멀어질수록 에너지 V ( x) 도
커진다. - By showing that over time, the energy
decays to zero, then the x states must decay toward
. That is, the origin
will be a stable equilibrium of the system –x 상태는 시간이 증가함에 따라 지속적으로 원점에 접근할 것이다. - Saying that
is positive definite means that
everywhere except for
, and
. - The statement that
means that
is bounded away from zero for all points except where
. That is, so long as the system is not at its equilibrium원점에서, 그것의 "에너지"는 감소할 것이다. - 에너지는 항상 부패하기 때문에, 그 다음에는 시스템이 안정되어야 하고, 그 궤도는 기원에 접근해야 한다.
- 우리의 임무는 우리의 계단식(, ) }) 시스템도
안정되게 만드는 제어 u를 찾는 것이다.그래서 우리는 이 새로운 시스템의 새로운 랴푸노프 기능 후보를 찾아야 한다.그 후보는 컨트롤 u에 의존할 것이고, 컨트롤을 적절하게 선택함으로써 우리는 컨트롤이 모든 곳에서 부패하고 있다는 것을 확신할 수 있다.
- Next, by adding and subtracting
(i.e., we don't change the system in any way because we make no net effect) to the
part of the larger
시스템, 그것이 된다.

- 그룹을 다시 구성해서

- 그래서 우리의 계단식 슈퍼시스템은 알려진 안정성의 = () 서브시스템과
에 의해 생성된 약간의 오류 동요를 캡슐화한다
- We now can change variables from
to
by letting
. So

- 또한
v -u u u u u u u u u u 1}-{\ 1= + u }=1}+{\

- 우리는 새로운 v }를 통해 피드백을 통해 이 오류 시스템을 안정화하고자 한다

= 0{\에서 시스템을 안정화함으로써 1 은(는) u x {\을 추적하여
내부 x를 안정화한다.하위 시스템
- 기존 Lyapunov 함수 에서
증강 Lyapunov 함수 후보를 정의함

- 그렇게

- / x 을(를) 배포하면 다음과 같은 결과를 얻을 수 있다


- - (x)< 0
즉, 슈퍼시스템의 안정성을 보장하기 위해) 제어법을 선택한다.

- >
등

- } 를 통해
배포한 후

- So our candidate Lyapunov function
is a true Lyapunov function, and our system is stable under this control law
(which corresponds the control law
because
.원래 좌표계의 변수를 사용하여 등가 Lyapunov 함수 사용
-
| | (2) |
- 아래에서 논의한 바와 같이, 이 절차가 복수 통합자 문제에 반복적으로 적용될 때 이 랴푸노프 기능이 다시 사용될 것이다.
- 제어 }의 선택은 궁극적으로
모든 원래 상태 변수에 달려 있다.특히, 실제 피드백 안정화 관리법
-
| | (3) |
- x 및 1}의 상태와
및
의 기능은 시스템에서 유래한다
. x 함수 x=( {\ {(\mathbf { 하위 시스템에서
왔다
.게인 파라미터 1> }>은(는) 수렴율이나 우리 시스템에 영향을
미친다.이 제어법에 따르면 우리의 시스템은 원점( )=( 0 ) 에서 안정적이다
- 등식 (3)의
}}{1이 x{\에 의해 피드백 안정화된 하위 시스템에 연결된 통합자의 입력을 구동한다는 사실을 상기하십시오.
은 당연히가 있다
.안정화 제어법 에
따라 통합되는 rm과 약간의 오프셋이 추가된다.다른 용어는 그러한 오프셋 및 통합자에 의해 확대되는 다른 섭동 효과를 제거하기 위해 댐핑을 제공한다.
때문에 이 시스템 피드백 1(x, z1){\displaystyle u_{1}(\mathbf{x},z_{1})}u에 의해 V랴푸 노프 기능 V1(x, z1){\displaystyle V_{1}(\mathbf{x},z_{1})}다 ˙ 1(x, z1)≤ − W())<0{\displaystyle{\dot{V}}_ᆲ(\mathbf{x},z_{1})\leq -W(안정된다.\ma
다른 단일 통합자 계단식 시스템에서 상위 하위 시스템으로 사용할 수 있다.
동기 부여 예제:2-적분자 백스텝
일반 다중 통합자 사례에 대한 재귀 절차를 논의하기 전에, 2-통합자 사례에 존재하는 재귀에 대해 연구하는 것이 유익하다.즉, 동적 시스템을 고려한다.
-
| | (4) |
여기서 및
}}는
스칼라이다.이 시스템은 등식 (1)의 단일 통합자 시스템을 다른 통합자와 계단식으로 연결하는 것이다(즉, 입력 2 {\}}개가 통합자를 통해 들어가고
, 해당 통합자의 출력은 1{\1} 입력에
의해 등식 (1)의 시스템에 입력한다.
let 둠으로써
- [ z

- ( ) x)+ g () 1 {{x


그런 다음 방정식 (4)의 2 통합자 시스템이 단일 통합자 시스템이 된다.
-
| | (5) |
By the single-integrator procedure, the control law
stabilizes the upper
-to-y subsystem using the Lyapunov function
, 그래서 방정식 (5)은 구조적으로 방정식 (1)의 단일 통합 시스템과 동등한 새로운 단일 통합 시스템이다. 안정화 제어 }}를 찾는 데 사용된 것과 동일한 단일 통합자 절차를 사용하여 안정화 제어 u{1}를 찾을
수 있다
다인분자 백스텝
2 통합자의 경우, 상부 단일 통합자 하위 시스템이 안정화되어 유사하게 안정화될 수 있는 새로운 단일 통합자 시스템이 나왔다.이 재귀적 절차는 한정된 수의 통합업체를 다루도록 확장할 수 있다.이 주장은 수학적 유도를 통해 공식적으로 증명할 수 있다.여기서 안정화된 다중 통합자 시스템은 이미 안정화된 다중 통합자 서브시스템의 서브시스템으로부터 구축된다.

- 스칼라 입력 x 와
출력 x=[ x ,x ,… , = {\text
그렇다고 가정한다.
so that the zero-input (i.e.,
) system is stationary at the origin
. In this case, the origin is called an equilibrium of the system. - 피드백 제어법 x () 은(는) 원점 평형상태에서 시스템을 안정시킨다
. - 이 시스템에 해당하는 Lyapunov 함수는 ( ) 에 의해 설명된다

- 즉, 출력 상태 x가 제어법 x( ){x}(\에 의해
입력 x 및 랴푸노프 함수)로 다시 공급되는 경우
단일 동요(예: 0이 아닌 초기 조건이나 급격한 교란 후) 후에)가 원점으로 돌아온다.이 서브시스템은 피드백 제어법 에 의해 안정화된다
- 그런 다음 통합자를 연결하여 x{\을 입력하여
증강 시스템이 1{\1}}(에 입력)
하고 출력 상태가 x가 되도록 하십시오.그 결과 증강된 동력학적 시스템은

- 이 "캐스케이드" 시스템은 방정식 (1)의 형식과 일치하므로, 단일 통합자 백스테이핑 절차는 방정식 (3)의 안정화 제어 법칙으로 이어진다.즉, 제어법에 상태 1 {\및
x를
하면 1 {\1}
- gain > 을
를) 가진 다음, 상태
z 및
= {\단일 동요 후
z = 으로돌아간다.이 서브시스템은 피드백 제어법 1 }
에 의해 안정화되며, 등식 (2)의 해당 랴푸노프 함수는
- 즉, 피드백 제어법 }에 따라
랴푸노프 함수 1}는 상태가 원점으로 돌아가면서 0으로 소멸된다
.
- 새 통합자를 연결하여 }을 입력하여 증강 시스템이 }}: 출력
상태 x를 입력하도록 하십시오
.그 결과 증강된 동력학적 시스템은

- 단일 통합자 시스템과 동일함

-
}
및 }의 이러한 정의를 사용하여 이 시스템도 다음과 같이 표현할 수 있다

- 이 시스템은 방정식 (1)의 단일 적분자 구조와 일치하므로, 단일 적분자 백스텝 절차를 다시 적용할 수 있다.즉, 상태
그리고 x를 제어법에
따라 2{\}} 입력하면 된다.
- 으로 이득 k2>0{\displaystyle k_{2}>. 0}일 경우, 다음 주 z 1{\displaystyle z_{1}}, z2{\displaystyle z_{2}}, xz 1=0{\displaystyle z_{1}=0로 돌아갈 것이다.}, z2=0{\displaystyle z_{2}=0},)=0{\displaystyle \mathbf{)}=\mathbf{0}\,}한 페 후.rturbation. 이 서브시스템은 피드백 제어법 2
}}에 의해 안정화되며, 해당 랴푸노프 함수는
- 즉, 피드백 제어법
랴푸노프 함수 2 }}: 상태가 원점으로 돌아가면서 0으로 소멸된다
.
- 통합자를 }} 입력에 연결하여 증강 시스템이 을
입력하고 출력 상태가 x가 되도록 하십시오
.그 결과 증강된 동력학적 시스템은

- 단일 통합자 시스템으로 다시 통합될 수 있음

- 이전 단계에서 x
}의 정의에 따르면 이 시스템도 다음과 같이 표현된다.
- 또한
2
}}의 정의를 사용하여 이 시스템을 다음과 같이 표현할 수도 있다

- 그래서 재그룹 시스템은 방정식 (1)의 단일 적분자 구조를 가지므로, 단일 적분자 백스텝 절차를 다시 적용할 수 있다.즉, 상태
z
x를 제어법에 따라
입력하는 
- 으로 이득 k3>0{\displaystyle k_{3}>. 0}일 경우, 다음 주 z 1{\displaystyle z_{1}}, z2{\displaystyle z_{2}}, z3{\displaystyle z_{3}}, xz 1=0{\displaystyle z_{1}=0에} 돌아올 것이다, z2=0{\displaystyle z_{2}=0}, z3=0{\displaystyle z_{3}=0},. 그리고= 단일 섭동 후
.이 서브시스템은 피드백 제어법
에 의해 안정화되며, 해당 Lyapunov 기능은 다음과 같다.
- 즉, 피드백 제어법 3에 따라
랴푸노프 함수 는 상태가 원점으로 돌아가면서 0으로 소멸된다
.
- 이 프로세스는 시스템에 추가된 각 통합자에 대해 계속 진행할 수 있으며, 따라서 양식의 모든 시스템에 대해 계속 진행 가능

- 재귀적 구조를 가지고 있다.

- 그리고 단일 통합자 ) 서브시스템
(즉, 입력 }} 및
출력 x)에 대한 피드백 안정화 제어 및 Lyapunov 기능을 찾아 피드백 안정화가 될 때까지 내부 서브시스템에서 반복될 수 있다.control u가 알려져 있다.반복 i에서 등가 시스템은
- 해당 피드백 안정화 관리법은

- gain > 과(와) 함께
해당 랴푸노프 함수는
- By this construction, the ultimate control
(i.e., ultimate control is found at final iteration
).
따라서 이 특수 다 통합자 엄격한 피드백 형식의 시스템은 자동화될 수 있는 간단한 절차(예: 적응 제어 알고리즘의 일부로)를 사용하여 피드백이 안정화될 수 있다.
일반 백스텝
특수 엄격한 피드백 형태의 시스템은 다분히 통합된 시스템 구조와 유사한 재귀적 구조를 갖는다.마찬가지로 가장 작은 계단식 시스템을 안정시킨 다음 다음 다음 계단식 시스템으로 역스텝하여 절차를 반복함으로써 안정화된다.그러므로 단단계 절차를 개발하는 것이 중요하다; 그 절차는 다단계 사례를 다루기 위해 반복적으로 적용될 수 있다.다행히도 엄격한 피드백 형태의 기능 요건으로 인해 각 단일 단계 시스템은 단일 통합자 시스템에 피드백하여 렌더링할 수 있으며, 위에서 논의한 방법을 사용하여 단일 통합자 시스템을 안정화할 수 있다.
단단계 절차
간단한 엄격한 피드백을 고려하십시오.
-
| | (6) |
어디에,
![{\mathbf {x}}=[x_{1},x_{2},\ldots ,x_{n}]^{{{\text{T}}}}\in {\mathbb {R}}^{n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/568b3df5ffc6e2cba1780042002103ab2b1f70b2)
- 및
1 }은
는) 스칼라, - 모든 x 및 에 대해 1
1( x, ) 0
피드백 안정화 제어 }를
직접 설계하는 대신 새로운 제어
나중에 설계할 예정)을 도입하고 제어법을 사용하십시오.

g 1 0 때문에 가능하다
그래서 방정식 (6)의 시스템은

로 단순화하는.

이 새로운 a -to-x
시스템은 방정식 (1)의 단일 통합자 계단식 시스템과 일치한다.상부 서브시스템에 대한
피드백 안정화 제어법 와
랴푸노프 함수 () )가 알려져 있다고 가정하면, 방정식 (3)의 피드백 안정화 제어법은 다음과 같다.

gain > 과(와) 함께
따라서 최종 피드백 안정화 제어법은 다음과 같다.
-
| | (7) |
gain > 과(와) 함께
등식 (2)의 해당 랴푸노프 함수는
-
| | (8) |
이 엄격한 피드백 시스템은 피드백 안정화 제어와 그에 상응하는 랴푸노프 기능을 가지고 있기 때문에, 더 큰 엄격한 피드백 시스템의 일부로서 계단식으로 처리될 수 있으며, 이 절차를 반복하여 주변의 피드백 안정화 제어장치를 찾을 수 있다.
다단계 절차
다수의 통합자 백스텝에서와 같이, 엄격한 피드백 시스템 전체를 안정화하기 위해 1단계 절차를 반복적으로 완료할 수 있다.각 단계마다
- 가장 작은 "안정되지 않은" 단단계 엄격한 피드백 시스템은 격리된다.
- 피드백은 시스템을 단일 통합 시스템으로 변환하는 데 사용된다.
- 결과적인 단일 통합체계가 안정화된다.
- 안정화된 시스템은 다음 단계에서 상부 시스템으로 사용된다.
즉, 어떤 엄격한 피드백 시스템도

재귀적 구조를 가지고 있다.

그리고 단일 통합자 ) 서브시스템
(즉, 입력 }} 및
출력 x)에 대한 피드백 안정화 제어 및 Lyapunov 기능을 찾아 피드백 안정화가 될 때까지 내부 서브시스템에서 반복될 수 있다.control u가 알려져 있다.반복 i에서 등가 시스템은

방정식 (7)에 의해 해당 피드백 안정화 제어법은 다음과 같다.

gain >
을(를) 사용하여. 방정식(8)에 의해 해당 Lyapunov 함수는

By this construction, the ultimate control
(i.e., ultimate control is found at final iteration
).따라서 모든 엄격한 피드백 시스템은 자동화될 수 있는 간단한 절차(예: 적응 제어 알고리즘의 일부로)를 사용하여 피드백이 안정화될 수 있다.
참고 항목
참조