Linear system: Difference between revisions

From Citizendium
Jump to navigation Jump to search
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]] which relates a certain set of signals (the ''input'' signals) to another set of signals (the ''output'' signals) in a linear fashion. Here an input signal is 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 can always be classified as being 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 always the most appropriate way of thinking about systems and other formalisms have been developed such as the [[behavioral appoach]] to [[systems theory]]. Nonetheless, there are similar definitions of a linear system within these other formalisms.  
{{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 passivity, which were subsequently generalized to other types of systems, such as [[nonlinear systems|nonlinear systems]].
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 an input output formalism.  
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. Define <math>\mathcal{U}=\{u \mid u:T \rightarrow U\}</math> while the set of output signals belong to the set <math>\mathcal{Y}=\{y \mid y:T \rightarrow Y\}</math>. Then a '''linear system''' ''L'' is simply a ''linear map'' <math>L:\mathcal{U}\rightarrow \mathcal{Y}</math>.
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.), Saddle River, J: Prentice Hall, 1991.
# 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

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.
This article is about linear systems in control engineering. For other uses of the term Linear system, please see Linear system (disambiguation).

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

  1. H. Kwakernaak and R. Sivan, Modern Signals and Systems, Englewood Cliffs, N.J.: Prentice Hall, 1991.
  2. W. Brogan, Modern Control Theory (3 ed.), Englewood Cliffs, N.J.: Prentice Hall, 1991.
  3. K. Ogata, Modern Control Engineering (2 ed.), Lebanon, IN: Prentice Hall, 1990.
  4. 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.