6. IFOC Method Basis
Basic IFOC method [
46] imposes an electrical angular frequency equal to:
Here, substituting (
22) into Equations (
1)c and (
1)d, the rotor flux dynamical equations from (
1) takes the form
Then, if the term
in this last equation with accurate estimations, the dynamical equation of the quadrature rotor flux component
have an exponential behavior tending to zero over time
, reaching over the 99% of this final value after five times the rotor-time constant
[
9]. Later
and the electromagnetic torque
, obtaining the simplified
model (
3).
However, using equation (
22) to achieve IFOC needs a flux estimator to obtain
, which is the reason why it is not used in this paper. Therefore, the alternative and more practical method, using the electrical angular frequency (Section 2.1) is performed in this paper [
40]( Section 4.1.2.2.1), [
47].
The authors haven’t found explicit proof of this method in the literature. Thus, we describe it herein. After considering the definition of the rotor time constant
and substituting (2.1) into equations (
1)c and (
1)d, the rotor flux dynamical equations from (
1) takes the form
After applying the Laplace transform [
47] to this last equation, considering constant
and the initial condition
, we obtain
Applying the final value theorem [
47], where
, we have
. As a result
. Then,
. Here, if
we get
achieving field orientation. This could be obtained under the presence of accurate parameters estimation, similar to the basic IFOC method, thus
; and even if
and
, but
, which is a valid case not considered in [
47].
7. PIC Adjustment
The adjustment of the PI controllers starts from the simplified IM d-q model (
3) and the IFOC block diagram of
Figure 1. These are re-expressed as the transfer function block diagram [
44] of
Figure 12 in Laplace domain; after considering all the motor-load parameters and the operating point constant and known.
Figure 12.
Transfer function block diagram of Basic IFOC for IM.
Figure 12.
Transfer function block diagram of Basic IFOC for IM.
Inner loop is first adjusted after neglecting the nonlinear terms and
. Moreover, it considers the closed-loop transfer functions property of
with
and
[
44], obtaining the transfer function shown in
Figure 12, of the form
. Here, the squared inner natural frequency
is used to obtain the fixed-gain parameter
of the controller. The term depending on the inner natural frequency
and the inner damping coefficient
is
; and it is used to compute the fixed-gain parameter
of the controller. The inner PICs adjustment results in Equation (
4).
Later, it is assumed that the inner loop is stabilized. Therefore, applying the final value theorem [
47], where
, we have that
and the block diagram of
Figure 12 becomes
Figure 13.
Transfer function block diagram of Basic IFOC for IM once stabilized the inner loop.
Figure 13.
Transfer function block diagram of Basic IFOC for IM once stabilized the inner loop.
In a similar way than the inner loop, after considering the load torque term
as a disturbance that is neglected, and considering the closed-loop transfer functions property, the transfer function
is obtained [
42,
44]. Here, the squared outer natural frequency is
, and is used to obtain the fixed-gain parameter
of the controller. The term
, depending on the outer natural frequency and the outer damping coefficient, is used to compute the fixed-gain parameter
of the controller. Finally, the outer PIC is adjusted as in Equation (
5).
8. CAPBC Stability Proof
Obtaining the Errors Dynamical Equations
Subtracting equations (
14) minus (
15) and regrouping terms the following identification error is obtained:
It considers the previously given definitions of , , . Moreover, the identification parameter error is defined as .
Multiplying both sides of the model plant (
14) by
. Adding and subtracting the term
, regrouping and considering previously definitions of
,
,
the control error is:
where
.
In contrast to D and I approaches, the C technique considers , and obtaining the closed-loop estimation error (18).
Subtracting in (18) minus (
21) (since (
21) is equals to zero doesn’t change the equation), to the right side, respectively, and regrouping terms we obtain:
.
Finally, as
and
, and the identification and control ideal parameters
and
are constant, we have that
and
. Therefore, from (17) and (19) we have:
Stability Proof of the Errors Dynamical Equations
The system composed by the errors dynamical equations (
26), (
27), (
29), and (
30), has an associated Lyapunov function, which is positive and depends on the design energy function
.
The first time derivative of (
31) gives:
Substituting (
26) and (
27) into (
32), we obtain:
Regrouping terms, it gives:
Substituting (
29) and (
30) into the last equation, it gives:
Now, considering
,
and
, and regrouping terms, it follows
Moreover, the authors consider the two vectors’ property, where
, to write the terms
and
into the trace as follows
Simplifying the last equation, after canceling identical terms with opposite signs and regrouping the terms with
conveniently to obtain equation (
28), it gives
In this scenario, we assume that all parameters involved, , , , , , and , are strictly positive. Additionally, we know that the parameters characterizing the plant, along with their first derivatives with respect to time, remain within certain bounds.
However, upon inspection of Equation (
33), it becomes evident that while the first terms indicate negativity, the signs of the subsequent four terms are not immediately discernible. To address this ambiguity, we aim to reformulate Equation (
33) using modulus and norm properties, as demonstrated in [
27].
Using properties of the Frobenius norm and the Cauchy–Schwarz inequality where . The terms become , , and . Using the property , we have , , and .
As a result, equation (
33) becomes:
which equals a hyperelliptical paraboloid of parameter
r:
Therefore,
only outside the region
, which is the following instability hyper elliptical paraboloid that is compact, closed, and includes the origin:
Hence, using Lyapunov’s second method, it can be concluded that the variables of the closed-loop dynamical Equations (
27), (
26), (
29) and (
30) are bounded outside
. In case the errors take small enough values that result in
(inside the instability compact and closed region
, including the origin); these will be pushed back to a stable boundary. In practice, the values of
,
,
,
and
are chosen so the permanent errors are smaller as possible, as can be seen in the following section.
Thus,
,
,
, and
are bounded outside
, i.e.,
,
,
, and
outside
. Since
and
are bounded, it implies that
y,
and are bounded as
is a bounded reference. As
and
are bounded, and we have bounded plant parameters, then the adaptive parameters
and
are bounded, since
and
. Having all these bounded signals outside
, and that
V,
,
,
and
, from (
27), (
26), (
29) and (
30), we have that
,
,
and
Integrating both sides of
in the interval
, it gives
as
V is bounded outside
, from the right-hand side of this last equation; we have
and
outside
.
Furthermore, as
,
and
, and
,
and
, all outside
, using Barbalat´s Lemma [
19](Section 4.5.2) we have that
and
, both tend asymptotically to zero outside
. Hence
and
outside
. We do not ensure parameter convergence. This concludes the proof. ⋄