Linear system: Difference between revisions
imported>Hendra I. Nurdin (→Formal definition: Fixed the first sentece) |
mNo edit summary |
||
(16 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
In [[control engineering]], a linear system may be thought of as a [[dynamical system]] | {{subpages}} | ||
{{dambigbox|linear systems in control engineering}} | |||
In [[control engineering]], a '''linear system''' may be thought of as a [[dynamical system]] that relates a certain set of signals (the ''output'' signals) to another set of signals (the ''input'' signals) in a linear fashion. Here an input signal refers to a signal that can be interpreted as ''entering'' the system while an output signal is one which can be interpreted as ''leaving'' the system. This is the definition of a linear system in an ''input-output formalism'' in which signals are assumed to always be classifiable as either an input or an output. Since it is not clear that this distinction between signals is generic to every system, it is debatable whether the input-output formalism is the most appropriate way of thinking about systems. This motivated the development of an alternative formalism known as the [[behavioral approach]] to [[systems theory (engineering)|systems theory]] which focuses on ''trajectories'' of the system rather than on inputs and outputs. Nonetheless, there is a similar definition of a linear system within the latter formalism. | |||
The linearity property of a linear system makes it more amenable to mathematical analysis. For instance, the linear equations describing the system can often be explicitly solved. Therefore, it is the most extensively studied type of system and this has led to the development of key system theoretic concepts, such as observability, controllability and | The linearity property of a linear system makes it more amenable to mathematical analysis. For instance, the linear equations describing the system can often be explicitly solved. Therefore, it is the most extensively studied type of system in the literature and this has led to the development of key system theoretic concepts, such as observability, controllability, detectability and stabilizability, that were subsequently generalized to other types of systems, such as [[nonlinear systems|nonlinear systems]]. | ||
== Formal definition == | == Formal definition == | ||
In this section a formal definition of a linear system will be given in | In this section a formal definition of a linear system will be given in the input output formalism. | ||
Let <math>T \subset \mathbb{R}</math>, <math>U \subset \mathbb{R}^m</math> and <math>Y \subset \mathbb{R}^n</math>, where <math>m,n</math> are positive integers. | Let <math>T \subset \mathbb{R}</math>, <math>U \subset \mathbb{R}^m</math> and <math>Y \subset \mathbb{R}^n</math>, where <math>m,n</math> are positive integers. Denote <math>\mathcal{U}</math> as the set of admissible functions <math>u:T \rightarrow U</math> which can act as input signals, and denote <math>\mathcal{Y}</math> as the set of admissible functions <math>y:T \rightarrow Y</math> which can act as output signals. Admissibility here means that the functions satisfy any additional conditions which may be dictated by the system (such as differentiability or integrability conditions). Then a '''linear system''' ''L'' is simply a ''[[linear map]]'' <math>L:\mathcal{U}\rightarrow \mathcal{Y}</math>. | ||
A map ''L'' from <math>\mathcal{U}</math> to <math>\mathcal{Y}</math> is said to be linear if <math>L(ax+by)=aL(x)+bL(y)</math> for all <math>a,b \in \mathbb{R}</math> and for all <math>x,y \in \mathcal{U}</math> | A map ''L'' from <math>\mathcal{U}</math> to <math>\mathcal{Y}</math> is said to be linear if <math>L(ax+by)=aL(x)+bL(y)</math> for all <math>a,b \in \mathbb{R}</math> and for all <math>x,y \in \mathcal{U}</math> | ||
== References == | == References == | ||
# W. Brogan, ''Modern Control Theory'' (3 ed.), | # H. Kwakernaak and R. Sivan, ''Modern Signals and Systems'', Englewood Cliffs, N.J.: Prentice Hall, 1991. | ||
# W. Brogan, ''Modern Control Theory'' (3 ed.), Englewood Cliffs, N.J.: Prentice Hall, 1991. | |||
# K. Ogata, ''Modern Control Engineering'' (2 ed.), Lebanon, IN: Prentice Hall, 1990. | # K. Ogata, ''Modern Control Engineering'' (2 ed.), Lebanon, IN: Prentice Hall, 1990. | ||
# J. W. Polderman and J. C. Willems, ''Introduction to Mathematical Systems Theory: A Behavioral Approach'' (2 ed.), ser. Texts in Applied Mathematics Vol. 26, Springer, 2007. | # J. W. Polderman and J. C. Willems, ''Introduction to Mathematical Systems Theory: A Behavioral Approach'' (2 ed.), ser. Texts in Applied Mathematics Vol. 26, New York: Springer, 2007.[[Category:Suggestion Bot Tag]] |
Latest revision as of 06:01, 12 September 2024
In control engineering, a linear system may be thought of as a dynamical system that relates a certain set of signals (the output signals) to another set of signals (the input signals) in a linear fashion. Here an input signal refers to a signal that can be interpreted as entering the system while an output signal is one which can be interpreted as leaving the system. This is the definition of a linear system in an input-output formalism in which signals are assumed to always be classifiable as either an input or an output. Since it is not clear that this distinction between signals is generic to every system, it is debatable whether the input-output formalism is the most appropriate way of thinking about systems. This motivated the development of an alternative formalism known as the behavioral approach to systems theory which focuses on trajectories of the system rather than on inputs and outputs. Nonetheless, there is a similar definition of a linear system within the latter formalism.
The linearity property of a linear system makes it more amenable to mathematical analysis. For instance, the linear equations describing the system can often be explicitly solved. Therefore, it is the most extensively studied type of system in the literature and this has led to the development of key system theoretic concepts, such as observability, controllability, detectability and stabilizability, that were subsequently generalized to other types of systems, such as nonlinear systems.
Formal definition
In this section a formal definition of a linear system will be given in the input output formalism.
Let , and , where are positive integers. Denote as the set of admissible functions which can act as input signals, and denote as the set of admissible functions which can act as output signals. Admissibility here means that the functions satisfy any additional conditions which may be dictated by the system (such as differentiability or integrability conditions). Then a linear system L is simply a linear map .
A map L from to is said to be linear if for all and for all
References
- H. Kwakernaak and R. Sivan, Modern Signals and Systems, Englewood Cliffs, N.J.: Prentice Hall, 1991.
- W. Brogan, Modern Control Theory (3 ed.), Englewood Cliffs, N.J.: Prentice Hall, 1991.
- K. Ogata, Modern Control Engineering (2 ed.), Lebanon, IN: Prentice Hall, 1990.
- J. W. Polderman and J. C. Willems, Introduction to Mathematical Systems Theory: A Behavioral Approach (2 ed.), ser. Texts in Applied Mathematics Vol. 26, New York: Springer, 2007.