Misplaced Pages

Control theory: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 18:54, 22 January 2022 editOculi (talk | contribs)Extended confirmed users, Pending changes reviewers248,148 editsm clean up, typo(s) fixed: December 17, 1903 → December 17, 1903,Tag: AWB← Previous edit Latest revision as of 13:10, 21 December 2024 edit undoKolja21 (talk | contribs)Extended confirmed users3,045 editsmNo edit summary 
(65 intermediate revisions by 41 users not shown)
Line 3: Line 3:
{{Use mdy dates|date=July 2016}} {{Use mdy dates|date=July 2016}}


'''Control theory''' deals with the ] of ]s in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a desired state, while minimizing any ''delay'', ''overshoot'', or ''steady-state error'' and ensuring a level of control ]; often with the aim to achieve a degree of ]. '''Control theory''' is a field of ] and ] that deals with the ] of ]s in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a desired state, while minimizing any ''delay'', ''overshoot'', or ''steady-state error'' and ensuring a level of control ]; often with the aim to achieve a degree of ].


To do this, a '''controller''' with the requisite corrective behavior is required. This controller monitors the controlled process variable (PV), and compares it with the reference or set point (SP). The difference between actual and desired value of the process variable, called the ''error'' signal, or SP-PV error, is applied as feedback to generate a control action to bring the controlled process variable to the same value as the set point. Other aspects which are also studied are ] and ]. This is the basis for the advanced type of automation that revolutionized manufacturing, aircraft, communications and other industries. This is ''feedback control'', which involves taking measurements using a ] and making calculated adjustments to keep the measured variable within a set range by means of a "final control element", such as a ].<ref>Bennett, Stuart (1992). A history of control engineering, 1930-1955. IET. p. 48. {{ISBN|978-0-86341-299-8}}.</ref> To do this, a '''controller''' with the requisite corrective behavior is required. This controller monitors the controlled ] (PV), and compares it with the reference or ] (SP). The difference between actual and desired value of the process variable, called the ''error'' signal, or SP-PV error, is applied as feedback to generate a control action to bring the controlled process variable to the same value as the set point. Other aspects which are also studied are ] and ]. Control theory is used in ] to design automation that have revolutionized manufacturing, aircraft, communications and other industries, and created new fields such as ].


Extensive use is usually made of a diagrammatic style known as the ]. In it the ], also known as the system function or network function, is a mathematical model of the relation between the input and output based on the ]s describing the system. Extensive use is usually made of a diagrammatic style known as the ]. In it the ], also known as the system function or network function, is a mathematical model of the relation between the input and output based on the ]s describing the system.


Control theory dates from the 19th century, when the theoretical basis for the operation of governors was first described by ].<ref>{{cite journal |first=J. C. |last=Maxwell |author-link=James Clerk Maxwell |title=On Governors |date=1868 |journal=Proceedings of the Royal Society |volume=100 |url=https://upload.wikimedia.org/wikipedia/commons/b/b1/On_Governors.pdf}}</ref> Control theory was further advanced by ] in 1874, ] and in 1895, ], who all contributed to the establishment of control stability criteria; and from 1922 onwards, the development of ] theory by ].<ref>{{cite journal |last=Minorsky |first=Nicolas |author-link=Nicolas Minorsky |title=Directional stability of automatically steered bodies |journal=Journal of the American Society of Naval Engineers |year=1922 |volume=34 |pages=280–309 |issue=2 |doi=10.1111/j.1559-3584.1922.tb04958.x}}</ref> Control theory dates from the 19th century, when the theoretical basis for the operation of governors was first described by ].<ref>{{cite journal |first=J. C. |last=Maxwell |author-link=James Clerk Maxwell |title=On Governors |date=1868 |journal=Proceedings of the Royal Society |volume=100 |url=https://upload.wikimedia.org/wikipedia/commons/b/b1/On_Governors.pdf |archive-url=https://web.archive.org/web/20081219051207/http://upload.wikimedia.org/wikipedia/commons/b/b1/On_Governors.pdf |archive-date=2008-12-19 |url-status=live}}</ref> Control theory was further advanced by ] in 1874, ] and in 1895, ], who all contributed to the establishment of control stability criteria; and from 1922 onwards, the development of ] theory by ].<ref>{{cite journal |last=Minorsky |first=Nicolas |author-link=Nicolas Minorsky |title=Directional stability of automatically steered bodies |journal=Journal of the American Society of Naval Engineers |year=1922 |volume=34 |pages=280–309 |issue=2 |doi=10.1111/j.1559-3584.1922.tb04958.x}}</ref>
Although a major application of ] control theory is in ], which deals with the design of ] systems for industry, other applications range far beyond this. As the general theory of feedback systems, control theory is useful wherever feedback occurs - thus control theory also has applications in life sciences, computer engineering, sociology and operation research.<ref>{{Cite web|url=https://portal.dnb.de/opac.htm?method=simpleSearch&cqlMode=true&query=nid=4032317-1|title=Katalog der Deutschen Nationalbibliothek (Authority control)|last=GND|website=portal.dnb.de|access-date=2020-04-26}}</ref> Although a major application of ] control theory is in ], which deals with the design of ] systems for industry, other applications range far beyond this. As the general theory of feedback systems, control theory is useful wherever feedback occurs - thus control theory also has applications in life sciences, computer engineering, sociology and ].<ref>{{Cite web|url=https://d-nb.info/gnd/4032317-1|title=Katalog der Deutschen Nationalbibliothek (Authority control)|last=GND|website=portal.dnb.de|access-date=2024-12-21}}</ref>


==History== ==History==
{{see also|Control engineering#History}}

] in a ] of 1788]] ] in a ] of 1788]]


Although control systems of various types date back to antiquity, a more formal analysis of the field began with a dynamics analysis of the ], conducted by the physicist ] in 1868, entitled ''On Governors''.<ref name="Maxwell1867">{{cite journal|author=Maxwell, J.C.|year=1868|title=On Governors|journal=Proceedings of the Royal Society of London|volume=16|pages=270–283|doi=10.1098/rspl.1867.0055|jstor=112510|doi-access=free}}<!--| access-date = 2008-04-14--></ref> A centrifugal governor was already used to regulate the velocity of windmills.<ref>{{cite web| url = http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.302.5633&rep=rep1&type=pdf| title = Control Theory: History, Mathematical Achievements and Perspectives {{!}} E. Fernandez-Cara1 and E. Zuazua}}</ref> Maxwell described and analyzed the phenomenon of ], in which lags in the system may lead to overcompensation and unstable behavior. This generated a flurry of interest in the topic, during which Maxwell's classmate, ], abstracted Maxwell's results for the general class of linear systems.<ref name=Routh1975>{{cite book Although control systems of various types date back to antiquity, a more formal analysis of the field began with a dynamics analysis of the ], conducted by the physicist ] in 1868, entitled ''On Governors''.<ref name="Maxwell1867">{{cite journal|author=Maxwell, J.C.|year=1868|title=On Governors|journal=Proceedings of the Royal Society of London|volume=16|pages=270–283|doi=10.1098/rspl.1867.0055|jstor=112510|doi-access=}}<!--| access-date = 2008-04-14--></ref> A centrifugal governor was already used to regulate the velocity of windmills.<ref>{{cite web| title = Control Theory: History, Mathematical Achievements and Perspectives|url=https://citeseerx.ist.psu.edu/doc/10.1.1.302.5633|author1=Fernandez-Cara, E. |author2=Zuazua, E. |publisher=Boletin de la Sociedad Espanola de Matematica Aplicada|citeseerx=10.1.1.302.5633 |issn=1575-9822}}</ref> Maxwell described and analyzed the phenomenon of ], in which lags in the system may lead to overcompensation and unstable behavior. This generated a flurry of interest in the topic, during which Maxwell's classmate, ], abstracted Maxwell's results for the general class of linear systems.<ref name=Routh1975>{{cite book
| author = Routh, E.J. | author = Routh, E.J.
|author2=Fuller, A.T. |author2=Fuller, A.T.
Line 36: Line 38:
A notable application of dynamic control was in the area of crewed flight. The ] made their first successful test flights on December 17, 1903, and were distinguished by their ability to control their flights for substantial periods (more so than the ability to produce lift from an airfoil, which was known). Continuous, reliable control of the airplane was necessary for flights lasting longer than a few seconds. A notable application of dynamic control was in the area of crewed flight. The ] made their first successful test flights on December 17, 1903, and were distinguished by their ability to control their flights for substantial periods (more so than the ability to produce lift from an airfoil, which was known). Continuous, reliable control of the airplane was necessary for flights lasting longer than a few seconds.


By ], control theory was becoming an important area of research. ] developed the theory of discontinuous automatic control systems, and applied the ] to the development of ] for aircraft.<ref>{{cite journal|last1=Flugge-Lotz|first1=Irmgard|last2=Titus|first2=Harold A.|title=Optimum and Quasi-Optimum Control of Third and Fourth-Order Systems|journal=Stanford University Technical Report|date=October 1962|issue=134|pages=8–12|url=http://www.dtic.mil/dtic/tr/fulltext/u2/621137.pdf}}</ref><ref>{{cite book|last1=Hallion|first1=Richard P.|editor1-last=Sicherman|editor1-first=Barbara|editor2-last=Green|editor2-first=Carol Hurd|editor3-last=Kantrov|editor3-first=Ilene|editor4-last=Walker|editor4-first=Harriette|title=Notable American Women: The Modern Period: A Biographical Dictionary|url=https://archive.org/details/notableamericanw00sich|url-access=registration|date=1980|publisher=Belknap Press of Harvard University Press|location=Cambridge, Mass.|isbn=9781849722704|pages=}}</ref> Other areas of application for discontinuous controls included ]s, ]s and ]. By ], control theory was becoming an important area of research. ] developed the theory of discontinuous automatic control systems, and applied the ] to the development of ] for aircraft.<ref>{{cite journal|last1=Flugge-Lotz|first1=Irmgard|last2=Titus|first2=Harold A.|title=Optimum and Quasi-Optimum Control of Third and Fourth-Order Systems|journal=Stanford University Technical Report|date=October 1962|issue=134|pages=8–12|url=http://www.dtic.mil/dtic/tr/fulltext/u2/621137.pdf|archive-url=https://web.archive.org/web/20190427142417/http://www.dtic.mil/dtic/tr/fulltext/u2/621137.pdf|url-status=dead|archive-date=April 27, 2019}}</ref><ref>{{cite book|last1=Hallion|first1=Richard P.|editor1-last=Sicherman|editor1-first=Barbara|editor2-last=Green|editor2-first=Carol Hurd|editor3-last=Kantrov|editor3-first=Ilene|editor4-last=Walker|editor4-first=Harriette|title=Notable American Women: The Modern Period: A Biographical Dictionary|url=https://archive.org/details/notableamericanw00sich|url-access=registration|date=1980|publisher=Belknap Press of Harvard University Press|location=Cambridge, Mass.|isbn=9781849722704|pages=}}</ref> Other areas of application for discontinuous controls included ]s, ]s and ].


Sometimes, mechanical methods are used to improve the stability of systems. For example, ] are fins mounted beneath the waterline and emerging laterally. In contemporary vessels, they may be gyroscopically controlled active fins, which have the capacity to change their angle of attack to counteract roll caused by wind or waves acting on the ship. Sometimes, mechanical methods are used to improve the stability of systems. For example, ] are fins mounted beneath the waterline and emerging laterally. In contemporary vessels, they may be gyroscopically controlled active fins, which have the capacity to change their angle of attack to counteract roll caused by wind or waves acting on the ship.
Line 43: Line 45:


==Open-loop and closed-loop (feedback) control== ==Open-loop and closed-loop (feedback) control==
{{excerpt|Control loop#Open-loop and closed-loop}}
] of a ] ] using a ] to control the process variable by comparing it with a desired value, and applying the difference as an error signal to generate a control output to reduce or eliminate the error.]]
]
Fundamentally, there are two types of control loops: open loop control and closed loop (feedback) control.

In open loop control, the control action from the controller is independent of the "process output" (or "controlled process variable" - PV). A good example of this is a central heating boiler controlled only by a timer, so that heat is applied for a constant time, regardless of the temperature of the building. The control action is the timed switching on/off of the boiler, the process variable is the building temperature, but neither is linked.

In closed loop control, the control action from the controller is dependent on feedback from the process in the form of the value of the process variable (PV). In the case of the boiler analogy, a closed loop would include a thermostat to compare the building temperature (PV) with the temperature set on the thermostat (the set point - SP). This generates a controller output to maintain the building at the desired temperature by switching the boiler on and off. A closed loop controller, therefore, has a feedback loop which ensures the controller exerts a control action to manipulate the process variable to be the same as the "Reference input" or "set point". For this reason, closed loop controllers are also called feedback controllers.<ref>"Feedback and control systems" - JJ Di Steffano, AR Stubberud, IJ Williams. Schaums outline series, McGraw-Hill 1967</ref>

The definition of a closed loop control system according to the British Standard Institution is "a control system possessing monitoring feedback, the deviation signal formed as a result of this feedback being used to control the action of a final control element in such a way as to tend to reduce the deviation to zero."<ref>{{cite book|title= The Origins of Feedback Control|last=Mayr|first= Otto| author-link= Otto Mayr |year= 1970
|publisher =The Colonial Press, Inc.|location= Clinton, MA USA}}</ref>

Likewise; "A ''Feedback Control System'' is a system which tends to maintain a prescribed relationship of one system variable to another by comparing functions of these variables and using the difference as a means of control."<ref>{{cite book|title= The Origins of Feedback Control|last=Mayr|first= Otto| author-link= Otto Mayr |year= 1969|publisher =The Colonial Press, Inc.|location= Clinton, MA USA}}</ref>

===Other examples===
An example of a control system is a car's ], which is a device designed to maintain vehicle speed at a constant ''desired'' or ''reference'' speed provided by the driver. The ''controller'' is the cruise control, the ''plant'' is the car, and the ''system'' is the car and the cruise control. The system output is the car's speed, and the control itself is the engine's ] position which determines how much power the engine delivers.

A primitive way to implement cruise control is simply to lock the throttle position when the driver engages cruise control. However, if the cruise control is engaged on a stretch of non-flat road, then the car will travel slower going uphill and faster when going downhill. This type of controller is called an '']'' because there is no ]; no measurement of the system output (the car's speed) is used to alter the control (the throttle position.) As a result, the controller cannot compensate for changes acting on the car, like a change in the slope of the road.

In a '']'', data from a sensor monitoring the car's speed (the system output) enters a controller which continuously compares the quantity representing the speed with the reference quantity representing the desired speed. The difference, called the error, determines the throttle position (the control). The result is to match the car's speed to the reference speed (maintain the desired system output). Now, when the car goes uphill, the difference between the input (the sensed speed) and the reference continuously determines the throttle position. As the sensed speed drops below the reference, the difference increases, the throttle opens, and engine power increases, speeding up the vehicle. In this way, the controller dynamically counteracts changes to the car's speed. The central idea of these control systems is the ''feedback loop'', the controller affects the system output, which in turn is measured and fed back to the controller.


==Classical control theory== ==Classical control theory==
{{excerpt|Closed-loop controller}}
{{main|Classical control theory}}

To overcome the limitations of the ], control theory introduces ].
A ] uses feedback to control ] or ] of a ]. Its name comes from the information path in the system: process inputs (e.g., ] applied to an ]) have an effect on the process outputs (e.g., speed or torque of the motor), which is measured with ]s and processed by the controller; the result (the control signal) is "fed back" as input to the process, closing the loop.

Closed-loop controllers have the following advantages over ]s:
* disturbance rejection (such as hills in the cruise control example above)
* guaranteed performance even with ] uncertainties, when the model structure does not match perfectly the real process and the model parameters are not exact
* ] processes can be stabilized
* reduced sensitivity to parameter variations
* improved reference tracking performance

In some systems, closed-loop and open-loop control are used simultaneously. In such systems, the open-loop control is termed ] and serves to further improve reference tracking performance.

A common closed-loop controller architecture is the ].

==Closed-loop transfer function==
{{details|closed-loop transfer function}}
The output of the system ''y''(''t'') is fed back through a sensor measurement ''F'' to a comparison with the reference value ''r''(''t''). The controller ''C'' then takes the error ''e'' (difference) between the reference and the output to change the inputs ''u'' to the system under control ''P''. This is shown in the figure. This kind of controller is a closed-loop controller or feedback controller.

This is called a single-input-single-output (''SISO'') control system; ''MIMO'' (i.e., Multi-Input-Multi-Output) systems, with more than one input/output, are common. In such cases variables are represented through ] instead of simple ] values. For some ] the vectors may be infinite-] (typically functions).

]

If we assume the controller ''C'', the plant ''P'', and the sensor ''F'' are ] and ] (i.e., elements of their ] ''C''(''s''), ''P''(''s''), and ''F''(''s'') do not depend on time), the systems above can be analysed using the ] on the variables. This gives the following relations:

: <math>Y(s) = P(s) U(s)</math>
: <math>U(s) = C(s) E(s)</math>
: <math>E(s) = R(s) - F(s)Y(s).</math>

Solving for ''Y''(''s'') in terms of ''R''(''s'') gives

: <math>Y(s) = \left( \frac{P(s)C(s)}{1 + P(s)C(s)F(s)} \right) R(s) = H(s)R(s).</math>

The expression <math>H(s) = \frac{P(s)C(s)}{1 + F(s)P(s)C(s)}</math> is referred to as the ''closed-loop transfer function'' of the system. The numerator is the forward (open-loop) gain from ''r'' to ''y'', and the denominator is one plus the gain in going around the feedback loop, the so-called loop gain. If <math>|P(s)C(s)| \gg 1</math>, i.e., it has a large ] with each value of ''s'', and if <math>|F(s)| \approx 1</math>, then ''Y''(''s'') is approximately equal to ''R''(''s'') and the output closely tracks the reference input.

==PID feedback control==
{{main|PID controller}}
] of a PID controller in a feedback loop, {{math|''r''(''t'')}} is the desired process value or "set point", and {{math|''y''(''t'')}} is the measured process value.]]
A proportional–integral–derivative controller (PID controller) is a ] ] control technique widely used in control systems.

A PID controller continuously calculates an ''error value'' {{math|''e''(''t'')}} as the difference between a desired ] and a measured ] and applies a correction based on ], ], and ] terms. ''PID'' is an initialism for ''Proportional-Integral-Derivative'', referring to the three terms operating on the error signal to produce a control signal.

The theoretical understanding and application dates from the 1920s, and they are implemented in nearly all analogue control systems; originally in mechanical controllers, and then using discrete electronics and later in industrial process computers.
The PID controller is probably the most-used feedback control design.

If {{math|''u''(''t'')}} is the control signal sent to the system, {{math|''y''(''t'')}} is the measured output and {{math|''r''(''t'')}} is the desired output, and {{math|1=''e''(''t'') = ''r''(''t'') − ''y''(''t'')}} is the tracking error, a PID controller has the general form

:<math>u(t) = K_P e(t) + K_I \int^t e(\tau)\text{d}\tau + K_D \frac{\text{d}e(t)}{\text{d}t}.</math>

The desired closed loop dynamics is obtained by adjusting the three parameters {{math|''K<sub>P</sub>''}}, {{math|''K<sub>I</sub>''}} and {{math|''K<sub>D</sub>''}}, often iteratively by "tuning" and without specific knowledge of a plant model. Stability can often be ensured using only the proportional term. The integral term permits the rejection of a step disturbance (often a striking specification in ]). The derivative term is used to provide damping or shaping of the response. PID controllers are the most well-established class of control systems: however, they cannot be used in several more complicated cases, especially if ] systems are considered.

Applying ]ation results in the transformed PID controller equation

:<math>u(s) = K_P e(s) + K_I \frac{1}{s} e(s) + K_D s e(s)</math>
:<math>u(s) = \left(K_P + K_I \frac{1}{s} + K_D s\right) e(s)</math>

with the PID controller transfer function
:<math>C(s) = \left(K_P + K_I \frac{1}{s} + K_D s\right).</math>

As an example of tuning a PID controller in the closed-loop system {{math|''H''(''s'')}}, consider a 1st order plant given by

:<math>P(s) = \frac{A}{1 + sT_P}</math>

where {{mvar|A}} and {{math|''T<sub>P</sub>''}} are some constants. The plant output is fed back through

:<math>F(s) = \frac{1}{1 + sT_F}</math>

where {{math|''T<sub>F</sub>''}} is also a constant. Now if we set <math>K_P=K\left(1+\frac{T_D}{T_I}\right)</math>, {{math|1=''K<sub>D</sub>'' = ''KT<sub>D</sub>''}}, and <math>K_I=\frac{K}{T_I}</math>, we can express the PID controller transfer function in series form as

:<math>C(s) = K \left(1 + \frac{1}{sT_I}\right)(1 + sT_D)</math>

Plugging {{math|''P''(''s'')}}, {{math|''F''(''s'')}}, and {{math|''C''(''s'')}} into the closed-loop transfer function {{math|''H''(''s'')}}, we find that by setting

:<math>K = \frac{1}{A}, T_I = T_F, T_D = T_P</math>

{{math|1=''H''(''s'') = 1}}. With this tuning in this example, the system output follows the reference input exactly.

However, in practice, a pure differentiator is neither physically realizable nor desirable<ref>{{cite journal |last1=Ang |first1=K.H. |last2=Chong |first2=G.C.Y. |last3=Li |first3=Y. |date=2005 |title=PID control system analysis, design, and technology |journal=IEEE Transactions on Control Systems Technology |volume=13 |issue=4 |pages=559–576|doi=10.1109/TCST.2005.847331 |s2cid=921620 }}</ref> due to amplification of noise and resonant modes in the system. Therefore, a ] type approach or a differentiator with low-pass roll-off are used instead.


==Linear and nonlinear control theory== ==Linear and nonlinear control theory==
Line 153: Line 59:
* '']'' – In this type the values of the ]s, the mathematical ] representing the system's input, output and feedback are represented as functions of ]. The input signal and the system's ] are converted from time functions to functions of frequency by a ] such as the ], ], or ]. The advantage of this technique is that it results in a simplification of the mathematics; the '']s'' that represent the system are replaced by '']s'' in the frequency domain which is much simpler to solve. However, frequency domain techniques can only be used with linear systems, as mentioned above. * '']'' – In this type the values of the ]s, the mathematical ] representing the system's input, output and feedback are represented as functions of ]. The input signal and the system's ] are converted from time functions to functions of frequency by a ] such as the ], ], or ]. The advantage of this technique is that it results in a simplification of the mathematics; the '']s'' that represent the system are replaced by '']s'' in the frequency domain which is much simpler to solve. However, frequency domain techniques can only be used with linear systems, as mentioned above.
* '']'' – In this type the values of the ]s are represented as functions of time. With this model, the system being analyzed is represented by one or more ]s. Since frequency domain techniques are limited to ] systems, time domain is widely used to analyze real-world nonlinear systems. Although these are more difficult to solve, modern computer simulation techniques such as ]s have made their analysis routine. * '']'' – In this type the values of the ]s are represented as functions of time. With this model, the system being analyzed is represented by one or more ]s. Since frequency domain techniques are limited to ] systems, time domain is widely used to analyze real-world nonlinear systems. Although these are more difficult to solve, modern computer simulation techniques such as ]s have made their analysis routine.
In contrast to the frequency domain analysis of the classical control theory, modern control theory utilizes the time-domain ] representation, a mathematical model of a physical system as a set of input, output and state variables related by first-order differential equations. To abstract from the number of inputs, outputs, and states, the variables are expressed as vectors and the differential and algebraic equations are written in matrix form (the latter only being possible when the dynamical system is linear). The state space representation (also known as the "time-domain approach") provides a convenient and compact way to model and analyze systems with multiple inputs and outputs. With inputs and outputs, we would otherwise have to write down Laplace transforms to encode all the information about a system. Unlike the frequency domain approach, the use of the state-space representation is not limited to systems with linear components and zero initial conditions. "State space" refers to the space whose axes are the state variables. The state of the system can be represented as a point within that space.<ref>{{cite book|title=State space & linear systems|series=Schaum's outline series |publisher=McGraw Hill|author=Donald M Wiberg|year=1971 |isbn=978-0-07-070096-3}}</ref><ref>{{cite journal|author=Terrell, William|title=Some fundamental control theory I: Controllability, observability, and duality —AND— Some fundamental control Theory II: Feedback linearization of single input nonlinear systems|journal=American Mathematical Monthly|volume=106|issue=9|year=1999|pages=705–719 and 812–828|url=http://www.maa.org/programs/maa-awards/writing-awards/some-fundamental-control-theory-i-controllability-observability-and-duality-and-some-fundamental|doi=10.2307/2589614|jstor=2589614}}</ref> In contrast to the frequency domain analysis of the classical control theory, modern control theory utilizes the time-domain ] representation,{{citation needed|date=December 2022}} a mathematical model of a physical system as a set of input, output and state variables related by first-order differential equations. To abstract from the number of inputs, outputs, and states, the variables are expressed as vectors and the differential and algebraic equations are written in matrix form (the latter only being possible when the dynamical system is linear). The state space representation (also known as the "time-domain approach") provides a convenient and compact way to model and analyze systems with multiple inputs and outputs. With inputs and outputs, we would otherwise have to write down Laplace transforms to encode all the information about a system. Unlike the frequency domain approach, the use of the state-space representation is not limited to systems with linear components and zero initial conditions. "State space" refers to the space whose axes are the state variables. The state of the system can be represented as a point within that space.<ref>{{cite book|title=State space & linear systems|series=Schaum's outline series |publisher=McGraw Hill|author=Donald M Wiberg|year=1971 |isbn=978-0-07-070096-3}}</ref><ref>{{cite journal|author=Terrell, William|title=Some fundamental control theory I: Controllability, observability, and duality —AND— Some fundamental control Theory II: Feedback linearization of single input nonlinear systems|journal=American Mathematical Monthly|volume=106|issue=9|year=1999|pages=705–719 and 812–828|url=http://www.maa.org/programs/maa-awards/writing-awards/some-fundamental-control-theory-i-controllability-observability-and-duality-and-some-fundamental|doi=10.2307/2589614|jstor=2589614}}</ref>


==System interfacing - SISO & MIMO== ==System interfacing - SISO & MIMO==
Line 159: Line 65:
* ] (SISO) – This is the simplest and most common type, in which one output is controlled by one control signal. Examples are the cruise control example above, or an ], in which the control input is the input audio signal and the output is the sound waves from the speaker. * ] (SISO) – This is the simplest and most common type, in which one output is controlled by one control signal. Examples are the cruise control example above, or an ], in which the control input is the input audio signal and the output is the sound waves from the speaker.
* ] (MIMO) – These are found in more complicated systems. For example, modern large ]s such as the ] and ] have mirrors composed of many separate segments each controlled by an ]. The shape of the entire mirror is constantly adjusted by a MIMO ] control system using input from multiple sensors at the focal plane, to compensate for changes in the mirror shape due to thermal expansion, contraction, stresses as it is rotated and distortion of the ] due to turbulence in the atmosphere. Complicated systems such as ]s and human ] are simulated by a computer as large MIMO control systems. * ] (MIMO) – These are found in more complicated systems. For example, modern large ]s such as the ] and ] have mirrors composed of many separate segments each controlled by an ]. The shape of the entire mirror is constantly adjusted by a MIMO ] control system using input from multiple sensors at the focal plane, to compensate for changes in the mirror shape due to thermal expansion, contraction, stresses as it is rotated and distortion of the ] due to turbulence in the atmosphere. Complicated systems such as ]s and human ] are simulated by a computer as large MIMO control systems.

===Classical SISO system design ===
The scope of classical control theory is limited to ] (SISO) system design, except when analyzing for disturbance rejection using a second input. The system analysis is carried out in the time domain using ], in the complex-s domain with the ], or in the frequency domain by transforming from the complex-s domain. Many systems may be assumed to have a second order and single variable system response in the time domain. A controller designed using classical theory often requires on-site tuning due to incorrect design approximations. Yet, due to the easier physical implementation of classical controller designs as compared to systems designed using modern control theory, these controllers are preferred in most industrial applications. The most common controllers designed using classical control theory are ]s. A less common implementation may include either or both a Lead or Lag filter. The ultimate end goal is to meet requirements typically provided in the time-domain called the step response, or at times in the frequency domain called the open-loop response. The step response characteristics applied in a specification are typically percent overshoot, settling time, etc. The open-loop response characteristics applied in a specification are typically Gain and Phase margin and bandwidth. These characteristics may be evaluated through simulation including a dynamic model of the system under control coupled with the compensation model.

===Modern MIMO system design===
Modern control theory is carried out in the ], and can deal with ] (MIMO) systems. This overcomes the limitations of classical control theory in more sophisticated design problems, such as fighter aircraft control, with the limitation that no frequency domain analysis is possible. In modern design, a system is represented to the greatest advantage as a set of decoupled first order ]s defined using ]. ], ], ] and ] theories come under this division. Matrix methods are significantly limited for MIMO systems where linear independence cannot be assured in the relationship between inputs and outputs.{{Citation needed|reason=No citation or explanation on this generic claim|date=November 2019}} Being fairly new, modern control theory has many areas yet to be explored. Scholars like ] and ] are well known among the people who have shaped modern control theory.


==Topics in control theory== ==Topics in control theory==
Line 175: Line 87:
The difference between the two cases is simply due to the traditional method of plotting continuous time versus discrete time transfer functions. The continuous Laplace transform is in ] where the <math>x</math> axis is the real axis and the discrete Z-transform is in ] where the <math>\rho</math> axis is the real axis. The difference between the two cases is simply due to the traditional method of plotting continuous time versus discrete time transfer functions. The continuous Laplace transform is in ] where the <math>x</math> axis is the real axis and the discrete Z-transform is in ] where the <math>\rho</math> axis is the real axis.


When the appropriate conditions above are satisfied a system is said to be ]; the variables of an asymptotically stable control system always decrease from their initial value and do not show permanent oscillations. Permanent oscillations occur when a pole has a real part exactly equal to zero (in the continuous time case) or a modulus equal to one (in the discrete time case). If a simply stable system response neither decays nor grows over time, and has no oscillations, it is ]; in this case the system transfer function has non-repeated poles at the complex plane origin (i.e. their real and complex component is zero in the continuous time case). Oscillations are present when poles with real part equal to zero have an imaginary part not equal to zero. When the appropriate conditions above are satisfied a system is said to be ]; the variables of an asymptotically stable control system always decrease from their initial value and do not show permanent oscillations. Permanent oscillations occur when a pole has a real part exactly equal to zero (in the continuous time case) or a ] equal to one (in the discrete time case). If a simply stable system response neither decays nor grows over time, and has no oscillations, it is ]; in this case the system transfer function has non-repeated poles at the complex plane origin (i.e. their real and complex component is zero in the continuous time case). Oscillations are present when poles with real part equal to zero have an imaginary part not equal to zero.


If a system in question has an ] of If a system in question has an ] of
Line 222: Line 134:


===Model identification and robustness=== ===Model identification and robustness===
A control system must always have some robustness property. A ]ler is such that its properties do not change much if applied to a system slightly different from the mathematical one used for its synthesis. This requirement is important, as no real physical system truly behaves like the series of differential equations used to represent it mathematically. Typically a simpler mathematical model is chosen in order to simplify calculations, otherwise, the true system dynamics can be so complicated that a complete model is impossible. A control system must always have some robustness property. A ]ler is such that its properties do not change much if applied to a system slightly different from the mathematical one used for its synthesis. This requirement is important, as no real physical system truly behaves like the series of differential equations used to represent it mathematically. Typically a simpler mathematical model is chosen in order to simplify calculations, otherwise, the true ] can be so complicated that a complete model is impossible.


;System identification ;System identification
Line 244: Line 156:
===Nonlinear systems control=== ===Nonlinear systems control===
{{Main|Nonlinear control}} {{Main|Nonlinear control}}
Processes in industries like ] and the ] typically have strong nonlinear dynamics. In control theory it is sometimes possible to linearize such classes of systems and apply linear techniques, but in many cases it can be necessary to devise from scratch theories permitting control of nonlinear systems. These, e.g., ], ], ], trajectory linearization control normally take advantage of results based on ]. ] has been widely used as a tool for generalizing well-known linear control concepts to the nonlinear case, as well as showing the subtleties that make it a more challenging problem. Control theory has also been used to decipher the neural mechanism that directs cognitive states.<ref name=Shi_Gu_et_al>{{cite journal |author1 = Gu Shi|year = 2015 |title = Controllability of structural brain networks (Article Number 8414) |journal = Nature Communications |volume = 6 |quote = Here we use tools from control and network theories to offer a mechanistic explanation for how the brain moves between cognitive states drawn from the network organization of white matter microstructure. |lay-url= |doi = 10.1038/ncomms9414|issue = 6 |display-authors=etal|arxiv = 1406.5197|bibcode = 2015NatCo...6.8414G |pmid = 26423222 |pmc = 4600713 |page = 8414}}</ref> Processes in industries like ] and the ] typically have strong nonlinear dynamics. In control theory it is sometimes possible to linearize such classes of systems and apply linear techniques, but in many cases it can be necessary to devise from scratch theories permitting control of nonlinear systems. These, e.g., ], ], ], trajectory linearization control normally take advantage of results based on ]. ] has been widely used as a tool for generalizing well-known linear control concepts to the nonlinear case, as well as showing the subtleties that make it a more challenging problem. Control theory has also been used to decipher the neural mechanism that directs cognitive states.<ref name=Shi_Gu_et_al>{{cite journal |author1 = Gu Shi|year = 2015 |title = Controllability of structural brain networks (Article Number 8414) |journal = Nature Communications |volume = 6 |quote = Here we use tools from control and network theories to offer a mechanistic explanation for how the brain moves between cognitive states drawn from the network organization of white matter microstructure |doi = 10.1038/ncomms9414|issue = 6 |display-authors=etal|arxiv = 1406.5197|bibcode = 2015NatCo...6.8414G |pmid = 26423222 |pmc = 4600713 |page = 8414}}</ref>


===Decentralized systems control=== ===Decentralized systems control===
Line 260: Line 172:
;List of the main control techniques ;List of the main control techniques


*] is a particular control technique in which the control signal optimizes a certain "cost index": for example, in the case of a satellite, the jet thrusts needed to bring it to desired trajectory that consume the least amount of fuel. Two optimal control design methods have been widely used in industrial applications, as it has been shown they can guarantee closed-loop stability. These are ] (MPC) and ] (LQG). The first can more explicitly take into account constraints on the signals in the system, which is an important feature in many industrial processes. However, the "optimal control" structure in MPC is only a means to achieve such a result, as it does not optimize a true performance index of the closed-loop control system. Together with PID controllers, MPC systems are the most widely used control technique in ].
*] deals explicitly with uncertainty in its approach to controller design. Controllers designed using ''robust control'' methods tend to be able to cope with small differences between the true system and the nominal model used for design.<ref>{{cite journal|last1=Melby|first1=Paul|last2=et.|first2=al.|title=Robustness of Adaptation in Controlled Self-Adjusting Chaotic Systems |journal=Fluctuation and Noise Letters |volume=02|issue=4|pages=L285–L292|date=2002|doi=10.1142/S0219477502000919}}</ref> The early methods of ] and others were fairly robust; the state-space methods invented in the 1960s and 1970s were sometimes found to lack robustness. Examples of modern robust control techniques include ] developed by Duncan McFarlane and ], ] (SMC) developed by ], and safe protocols designed for control of large heterogeneous populations of electric loads in Smart Power Grid applications.<ref name='TCL1'>{{cite journal|title=Safe Protocols for Generating Power Pulses with Heterogeneous Populations of Thermostatically Controlled Loads |author=N. A. Sinitsyn. S. Kundu, S. Backhaus |journal=]|volume=67|year=2013|pages=297–308|arxiv=1211.0248|doi=10.1016/j.enconman.2012.11.021|bibcode=2013ECM....67..297S |s2cid=32067734 }}</ref> Robust methods aim to achieve robust performance and/or ] in the presence of small modeling errors.
*] deals with control design with uncertainty in the model. In typical stochastic control problems, it is assumed that there exist random noise and disturbances in the model and the controller, and the control design must take into account these random deviations.
*] uses on-line identification of the process parameters, or modification of controller gains, thereby obtaining strong robustness properties. Adaptive controls were applied for the first time in the ] in the 1950s, and have found particular success in that field. *] uses on-line identification of the process parameters, or modification of controller gains, thereby obtaining strong robustness properties. Adaptive controls were applied for the first time in the ] in the 1950s, and have found particular success in that field.
*A ] is a type of ] in which a set of devices and governing software is arranged in a ] ]. When the links in the tree are implemented by a ], then that hierarchical control system is also a form of ]. *A ] is a type of ] in which a set of devices and governing software is arranged in a ] ]. When the links in the tree are implemented by a ], then that hierarchical control system is also a form of ].
*] uses various AI computing approaches like ], ], ],<ref>{{cite journal | title=A novel fuzzy framework for nonlinear system control| journal=Fuzzy Sets and Systems | year=2010 | last1=Liu |first1=Jie |author2=Wilson Wang |author3=Farid Golnaraghi |author4=Eric Kubica | volume=161 | issue=21 | pages=2746–2759 | doi=10.1016/j.fss.2010.04.009}}</ref> ], ] and ] or a combination of these methods, such as ] algorithms, to control a ]. *] uses various AI computing approaches like ], ], ],<ref>{{cite journal | title=A novel fuzzy framework for nonlinear system control| journal=Fuzzy Sets and Systems | year=2010 | last1=Liu |first1=Jie |author2=Wilson Wang |author3=Farid Golnaraghi |author4=Eric Kubica | volume=161 | issue=21 | pages=2746–2759 | doi=10.1016/j.fss.2010.04.009}}</ref> ], ] and ] or a combination of these methods, such as ] algorithms, to control a ].
*] is a particular control technique in which the control signal optimizes a certain "cost index": for example, in the case of a satellite, the jet thrusts needed to bring it to desired trajectory that consume the least amount of fuel. Two optimal control design methods have been widely used in industrial applications, as it has been shown they can guarantee closed-loop stability. These are ] (MPC) and ] (LQG). The first can more explicitly take into account constraints on the signals in the system, which is an important feature in many industrial processes. However, the "optimal control" structure in MPC is only a means to achieve such a result, as it does not optimize a true performance index of the closed-loop control system. Together with PID controllers, MPC systems are the most widely used control technique in ].
*] deals explicitly with uncertainty in its approach to controller design. Controllers designed using ''robust control'' methods tend to be able to cope with small differences between the true system and the nominal model used for design.<ref>{{cite journal|last1=Melby|first1=Paul|last2=et.|first2=al.|title=Robustness of Adaptation in Controlled Self-Adjusting Chaotic Systems |journal=Fluctuation and Noise Letters |volume=02|issue=4|pages=L285–L292|date=2002|doi=10.1142/S0219477502000919}}</ref> The early methods of ] and others were fairly robust; the state-space methods invented in the 1960s and 1970s were sometimes found to lack robustness. Examples of modern robust control techniques include ] developed by Duncan McFarlane and ], ] (SMC) developed by ], and safe protocols designed for control of large heterogeneous populations of electric loads in Smart Power Grid applications.<ref name='TCL1'>{{cite journal|title=Safe Protocols for Generating Power Pulses with Heterogeneous Populations of Thermostatically Controlled Loads |author=N. A. Sinitsyn. S. Kundu, S. Backhaus |journal=]|volume=67|year=2013|pages=297–308|arxiv=1211.0248|doi=10.1016/j.enconman.2012.11.021|s2cid=32067734 }}</ref> Robust methods aim to achieve robust performance and/or ] in the presence of small modeling errors.
*] deals with control design with uncertainty in the model. In typical stochastic control problems, it is assumed that there exist random noise and disturbances in the model and the controller, and the control design must take into account these random deviations.
*] may be defined as attempts to interfere in the processes by which the ] system dissipates energy. *] may be defined as attempts to interfere in the processes by which the ] system dissipates energy.


Line 276: Line 188:
* ] invented the concept of ]s in 1927. He managed to develop stable negative feedback amplifiers in the 1930s. * ] invented the concept of ]s in 1927. He managed to develop stable negative feedback amplifiers in the 1930s.
* ] developed the ] for feedback systems in the 1930s. * ] developed the ] for feedback systems in the 1930s.
* ] developed ] since the 1940s.<ref>{{cite magazine |author=Richard Bellman |date=1964 |title=Control Theory |url=http://www.nature.com/scientificamerican/journal/v211/n3/pdf/scientificamerican0964-186.pdf |magazine=] |volume=211 |issue=3 |pages=186–200|author-link=Richard Bellman }}</ref> * ] developed ] in the 1940s.<ref>{{cite magazine |author=Richard Bellman |date=1964 |title=Control Theory |doi=10.1038/scientificamerican0964-186 |magazine=] |volume=211 |issue=3 |pages=186–200|author-link=Richard Bellman }}</ref>
* ], control theorist and a professor * ], control theorist and a professor
* ], developed synchronous reinforcement learning algorithms to solve optimal control and game theoretic problems
* ] co-developed the ] in 1941. * ] co-developed the ] in 1941.
* ] co-developed the Wiener–Kolmogorov filter and coined the term ] in the 1940s. * ] co-developed the Wiener–Kolmogorov filter and coined the term ] in the 1940s.
Line 341: Line 254:
* ] * ]
* ] * ]
* ]
* ] * ]
* ] * ]
* ] * ]
* ]
{{colend}} {{colend}}


Line 367: Line 280:
* {{cite book |author1=Joseph L. Hellerstein |author2=Dawn M. Tilbury|author2-link= Dawn Tilbury |author3=Sujay Parekh | title= Feedback Control of Computing Systems | publisher= John Wiley and Sons | year= 2004 | isbn=978-0-471-26637-2}} * {{cite book |author1=Joseph L. Hellerstein |author2=Dawn M. Tilbury|author2-link= Dawn Tilbury |author3=Sujay Parekh | title= Feedback Control of Computing Systems | publisher= John Wiley and Sons | year= 2004 | isbn=978-0-471-26637-2}}
*{{cite book | author= ] and Anthony J. Pritchard | title= Mathematical Systems Theory I – Modelling, State Space Analysis, Stability and Robustness | publisher= Springer | year= 2005 | isbn=978-3-540-44125-0 }} *{{cite book | author= ] and Anthony J. Pritchard | title= Mathematical Systems Theory I – Modelling, State Space Analysis, Stability and Robustness | publisher= Springer | year= 2005 | isbn=978-3-540-44125-0 }}
*{{cite journal | author = Andrei, Neculai | title = Modern Control Theory – A historical Perspective | year = 2005 | url = http://camo.ici.ro/neculai/history.pdf | access-date = 2007-10-10 }}
*{{cite book | last = Sontag | first = Eduardo | author-link = Eduardo D. Sontag | year = 1998 | title = Mathematical Control Theory: Deterministic Finite Dimensional Systems. Second Edition | publisher = Springer | url = http://www.sontaglab.org/FTPDIR/sontag_mathematical_control_theory_springer98.pdf | isbn = 978-0-387-98489-6 }} *{{cite book | last = Sontag | first = Eduardo | author-link = Eduardo D. Sontag | year = 1998 | title = Mathematical Control Theory: Deterministic Finite Dimensional Systems. Second Edition | publisher = Springer | url = http://www.sontaglab.org/FTPDIR/sontag_mathematical_control_theory_springer98.pdf | isbn = 978-0-387-98489-6 }}
* {{cite book | last = Goodwin | first = Graham | year = 2001 | title = Control System Design | publisher = Prentice Hall | isbn = 978-0-13-958653-8 }} * {{cite book | last = Goodwin | first = Graham | year = 2001 | title = Control System Design | publisher = Prentice Hall | isbn = 978-0-13-958653-8 }}
Line 382: Line 294:
* *
* *

* , a professional seminar taught at APEC in 2012 (Orlando, FL).
{{Control theory}} {{Control theory}}
{{Cybernetics}} {{Cybernetics}}
Line 392: Line 304:
] ]
] ]
] ]

Latest revision as of 13:10, 21 December 2024

Branch of engineering and mathematics This article is about control theory in engineering. For control theory in linguistics, see control (linguistics). For control theory in psychology and sociology, see control theory (sociology) and Perceptual control theory.

Control theory is a field of control engineering and applied mathematics that deals with the control of dynamical systems in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a desired state, while minimizing any delay, overshoot, or steady-state error and ensuring a level of control stability; often with the aim to achieve a degree of optimality.

To do this, a controller with the requisite corrective behavior is required. This controller monitors the controlled process variable (PV), and compares it with the reference or set point (SP). The difference between actual and desired value of the process variable, called the error signal, or SP-PV error, is applied as feedback to generate a control action to bring the controlled process variable to the same value as the set point. Other aspects which are also studied are controllability and observability. Control theory is used in control system engineering to design automation that have revolutionized manufacturing, aircraft, communications and other industries, and created new fields such as robotics.

Extensive use is usually made of a diagrammatic style known as the block diagram. In it the transfer function, also known as the system function or network function, is a mathematical model of the relation between the input and output based on the differential equations describing the system.

Control theory dates from the 19th century, when the theoretical basis for the operation of governors was first described by James Clerk Maxwell. Control theory was further advanced by Edward Routh in 1874, Charles Sturm and in 1895, Adolf Hurwitz, who all contributed to the establishment of control stability criteria; and from 1922 onwards, the development of PID control theory by Nicolas Minorsky. Although a major application of mathematical control theory is in control systems engineering, which deals with the design of process control systems for industry, other applications range far beyond this. As the general theory of feedback systems, control theory is useful wherever feedback occurs - thus control theory also has applications in life sciences, computer engineering, sociology and operations research.

History

See also: Control engineering § History
Centrifugal governor in a Boulton & Watt engine of 1788

Although control systems of various types date back to antiquity, a more formal analysis of the field began with a dynamics analysis of the centrifugal governor, conducted by the physicist James Clerk Maxwell in 1868, entitled On Governors. A centrifugal governor was already used to regulate the velocity of windmills. Maxwell described and analyzed the phenomenon of self-oscillation, in which lags in the system may lead to overcompensation and unstable behavior. This generated a flurry of interest in the topic, during which Maxwell's classmate, Edward John Routh, abstracted Maxwell's results for the general class of linear systems. Independently, Adolf Hurwitz analyzed system stability using differential equations in 1877, resulting in what is now known as the Routh–Hurwitz theorem.

A notable application of dynamic control was in the area of crewed flight. The Wright brothers made their first successful test flights on December 17, 1903, and were distinguished by their ability to control their flights for substantial periods (more so than the ability to produce lift from an airfoil, which was known). Continuous, reliable control of the airplane was necessary for flights lasting longer than a few seconds.

By World War II, control theory was becoming an important area of research. Irmgard Flügge-Lotz developed the theory of discontinuous automatic control systems, and applied the bang-bang principle to the development of automatic flight control equipment for aircraft. Other areas of application for discontinuous controls included fire-control systems, guidance systems and electronics.

Sometimes, mechanical methods are used to improve the stability of systems. For example, ship stabilizers are fins mounted beneath the waterline and emerging laterally. In contemporary vessels, they may be gyroscopically controlled active fins, which have the capacity to change their angle of attack to counteract roll caused by wind or waves acting on the ship.

The Space Race also depended on accurate spacecraft control, and control theory has also seen an increasing use in fields such as economics and artificial intelligence. Here, one might say that the goal is to find an internal model that obeys the good regulator theorem. So, for example, in economics, the more accurately a (stock or commodities) trading model represents the actions of the market, the more easily it can control that market (and extract "useful work" (profits) from it). In AI, an example might be a chatbot modelling the discourse state of humans: the more accurately it can model the human state (e.g. on a telephone voice-support hotline), the better it can manipulate the human (e.g. into performing the corrective actions to resolve the problem that caused the phone call to the help-line). These last two examples take the narrow historical interpretation of control theory as a set of differential equations modeling and regulating kinetic motion, and broaden it into a vast generalization of a regulator interacting with a plant.

Open-loop and closed-loop (feedback) control

This section is an excerpt from Control loop § Open-loop and closed-loop.

Fundamentally, there are two types of control loop: open-loop control (feedforward), and closed-loop control (feedback).

An electromechanical timer, normally used for open-loop control based purely on a timing sequence, with no feedback from the process

In open-loop control, the control action from the controller is independent of the "process output" (or "controlled process variable"). A good example of this is a central heating boiler controlled only by a timer, so that heat is applied for a constant time, regardless of the temperature of the building. The control action is the switching on/off of the boiler, but the controlled variable should be the building temperature, but is not because this is open-loop control of the boiler, which does not give closed-loop control of the temperature.

In closed loop control, the control action from the controller is dependent on the process output. In the case of the boiler analogy this would include a thermostat to monitor the building temperature, and thereby feed back a signal to ensure the controller maintains the building at the temperature set on the thermostat. A closed loop controller therefore has a feedback loop which ensures the controller exerts a control action to give a process output the same as the "reference input" or "set point". For this reason, closed loop controllers are also called feedback controllers.

The definition of a closed loop control system according to the British Standards Institution is "a control system possessing monitoring feedback, the deviation signal formed as a result of this feedback being used to control the action of a final control element in such a way as to tend to reduce the deviation to zero."

Likewise; "A Feedback Control System is a system which tends to maintain a prescribed relationship of one system variable to another by comparing functions of these variables and using the difference as a means of control."

Classical control theory

This section is an excerpt from Closed-loop controller.
Example of a single industrial control loop; showing continuously modulated control of process flow.

A closed-loop controller or feedback controller is a control loop which incorporates feedback, in contrast to an open-loop controller or non-feedback controller. A closed-loop controller uses feedback to control states or outputs of a dynamical system. Its name comes from the information path in the system: process inputs (e.g., voltage applied to an electric motor) have an effect on the process outputs (e.g., speed or torque of the motor), which is measured with sensors and processed by the controller; the result (the control signal) is "fed back" as input to the process, closing the loop.

In the case of linear feedback systems, a control loop including sensors, control algorithms, and actuators is arranged in an attempt to regulate a variable at a setpoint (SP). An everyday example is the cruise control on a road vehicle; where external influences such as hills would cause speed changes, and the driver has the ability to alter the desired set speed. The PID algorithm in the controller restores the actual speed to the desired speed in an optimum way, with minimal delay or overshoot, by controlling the power output of the vehicle's engine. Control systems that include some sensing of the results they are trying to achieve are making use of feedback and can adapt to varying circumstances to some extent. Open-loop control systems do not make use of feedback, and run only in pre-arranged ways.

Closed-loop controllers have the following advantages over open-loop controllers:

  • disturbance rejection (such as hills in the cruise control example above)
  • guaranteed performance even with model uncertainties, when the model structure does not match perfectly the real process and the model parameters are not exact
  • unstable processes can be stabilized
  • reduced sensitivity to parameter variations
  • improved reference tracking performance
  • improved rectification of random fluctuations

In some systems, closed-loop and open-loop control are used simultaneously. In such systems, the open-loop control is termed feedforward and serves to further improve reference tracking performance.

A common closed-loop controller architecture is the PID controller.

A basic feedback loop

Linear and nonlinear control theory

The field of control theory can be divided into two branches:

Analysis techniques - frequency domain and time domain

Mathematical techniques for analyzing and designing control systems fall into two different categories:

In contrast to the frequency domain analysis of the classical control theory, modern control theory utilizes the time-domain state space representation, a mathematical model of a physical system as a set of input, output and state variables related by first-order differential equations. To abstract from the number of inputs, outputs, and states, the variables are expressed as vectors and the differential and algebraic equations are written in matrix form (the latter only being possible when the dynamical system is linear). The state space representation (also known as the "time-domain approach") provides a convenient and compact way to model and analyze systems with multiple inputs and outputs. With inputs and outputs, we would otherwise have to write down Laplace transforms to encode all the information about a system. Unlike the frequency domain approach, the use of the state-space representation is not limited to systems with linear components and zero initial conditions. "State space" refers to the space whose axes are the state variables. The state of the system can be represented as a point within that space.

System interfacing - SISO & MIMO

Control systems can be divided into different categories depending on the number of inputs and outputs.

  • Single-input single-output (SISO) – This is the simplest and most common type, in which one output is controlled by one control signal. Examples are the cruise control example above, or an audio system, in which the control input is the input audio signal and the output is the sound waves from the speaker.
  • Multiple-input multiple-output (MIMO) – These are found in more complicated systems. For example, modern large telescopes such as the Keck and MMT have mirrors composed of many separate segments each controlled by an actuator. The shape of the entire mirror is constantly adjusted by a MIMO active optics control system using input from multiple sensors at the focal plane, to compensate for changes in the mirror shape due to thermal expansion, contraction, stresses as it is rotated and distortion of the wavefront due to turbulence in the atmosphere. Complicated systems such as nuclear reactors and human cells are simulated by a computer as large MIMO control systems.

Classical SISO system design

The scope of classical control theory is limited to single-input and single-output (SISO) system design, except when analyzing for disturbance rejection using a second input. The system analysis is carried out in the time domain using differential equations, in the complex-s domain with the Laplace transform, or in the frequency domain by transforming from the complex-s domain. Many systems may be assumed to have a second order and single variable system response in the time domain. A controller designed using classical theory often requires on-site tuning due to incorrect design approximations. Yet, due to the easier physical implementation of classical controller designs as compared to systems designed using modern control theory, these controllers are preferred in most industrial applications. The most common controllers designed using classical control theory are PID controllers. A less common implementation may include either or both a Lead or Lag filter. The ultimate end goal is to meet requirements typically provided in the time-domain called the step response, or at times in the frequency domain called the open-loop response. The step response characteristics applied in a specification are typically percent overshoot, settling time, etc. The open-loop response characteristics applied in a specification are typically Gain and Phase margin and bandwidth. These characteristics may be evaluated through simulation including a dynamic model of the system under control coupled with the compensation model.

Modern MIMO system design

Modern control theory is carried out in the state space, and can deal with multiple-input and multiple-output (MIMO) systems. This overcomes the limitations of classical control theory in more sophisticated design problems, such as fighter aircraft control, with the limitation that no frequency domain analysis is possible. In modern design, a system is represented to the greatest advantage as a set of decoupled first order differential equations defined using state variables. Nonlinear, multivariable, adaptive and robust control theories come under this division. Matrix methods are significantly limited for MIMO systems where linear independence cannot be assured in the relationship between inputs and outputs. Being fairly new, modern control theory has many areas yet to be explored. Scholars like Rudolf E. Kálmán and Aleksandr Lyapunov are well known among the people who have shaped modern control theory.

Topics in control theory

Stability

The stability of a general dynamical system with no input can be described with Lyapunov stability criteria.

For simplicity, the following descriptions focus on continuous-time and discrete-time linear systems.

Mathematically, this means that for a causal linear system to be stable all of the poles of its transfer function must have negative-real values, i.e. the real part of each pole must be less than zero. Practically speaking, stability requires that the transfer function complex poles reside

The difference between the two cases is simply due to the traditional method of plotting continuous time versus discrete time transfer functions. The continuous Laplace transform is in Cartesian coordinates where the x {\displaystyle x} axis is the real axis and the discrete Z-transform is in circular coordinates where the ρ {\displaystyle \rho } axis is the real axis.

When the appropriate conditions above are satisfied a system is said to be asymptotically stable; the variables of an asymptotically stable control system always decrease from their initial value and do not show permanent oscillations. Permanent oscillations occur when a pole has a real part exactly equal to zero (in the continuous time case) or a modulus equal to one (in the discrete time case). If a simply stable system response neither decays nor grows over time, and has no oscillations, it is marginally stable; in this case the system transfer function has non-repeated poles at the complex plane origin (i.e. their real and complex component is zero in the continuous time case). Oscillations are present when poles with real part equal to zero have an imaginary part not equal to zero.

If a system in question has an impulse response of

  x [ n ] = 0.5 n u [ n ] {\displaystyle \ x=0.5^{n}u}

then the Z-transform (see this example), is given by

  X ( z ) = 1 1 0.5 z 1 {\displaystyle \ X(z)={\frac {1}{1-0.5z^{-1}}}}

which has a pole in z = 0.5 {\displaystyle z=0.5} (zero imaginary part). This system is BIBO (asymptotically) stable since the pole is inside the unit circle.

However, if the impulse response was

  x [ n ] = 1.5 n u [ n ] {\displaystyle \ x=1.5^{n}u}

then the Z-transform is

  X ( z ) = 1 1 1.5 z 1 {\displaystyle \ X(z)={\frac {1}{1-1.5z^{-1}}}}

which has a pole at z = 1.5 {\displaystyle z=1.5} and is not BIBO stable since the pole has a modulus strictly greater than one.

Numerous tools exist for the analysis of the poles of a system. These include graphical systems like the root locus, Bode plots or the Nyquist plots.

Mechanical changes can make equipment (and control systems) more stable. Sailors add ballast to improve the stability of ships. Cruise ships use antiroll fins that extend transversely from the side of the ship for perhaps 30 feet (10 m) and are continuously rotated about their axes to develop forces that oppose the roll.

Controllability and observability

Main articles: Controllability and Observability

Controllability and observability are main issues in the analysis of a system before deciding the best control strategy to be applied, or whether it is even possible to control or stabilize the system. Controllability is related to the possibility of forcing the system into a particular state by using an appropriate control signal. If a state is not controllable, then no signal will ever be able to control the state. If a state is not controllable, but its dynamics are stable, then the state is termed stabilizable. Observability instead is related to the possibility of observing, through output measurements, the state of a system. If a state is not observable, the controller will never be able to determine the behavior of an unobservable state and hence cannot use it to stabilize the system. However, similar to the stabilizability condition above, if a state cannot be observed it might still be detectable.

From a geometrical point of view, looking at the states of each variable of the system to be controlled, every "bad" state of these variables must be controllable and observable to ensure a good behavior in the closed-loop system. That is, if one of the eigenvalues of the system is not both controllable and observable, this part of the dynamics will remain untouched in the closed-loop system. If such an eigenvalue is not stable, the dynamics of this eigenvalue will be present in the closed-loop system which therefore will be unstable. Unobservable poles are not present in the transfer function realization of a state-space representation, which is why sometimes the latter is preferred in dynamical systems analysis.

Solutions to problems of an uncontrollable or unobservable system include adding actuators and sensors.

Control specification

Several different control strategies have been devised in the past years. These vary from extremely general ones (PID controller), to others devoted to very particular classes of systems (especially robotics or aircraft cruise control).

A control problem can have several specifications. Stability, of course, is always present. The controller must ensure that the closed-loop system is stable, regardless of the open-loop stability. A poor choice of controller can even worsen the stability of the open-loop system, which must normally be avoided. Sometimes it would be desired to obtain particular dynamics in the closed loop: i.e. that the poles have R e [ λ ] < λ ¯ {\displaystyle Re<-{\overline {\lambda }}} , where λ ¯ {\displaystyle {\overline {\lambda }}} is a fixed value strictly greater than zero, instead of simply asking that R e [ λ ] < 0 {\displaystyle Re<0} .

Another typical specification is the rejection of a step disturbance; including an integrator in the open-loop chain (i.e. directly before the system under control) easily achieves this. Other classes of disturbances need different types of sub-systems to be included.

Other "classical" control theory specifications regard the time-response of the closed-loop system. These include the rise time (the time needed by the control system to reach the desired value after a perturbation), peak overshoot (the highest value reached by the response before reaching the desired value) and others (settling time, quarter-decay). Frequency domain specifications are usually related to robustness (see after).

Modern performance assessments use some variation of integrated tracking error (IAE, ISA, CQI).

Model identification and robustness

A control system must always have some robustness property. A robust controller is such that its properties do not change much if applied to a system slightly different from the mathematical one used for its synthesis. This requirement is important, as no real physical system truly behaves like the series of differential equations used to represent it mathematically. Typically a simpler mathematical model is chosen in order to simplify calculations, otherwise, the true system dynamics can be so complicated that a complete model is impossible.

System identification
Further information: System identification

The process of determining the equations that govern the model's dynamics is called system identification. This can be done off-line: for example, executing a series of measures from which to calculate an approximated mathematical model, typically its transfer function or matrix. Such identification from the output, however, cannot take account of unobservable dynamics. Sometimes the model is built directly starting from known physical equations, for example, in the case of a mass-spring-damper system we know that m x ¨ ( t ) = K x ( t ) B x ˙ ( t ) {\displaystyle m{\ddot {x}}(t)=-Kx(t)-\mathrm {B} {\dot {x}}(t)} . Even assuming that a "complete" model is used in designing the controller, all the parameters included in these equations (called "nominal parameters") are never known with absolute precision; the control system will have to behave correctly even when connected to a physical system with true parameter values away from nominal.

Some advanced control techniques include an "on-line" identification process (see later). The parameters of the model are calculated ("identified") while the controller itself is running. In this way, if a drastic variation of the parameters ensues, for example, if the robot's arm releases a weight, the controller will adjust itself consequently in order to ensure the correct performance.

Analysis

Analysis of the robustness of a SISO (single input single output) control system can be performed in the frequency domain, considering the system's transfer function and using Nyquist and Bode diagrams. Topics include gain and phase margin and amplitude margin. For MIMO (multi-input multi output) and, in general, more complicated control systems, one must consider the theoretical results devised for each control technique (see next section). I.e., if particular robustness qualities are needed, the engineer must shift their attention to a control technique by including these qualities in its properties.

Constraints

A particular robustness issue is the requirement for a control system to perform properly in the presence of input and state constraints. In the physical world every signal is limited. It could happen that a controller will send control signals that cannot be followed by the physical system, for example, trying to rotate a valve at excessive speed. This can produce undesired behavior of the closed-loop system, or even damage or break actuators or other subsystems. Specific control techniques are available to solve the problem: model predictive control (see later), and anti-wind up systems. The latter consists of an additional control block that ensures that the control signal never exceeds a given threshold.

System classifications

Linear systems control

Main article: State space (controls)

For MIMO systems, pole placement can be performed mathematically using a state space representation of the open-loop system and calculating a feedback matrix assigning poles in the desired positions. In complicated systems this can require computer-assisted calculation capabilities, and cannot always ensure robustness. Furthermore, all system states are not in general measured and so observers must be included and incorporated in pole placement design.

Nonlinear systems control

Main article: Nonlinear control

Processes in industries like robotics and the aerospace industry typically have strong nonlinear dynamics. In control theory it is sometimes possible to linearize such classes of systems and apply linear techniques, but in many cases it can be necessary to devise from scratch theories permitting control of nonlinear systems. These, e.g., feedback linearization, backstepping, sliding mode control, trajectory linearization control normally take advantage of results based on Lyapunov's theory. Differential geometry has been widely used as a tool for generalizing well-known linear control concepts to the nonlinear case, as well as showing the subtleties that make it a more challenging problem. Control theory has also been used to decipher the neural mechanism that directs cognitive states.

Decentralized systems control

Main article: Distributed control system

When the system is controlled by multiple controllers, the problem is one of decentralized control. Decentralization is helpful in many ways, for instance, it helps control systems to operate over a larger geographical area. The agents in decentralized control systems can interact using communication channels and coordinate their actions.

Deterministic and stochastic systems control

Main article: Stochastic control

A stochastic control problem is one in which the evolution of the state variables is subjected to random shocks from outside the system. A deterministic control problem is not subject to external random shocks.

Main control strategies

Every control system must guarantee first the stability of the closed-loop behavior. For linear systems, this can be obtained by directly placing the poles. Nonlinear control systems use specific theories (normally based on Aleksandr Lyapunov's Theory) to ensure stability without regard to the inner dynamics of the system. The possibility to fulfill different specifications varies from the model considered and the control strategy chosen.

List of the main control techniques
  • Optimal control is a particular control technique in which the control signal optimizes a certain "cost index": for example, in the case of a satellite, the jet thrusts needed to bring it to desired trajectory that consume the least amount of fuel. Two optimal control design methods have been widely used in industrial applications, as it has been shown they can guarantee closed-loop stability. These are Model Predictive Control (MPC) and linear-quadratic-Gaussian control (LQG). The first can more explicitly take into account constraints on the signals in the system, which is an important feature in many industrial processes. However, the "optimal control" structure in MPC is only a means to achieve such a result, as it does not optimize a true performance index of the closed-loop control system. Together with PID controllers, MPC systems are the most widely used control technique in process control.
  • Robust control deals explicitly with uncertainty in its approach to controller design. Controllers designed using robust control methods tend to be able to cope with small differences between the true system and the nominal model used for design. The early methods of Bode and others were fairly robust; the state-space methods invented in the 1960s and 1970s were sometimes found to lack robustness. Examples of modern robust control techniques include H-infinity loop-shaping developed by Duncan McFarlane and Keith Glover, Sliding mode control (SMC) developed by Vadim Utkin, and safe protocols designed for control of large heterogeneous populations of electric loads in Smart Power Grid applications. Robust methods aim to achieve robust performance and/or stability in the presence of small modeling errors.
  • Stochastic control deals with control design with uncertainty in the model. In typical stochastic control problems, it is assumed that there exist random noise and disturbances in the model and the controller, and the control design must take into account these random deviations.
  • Adaptive control uses on-line identification of the process parameters, or modification of controller gains, thereby obtaining strong robustness properties. Adaptive controls were applied for the first time in the aerospace industry in the 1950s, and have found particular success in that field.
  • A hierarchical control system is a type of control system in which a set of devices and governing software is arranged in a hierarchical tree. When the links in the tree are implemented by a computer network, then that hierarchical control system is also a form of networked control system.
  • Intelligent control uses various AI computing approaches like artificial neural networks, Bayesian probability, fuzzy logic, machine learning, evolutionary computation and genetic algorithms or a combination of these methods, such as neuro-fuzzy algorithms, to control a dynamic system.
  • Self-organized criticality control may be defined as attempts to interfere in the processes by which the self-organized system dissipates energy.

People in systems and control

Main article: People in systems and control

Many active and historical figures made significant contribution to control theory including

See also

Examples of control systems
Topics in control theory
Other related topics

References

  1. Maxwell, J. C. (1868). "On Governors" (PDF). Proceedings of the Royal Society. 100. Archived (PDF) from the original on December 19, 2008.
  2. Minorsky, Nicolas (1922). "Directional stability of automatically steered bodies". Journal of the American Society of Naval Engineers. 34 (2): 280–309. doi:10.1111/j.1559-3584.1922.tb04958.x.
  3. GND. "Katalog der Deutschen Nationalbibliothek (Authority control)". portal.dnb.de. Retrieved December 21, 2024.
  4. Maxwell, J.C. (1868). "On Governors". Proceedings of the Royal Society of London. 16: 270–283. doi:10.1098/rspl.1867.0055. JSTOR 112510.
  5. Fernandez-Cara, E.; Zuazua, E. "Control Theory: History, Mathematical Achievements and Perspectives". Boletin de la Sociedad Espanola de Matematica Aplicada. CiteSeerX 10.1.1.302.5633. ISSN 1575-9822.
  6. Routh, E.J.; Fuller, A.T. (1975). Stability of motion. Taylor & Francis.
  7. Routh, E.J. (1877). A Treatise on the Stability of a Given State of Motion, Particularly Steady Motion: Particularly Steady Motion. Macmillan and co.
  8. Hurwitz, A. (1964). "On The Conditions Under Which An Equation Has Only Roots With Negative Real Parts". Selected Papers on Mathematical Trends in Control Theory.
  9. Flugge-Lotz, Irmgard; Titus, Harold A. (October 1962). "Optimum and Quasi-Optimum Control of Third and Fourth-Order Systems" (PDF). Stanford University Technical Report (134): 8–12. Archived from the original (PDF) on April 27, 2019.
  10. Hallion, Richard P. (1980). Sicherman, Barbara; Green, Carol Hurd; Kantrov, Ilene; Walker, Harriette (eds.). Notable American Women: The Modern Period: A Biographical Dictionary. Cambridge, Mass.: Belknap Press of Harvard University Press. pp. 241–242. ISBN 9781849722704.
  11. "Feedback and control systems" - JJ Di Steffano, AR Stubberud, IJ Williams. Schaums outline series, McGraw-Hill 1967
  12. Mayr, Otto (1970). The Origins of Feedback Control. Clinton, MA US: The Colonial Press, Inc.
  13. Mayr, Otto (1969). The Origins of Feedback Control. Clinton, MA US: The Colonial Press, Inc.
  14. Bechhoefer, John (August 31, 2005). "Feedback for physicists: A tutorial essay on control". Reviews of Modern Physics. 77 (3): 783–836. doi:10.1103/RevModPhys.77.783.
  15. Cao, F. J.; Feito, M. (April 10, 2009). "Thermodynamics of feedback controlled systems". Physical Review E. 79 (4): 041118. arXiv:0805.4824. doi:10.1103/PhysRevE.79.041118.
  16. "trim point".
  17. Donald M Wiberg (1971). State space & linear systems. Schaum's outline series. McGraw Hill. ISBN 978-0-07-070096-3.
  18. Terrell, William (1999). "Some fundamental control theory I: Controllability, observability, and duality —AND— Some fundamental control Theory II: Feedback linearization of single input nonlinear systems". American Mathematical Monthly. 106 (9): 705–719 and 812–828. doi:10.2307/2589614. JSTOR 2589614.
  19. Gu Shi; et al. (2015). "Controllability of structural brain networks (Article Number 8414)". Nature Communications. 6 (6): 8414. arXiv:1406.5197. Bibcode:2015NatCo...6.8414G. doi:10.1038/ncomms9414. PMC 4600713. PMID 26423222. Here we use tools from control and network theories to offer a mechanistic explanation for how the brain moves between cognitive states drawn from the network organization of white matter microstructure
  20. Melby, Paul; et., al. (2002). "Robustness of Adaptation in Controlled Self-Adjusting Chaotic Systems". Fluctuation and Noise Letters. 02 (4): L285–L292. doi:10.1142/S0219477502000919.
  21. N. A. Sinitsyn. S. Kundu, S. Backhaus (2013). "Safe Protocols for Generating Power Pulses with Heterogeneous Populations of Thermostatically Controlled Loads". Energy Conversion and Management. 67: 297–308. arXiv:1211.0248. Bibcode:2013ECM....67..297S. doi:10.1016/j.enconman.2012.11.021. S2CID 32067734.
  22. Liu, Jie; Wilson Wang; Farid Golnaraghi; Eric Kubica (2010). "A novel fuzzy framework for nonlinear system control". Fuzzy Sets and Systems. 161 (21): 2746–2759. doi:10.1016/j.fss.2010.04.009.
  23. Richard Bellman (1964). "Control Theory". Scientific American. Vol. 211, no. 3. pp. 186–200. doi:10.1038/scientificamerican0964-186.

Further reading

For Chemical Engineering
  • Luyben, William (1989). Process Modeling, Simulation, and Control for Chemical Engineers. McGraw Hill. ISBN 978-0-07-039159-8.

External links

Control theory
Branches
System properties
Digital control
Advanced techniques
Controllers
Control applications
Subfields of and cyberneticians involved in cybernetics
Subfields
Cyberneticians
Systems science
System
types
Concepts
Theoretical
fields
Scientists
Applications
Organizations
Major mathematics areas
Foundations
Algebra
Analysis
Discrete
Geometry
Number theory
Topology
Applied
Computational
Related topics
Categories: