Control theory is a field of 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
Charles is a masculine given name predominantly found in English and French speaking countries. It is from the French form ''Charles'' of the Proto-Germanic name (in runic alphabet) or ''*karilaz'' (in Latin alphabet), whose meaning was " ...
and in 1895,
Adolf Hurwitz
Adolf Hurwitz (; 26 March 1859 – 18 November 1919) was a German mathematician who worked on algebra, analysis, geometry and number theory.
Early life
He was born in Hildesheim, then part of the Kingdom of Hanover, to a Jewish family and died ...
, who all contributed to the establishment of control stability criteria; and from 1922 onwards, the development of
PID control theory by
Nicolas Minorsky
Nicolas Minorsky (born Nikolai Fyodorovich Minorsky, russian: Николай Федорович Минорский; , Korcheva, Russian Empire – 31 July 1970, Italy) was a Russian American control theory mathematician, engineer. and appli ...
.
Although a major application of
mathematical control theory is in
control systems engineering, which deals with the design of
process control
An industrial process control in continuous production processes is a discipline that uses industrial control systems to achieve a production level of consistency, economy and safety which could not be achieved purely by human manual control. I ...
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

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
Adolf Hurwitz (; 26 March 1859 – 18 November 1919) was a German mathematician who worked on algebra, analysis, geometry and number theory.
Early life
He was born in Hildesheim, then part of the Kingdom of Hanover, to a Jewish family and died ...
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 system
A fire-control system (FCS) is a number of components working together, usually a gun data computer, a director, and radar, which is designed to assist a ranged weapon system to target, track, and hit a target. It performs the same task as a ...
s,
guidance system
A guidance system is a virtual or physical device, or a group of devices implementing a controlling the movement of a ship, aircraft, missile, rocket, satellite, or any other moving object. Guidance is the process of calculating the changes in po ...
s 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

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.
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."
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."
Other examples
An example of a control system is a car's
cruise control, 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
throttle 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 ''
open-loop controller'' because there is no
feedback
Feedback occurs when outputs of a system are routed back as inputs as part of a chain of cause-and-effect that forms a circuit or loop. The system can then be said to ''feed back'' into itself. The notion of cause-and-effect has to be handled ...
; 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 ''
closed-loop control system'', 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
To overcome the limitations of the
open-loop controller, control theory introduces
feedback
Feedback occurs when outputs of a system are routed back as inputs as part of a chain of cause-and-effect that forms a circuit or loop. The system can then be said to ''feed back'' into itself. The notion of cause-and-effect has to be handled ...
.
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
sensor
A sensor is a device that produces an output signal for the purpose of sensing a physical phenomenon.
In the broadest definition, a sensor is a device, module, machine, or subsystem that detects events or changes in its environment and sends ...
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
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
In some systems, closed-loop and open-loop control are used simultaneously. In such systems, the open-loop control is termed
feedforward
Feedforward is the provision of context of what one wants to communicate prior to that communication. In purposeful activity, feedforward creates an expectation which the actor anticipates. When expected experience occurs, this provides confirmato ...
and serves to further improve reference tracking performance.
A common closed-loop controller architecture is the
PID controller.
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
vectors instead of simple
scalar
Scalar may refer to:
*Scalar (mathematics), an element of a field, which is used to define a vector space, usually the field of real numbers
* Scalar (physics), a physical quantity that can be described by a single element of a number field such ...
values. For some
distributed parameter systems the vectors may be infinite-
dimensional
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coordi ...
(typically functions).

If we assume the controller ''C'', the plant ''P'', and the sensor ''F'' are
linear and
time-invariant (i.e., elements of their
transfer function ''C''(''s''), ''P''(''s''), and ''F''(''s'') do not depend on time), the systems above can be analysed using the
Laplace transform on the variables. This gives the following relations:
:
:
:
Solving for ''Y''(''s'') in terms of ''R''(''s'') gives
:
The expression
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
, i.e., it has a large
norm with each value of ''s'', and if
, then ''Y''(''s'') is approximately equal to ''R''(''s'') and the output closely tracks the reference input.
PID feedback control

A proportional–integral–derivative controller (PID controller) is a
control loop feedback mechanism control technique widely used in control systems.
A PID controller continuously calculates an ''error value'' as the difference between a desired
setpoint and a measured
process variable and applies a correction based on
proportional
Proportionality, proportion or proportional may refer to:
Mathematics
* Proportionality (mathematics), the property of two variables being in a multiplicative relation to a constant
* Ratio, of one quantity to another, especially of a part compare ...
,
integral, and
derivative 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 is the control signal sent to the system, is the measured output and is the desired output, and is the tracking error, a PID controller has the general form
:
The desired closed loop dynamics is obtained by adjusting the three parameters , and , 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
process control
An industrial process control in continuous production processes is a discipline that uses industrial control systems to achieve a production level of consistency, economy and safety which could not be achieved purely by human manual control. I ...
). 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
MIMO systems are considered.
Applying
Laplace transformation results in the transformed PID controller equation
:
:
with the PID controller transfer function
:
As an example of tuning a PID controller in the closed-loop system , consider a 1st order plant given by
:
where and are some constants. The plant output is fed back through
:
where is also a constant. Now if we set
, , and
, we can express the PID controller transfer function in series form as
:
Plugging , , and into the closed-loop transfer function , we find that by setting
:
. 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 due to amplification of noise and resonant modes in the system. Therefore, a
phase-lead compensator type approach or a differentiator with low-pass roll-off are used instead.
Linear and nonlinear control theory
The field of control theory can be divided into two branches:
* ''
Linear control theory'' – This applies to systems made of devices which obey the
superposition principle
The superposition principle, also known as superposition property, states that, for all linear systems, the net response caused by two or more stimuli is the sum of the responses that would have been caused by each stimulus individually. So tha ...
, which means roughly that the output is proportional to the input. They are governed by
linear differential equations. A major subclass is systems which in addition have parameters which do not change with time, called ''
linear time invariant'' (LTI) systems. These systems are amenable to powerful
frequency domain mathematical techniques of great generality, such as the
Laplace transform,
Fourier transform
A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
,
Z transform,
Bode plot,
root locus, and
Nyquist stability criterion. These lead to a description of the system using terms like
bandwidth,
frequency response,
eigenvalues,
gain
Gain or GAIN may refer to:
Science and technology
* Gain (electronics), an electronics and signal processing term
* Antenna gain
* Gain (laser), the amplification involved in laser emission
* Gain (projection screens)
* Information gain in de ...
,
resonant frequencies,
zeros and poles, which give solutions for system response and design techniques for most systems of interest.
* ''
Nonlinear control theory'' – This covers a wider class of systems that do not obey the superposition principle, and applies to more real-world systems because all real control systems are nonlinear. These systems are often governed by
nonlinear differential equations. The few mathematical techniques which have been developed to handle them are more difficult and much less general, often applying only to narrow categories of systems. These include
limit cycle theory,
Poincaré map
In mathematics, particularly in dynamical systems, a first recurrence map or Poincaré map, named after Henri Poincaré, is the intersection of a periodic orbit in the state space of a continuous dynamical system with a certain lower-dimensional ...
s,
Lyapunov stability theorem, and
describing functions. Nonlinear systems are often analyzed using
numerical method
In numerical analysis, a numerical method is a mathematical tool designed to solve numerical problems. The implementation of a numerical method with an appropriate convergence check in a programming language is called a numerical algorithm.
Mathem ...
s on computers, for example by
simulating
A simulation is the imitation of the operation of a real-world process or system over time. Simulations require the use of models; the model represents the key characteristics or behaviors of the selected system or process, whereas the s ...
their operation using a
simulation language. If only solutions near a stable point are of interest, nonlinear systems can often be
linearized by approximating them by a linear system using
perturbation theory, and linear techniques can be used.
Analysis techniques - frequency domain and time domain
Mathematical techniques for analyzing and designing control systems fall into two different categories:
* ''
Frequency domain'' – In this type the values of the
state variables, the mathematical
variables representing the system's input, output and feedback are represented as functions of
frequency. The input signal and the system's
transfer function are converted from time functions to functions of frequency by a
transform such as the
Fourier transform
A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
,
Laplace transform, or
Z transform. The advantage of this technique is that it results in a simplification of the mathematics; the ''
differential equations'' that represent the system are replaced by ''
algebraic equations'' in the frequency domain which is much simpler to solve. However, frequency domain techniques can only be used with linear systems, as mentioned above.
* ''
Time-domain state space representation'' – In this type the values of the
state variables are represented as functions of time. With this model, the system being analyzed is represented by one or more
differential equations. Since frequency domain techniques are limited to
linear 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
simulation languages have made their analysis routine.
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
An actuator is a component of a machine that is responsible for moving and controlling a mechanism or system, for example by opening a valve. In simple terms, it is a "mover".
An actuator requires a control device (controlled by control signal) a ...
. The shape of the entire mirror is constantly adjusted by a MIMO
active optics
Active optics is a technology used with reflecting telescopes developed in the 1980s, which actively shapes a telescope's mirrors to prevent deformation due to external influences such as wind, temperature, and mechanical stress. Without active op ...
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
Cell most often refers to:
* Cell (biology), the functional basic unit of life
Cell may also refer to:
Locations
* Monastic cell, a small room, hut, or cave in which a religious recluse lives, alternatively the small precursor of a monastery w ...
are simulated by a computer as large MIMO control systems.
Topics in control theory
Stability
The ''stability'' of a general
dynamical system with no input can be described with
Lyapunov stability criteria.
*A
linear system is called
bounded-input bounded-output (BIBO) stable if its output will stay
bounded
Boundedness or bounded may refer to:
Economics
* Bounded rationality, the idea that human rationality in decision-making is bounded by the available information, the cognitive limitations, and the time available to make the decision
* Bounded e ...
for any bounded input.
*Stability for
nonlinear system
In mathematics and science, a nonlinear system is a system in which the change of the output is not proportional to the change of the input. Nonlinear problems are of interest to engineers, biologists, physicists, mathematicians, and many other ...
s that take an input is
input-to-state stability (ISS), which combines Lyapunov stability and a notion similar to BIBO stability.
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
Poles,, ; singular masculine: ''Polak'', singular feminine: ''Polka'' or Polish people, are a West Slavic nation and ethnic group, who share a common history, culture, the Polish language and are identified with the country of Poland in Ce ...
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
* in the open left half of the
complex plane
In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by the ...
for continuous time, when the
Laplace transform is used to obtain the transfer function.
* inside the
unit circle for discrete time, when the
Z-transform is used.
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
A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
where the
axis is the real axis and the discrete Z-transform is in
circular coordinates where the
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
In signal processing and control theory, the impulse response, or impulse response function (IRF), of a dynamic system is its output when presented with a brief input signal, called an Dirac delta function, impulse (). More generally, an impulse ...
of
: