This invention relates generally controlling systems, and in particular to resetting states of proportional-integral-derivative (PID) and lag controllers.
Traditional controllers were designed for systems that output either discrete or continuous signals. More recent hybrid controllers provide integrated control for discrete and continuous signals. Hybrid controlled systems can enable higher performance, versatility, and autonomy. A specific problem in hybrid controllers is resetting the integrator and first order reset elements (FORE).
The state of a linear controller is reset to zero, or same other known value, whenever some threshold is reached. The Clegg integrator and the FORE are now being revisited within the framework of hybrid controllers to overcome fundamental limitations associated with linear feedback, such as overshoot and settling time bounds.
The following U.S. patents describe dynamic state resetting. U.S. Pat. No. 5,929,700 describe a method for a nonlinear notch filter employing a type of filter state resetting with reduced phase lag compared to a linear notch, which is used as part of a controlled system to improve the bandwidth of systems with resonant modes. U.S. Pat. No. 5,694,077 describes a method for resetting different types of filters such as low pass, high pass, and bandpass filters to reduce their phase lag.
The embodiments of the invention provide a method and system for resetting a state of hybrid controller using generalized integral and first order resetting control techniques for use with a proportional-integral-derivative (PID) and lag controller for first and second order dominant controlled system. This reduces to a Clegg integrator for integral control of a first order controlled system. In addition, different modifications to alleviate design trade-offs are introduced.
A dynamic hybrid resetting (impulsive) system can be modeled as
{dot over (x)}=ƒc(x) if (t,x)∉Sr
x+=ƒd(x), if (t,x)∈Sr (1)
where x generally indicates states of the system and controller. The states are reset selectively as described below. That is, some but not necessarily all states are reset. The dots above the variables ({dot over ( )}) and ({umlaut over ( )}), here and below, are the conventional way for indicating an order of the derivative as known in the art, (+) indicates a next state, an input to the system is u, time is t, the Lipschitz continuous function ƒc describes the continuous-time dynamics of the controller, and the function ƒd is the resetting law with Sr being a resetting set that defines the resetting condition based on time and/or state.
It is assumed that the resetting times tk are well-defined and distinct, i.e., and tk−tk-1≧∈ for ∈>0. Thus, the controller state is non-zero with well-defined solutions. This can be achieved by imposing a sampling on the resetting condition, as would be the case in a practical implementation, or by additional time-based condition.
We consider a class of systems s that includes a chain of integrators
ay(n)=u, (2)
where yn is the nth derivative of a targeted output y, and n≦2 is a selected dominant order of the system. The constant parameter a is a high frequency gain. It is assumed that output signals y, y(n-1) are available, which is typical for a PID controller. Furthermore, a reference trajectory r and its first n derivatives r(1), . . . , r(n) are known, bounded and, piecewise continuous.
An error variable is constructed as
z=−(d/dt+Kpp)n-1e,
where Kpp>0 is a selected scalar, and e=r−y is a tracking error for a desired reference trajectory r.
We consider the following control law (input) for the controlled system
u=Kpvz−Kivzc+ażr, (3)
where states
żc=z, if zzc≧0
zc+0, if zzc≦0, and
where Kpv>0 is a proportional gain, and Kiv>0 is an integral gain.
In the controller, the “feedforward” signal is
żr=y(n)−ż,
where y(n) is the nth derivative of the targeted output y.
For order n=1, we have
żr={dot over (r)},
and for n=2, we have
żr={umlaut over (r)}+Kppė.
A feedforward module 110 produces a feedforward signal żr 106 to which a gain a 111 is applied to produce a feedforward component for the input u 102.
A proportional module 120 produces a proportional signal z 107 with gain Kpv 121 based on the error variable e 105 and the reference signal r, which forms the proportional component for the input u.
An integral or lag module 130 produces an integral or lag signal 108 with an integral gain Kiv 131 to produce an integral component for the input u.
The feedforward module, the proportional module and the integral or lag module form a controller for the system 105. At any one time, the controller has a state, and according to the embodiments of the invention, the integral or lag module is configured to resetting this state. That is, in contrast with the prior art, the module 130 is capable of resetting the controller as described in further detail below. In the embodiments described herein, the state is represented by signal zc, or zci in some embodiments with multiple states. Generally, a reset occurs when zc or zci=0.
The output y 106 of the system 105 is subtracted from the reference signal r to produce the tracking error e for the proportional module 120.
Substituting Equation (3) into Equation (2) yields the following hybrid resetting closed loop ({dot over (x)}c1) controller and system
We consider the following Lyapunov function
V=az2+Kivzc2.
Computing {dot over (V)} for the continuous-time part yields
{dot over (V)}=−2Kpvz2≦0,
whereas, for the resetting dynamics of Equation (4) can be expressed as
ΔV=V(xc1+)−V(xc1)=−Kivzc2≦0.
Using standard stability results for impulsive (resetting) hybrid controller, this proves the Lyapunov stability of the closed loop controller and system.
By hybrid extensions of the invariant set theorem, the state of the controller converges asymptotically to the fixed-point (z=0, z1=0), and thus the tracking error e approached zero asymptotically.
Combining a Resetting and a Non-Resetting Integrators
We consider the following control law
u=−Kpvz−Kiv1zc1−Kiv2zc2+ażr, (4)
where states
żc1=z, if zzc1≧0
zc1+=0, if zzc1≦0
żc2=z
where Kiv1>0 is the resetting integrator gain corresponding to state zl1, and Kiv2>0 is the non-resetting integral gain corresponding to state zl2.
Thus, we obtain the following hybrid resetting controller
u=−Kpvz−Kivzc+ażr
żc=z, if zzc≧0
zc+=bd, if zzc≦0. (5)
The stability of this controller can be analyzed with the following Lyapunov function
V=az2+Kiv(zc−d/Kiv)2.
Computing {dot over (V)} for the continuous-time part yields
{dot over (V)}=−2Kpvz2≦0.
Whereas, for the resetting dynamics we have:
ΔV=V(xc1+)−V(xc1)=−Kivzc2≦0.
This proves Lyapunov stability of the closed loop controller of Equation (5) with the combined integrators method.
Furthermore, by hybrid extensions of the invariant set theorem, the controller converges asymptotically to the fixed-point
and thus the tracking error approaches zero asymptotically. Therefore, zero steady-state rejection of constant disturbances is possible.
Hybrid Resetting Lag Compensators
Here, the resetting PI compensator, which is used for order n=1 and within a PID controller for n=2, is modified to yield resetting lag compensators. A resetting lag controller can be achieved by replacing the resetting integrator of the FORE, such that
u=−Kpvz−Kivzc+ażr, and (6)
the states of the controller are
żc=z−aczc, if (z−aczc)zc≧0
zc+=0, if (z−aczc)zc≦0
and where the controller time lag or pole is ac≦0.
This controller is shown in
Stability of the controller can be shown using the following Lyapunov function
V=az2+Kiv1zc2,
Computing {dot over (V)} for the continuous-time part yields:
{dot over (V)}=−Kpvz2−Kivaczc2<0
Whereas, for the resetting dynamics
ΔV=V(xc1+)−V(xc1)=−Kivzc2≦0.
This proves exponential stability, and input-to-state stability, of the closed loop hybrid controller because {dot over (V)}<0.
Higher Order Resetting Controller
Consider the following control law
where states
żci=z−acizci, if (z−acizci)zzci≧0, and
zci+=adizci+bdi, if (z−aciaci) zzci≦0,
where the scalars aci≦0 and |adi|≦1 for N controller states, and where aci=0 corresponds to an integrator, and aci>0 corresponds to the FORE if adi=1, and a selected offset bdj=0 for the jth controller state. This way the controller can operate as a non-resetting integrator controller or a lag controller.
This controller is shown in
Let bdj=0, and consider the following Lyapunov function:
Computing {dot over (V)} for the continuous-time part with the controller according to Equation (7) yields
whereas for the resetting dynamics
This proves the Lyapunov stability of the system with the controller given by Equation (7). Whereas, when aci>0 for all i, then {dot over (V)}<0 and exponential stability of the hybrid controller is shown.
Analysis
The output y of the system is subtracted 405 from a reference signal r to produce an error signal e 407 for the feedforward module and the proportional module. The reference signal r is also provided to the feedforward module.
Although the invention has been described with reference to certain preferred embodiments, it is to be understood that various other adaptations and modifications can be made within the spirit and scope of the invention. Therefore, it is the object of the append claims to cover all such variations and modifications as come within the true spirit and scope of the invention.
Number | Name | Date | Kind |
---|---|---|---|
4441151 | Hayashibe | Apr 1984 | A |
4728481 | Geets | Mar 1988 | A |
4903192 | Saito et al. | Feb 1990 | A |
4908747 | Lane et al. | Mar 1990 | A |
5043863 | Bristol et al. | Aug 1991 | A |
5195028 | Hiroi | Mar 1993 | A |
5223778 | Svarovsky et al. | Jun 1993 | A |
5247432 | Ueda | Sep 1993 | A |
5260865 | Beauford et al. | Nov 1993 | A |
5319539 | Shinskey | Jun 1994 | A |
5319540 | Isaza et al. | Jun 1994 | A |
5331541 | Ueda et al. | Jul 1994 | A |
5335164 | Gough et al. | Aug 1994 | A |
5335165 | Shinskey | Aug 1994 | A |
5404289 | Hang et al. | Apr 1995 | A |
5420785 | Shinskey | May 1995 | A |
5504672 | Hardiman et al. | Apr 1996 | A |
5544039 | Hiroi | Aug 1996 | A |
5566065 | Hansen et al. | Oct 1996 | A |
5570282 | Hansen et al. | Oct 1996 | A |
5619422 | Nakazawa et al. | Apr 1997 | A |
5625552 | Mathur et al. | Apr 1997 | A |
5687077 | Gough, Jr. | Nov 1997 | A |
5691896 | Zou et al. | Nov 1997 | A |
5694077 | Fuller | Dec 1997 | A |
5740033 | Wassick et al. | Apr 1998 | A |
5742503 | Yu | Apr 1998 | A |
5745362 | Hiroi et al. | Apr 1998 | A |
5929700 | Fuller | Jul 1999 | A |
6122605 | Drees et al. | Sep 2000 | A |
6192283 | Holowko | Feb 2001 | B1 |
6195596 | Kim | Feb 2001 | B1 |
6343235 | Hausen et al. | Jan 2002 | B1 |
6680607 | Smith | Jan 2004 | B2 |
7113834 | Wojsznis et al. | Sep 2006 | B2 |
7113835 | Boyden et al. | Sep 2006 | B2 |
7117046 | Boyden et al. | Oct 2006 | B2 |
7155319 | Nangoy et al. | Dec 2006 | B2 |
7522963 | Boyden et al. | Apr 2009 | B2 |
7536232 | Boyden et al. | May 2009 | B2 |
7640067 | Boyden et al. | Dec 2009 | B2 |
7698004 | Boyden et al. | Apr 2010 | B2 |
7706899 | El Rifai | Apr 2010 | B2 |
7805207 | El Rifai | Sep 2010 | B2 |
7860586 | Boyden et al. | Dec 2010 | B2 |
7862771 | Boyden et al. | Jan 2011 | B2 |
7920930 | Francis | Apr 2011 | B2 |
7930045 | Cheng | Apr 2011 | B2 |
8055358 | Blevins et al. | Nov 2011 | B2 |
8095227 | Ydstie | Jan 2012 | B2 |
20020147510 | Francis | Oct 2002 | A1 |
20030097193 | Makino et al. | May 2003 | A1 |
20030214281 | Smith | Nov 2003 | A1 |
20040167659 | Scherer | Aug 2004 | A1 |
20050222695 | Yoneda | Oct 2005 | A1 |
20060042461 | Boyden et al. | Mar 2006 | A1 |
20060045800 | Boyden et al. | Mar 2006 | A1 |
20060045801 | Boyden et al. | Mar 2006 | A1 |
20060045802 | Boyden et al. | Mar 2006 | A1 |
20060045803 | Boyden et al. | Mar 2006 | A1 |
20060045804 | Boyden et al. | Mar 2006 | A1 |
20060047347 | Boyden et al. | Mar 2006 | A1 |
20060047366 | Boyden et al. | Mar 2006 | A1 |
20060047526 | Boyden et al. | Mar 2006 | A1 |
20060058899 | Boyden et al. | Mar 2006 | A1 |
20060083530 | Bartley et al. | Apr 2006 | A1 |
20060167570 | Francis | Jul 2006 | A1 |
20070021850 | Wojsznis et al. | Jan 2007 | A1 |
20070168057 | Blevins et al. | Jul 2007 | A1 |
20080195236 | Koo et al. | Aug 2008 | A1 |
20090082883 | Francis | Mar 2009 | A1 |
20090187268 | Sugishita et al. | Jul 2009 | A1 |
20090192634 | Fujinaka | Jul 2009 | A1 |
20090198350 | Thiele | Aug 2009 | A1 |
20090248176 | El Rifai | Oct 2009 | A1 |
20090248177 | El Rifai | Oct 2009 | A1 |
20090299500 | Rubin et al. | Dec 2009 | A1 |
20090319060 | Wojsznis et al. | Dec 2009 | A1 |
20100087933 | Cheng | Apr 2010 | A1 |
20100152868 | Chen et al. | Jun 2010 | A1 |
Number | Date | Country | |
---|---|---|---|
20100185304 A1 | Jul 2010 | US |