Li's criterion: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Addbot
m Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q6538608
en>Trappist the monk
m →‎References: replace mr template with mr parameter in CS1 templates; using AWB
 
Line 1: Line 1:
The behavioral approach to [[systems theory]] and [[control theory]] theory was initiated in the late 70's by [[J. C. Willems]] as a result of resolving inconsistencies present in classical approaches based on state-space, transfer function, and convolution representations. This approach is also motivated by the aim of obtaining a general framework for system analysis and control that respects the underlying [[physics]].
Hello, my name is Andrew and my wife doesn't like it at all. She works as a journey agent but soon she'll be on her personal. Alaska is exactly where he's always been living. I am truly fond of handwriting but I can't make it my occupation really.<br><br>Check out my site; best psychics; [http://help.ksu.edu.sa/node/65129 Click Webpage],
 
The main object in the behavioral setting is the behavior --- the set of all signals compatible with the system. An important feature of the behavioral approach is that it does not distinguish a priority between input and output variables. Apart from putting system theory and control on a rigorous basis, the behavioral approach unified the existing approaches and brought new results on [[Controllability#Controllability in the behavioural framework|controllability for nD systems]], control via interconnection
<ref name=control>
J.C. Willems On interconnections, control, and feedback IEEE Transactions on Automatic Control Volume 42, pages 326-339, 1997
Available online http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/1997.4.pdf
</ref>
, and system identification
.<ref name=sysid>
I. Markovsky, J. C. Willems, B. De Moor, and S. Van Huffel. Exact and approximate modeling of linear systems: A behavioral approach. Monograph 13 in “Mathematical Modeling and Computation”, SIAM, 2006.
Available online http://homepages.vub.ac.be/~imarkovs/siam-book.pdf
</ref>
 
== Dynamical system as a set of signals ==
 
In the behavioral setting, a dynamical system is a triple
:<math>\Sigma=(\mathbb{T},\mathbb{W},\mathcal{B})</math>
where
* <math>\mathbb{T}\subseteq\mathbb{R}</math> is the "time set" --- the time instances over which the system evolves,
* <math>\mathbb{W}</math> is the "signal space" --- the set in which the variables whose time evolution is modeled take on their values, and
* <math>\mathcal{B}\subseteq \mathbb{W}^\mathbb{T}</math> the "behavior" --- the set of signals that are compatible with the laws of the system
:(<math>\mathbb{W}^\mathbb{T}</math> denotes the set of all signals, i.e., functions from <math>\mathbb{T}</math> into <math>\mathbb{W}</math>).
<math>w\in\mathcal{B}</math> means that <math>w</math> is a trajectory of the system, while <math>w\notin\mathcal{B}</math> means that the laws of the system forbid the trajectory <math>w</math> to happen. Before the phenomenon is modeled, every signal in <math>\mathbb{W}^\mathbb{T}</math> is deemed possible, while after modeling, only the outcomes in <math>\mathcal{B}</math> remain as possibilities.
 
Special cases:
* <math>\mathbb{T}=\mathbb{R}</math> --- continuous-time systems
* <math>\mathbb{T}=\mathbb{Z}</math> --- discrete-time systems
* <math>\mathbb{W} = \mathbb{R}^q</math> --- most physical systems
* <math>\mathbb{W}</math> a finite set --- discrete event systems
 
== Linear time-invariant differential systems ==
 
System properties are defined in terms of the behavior. The system <math>\Sigma=(\mathbb{T},\mathbb{W},\mathcal{B})</math> is said to be
* "linear" if <math>\mathbb{W}</math> is a vector space and <math>\mathcal{B}</math> is a linear subspace of <math>\mathbb{W}^\mathbb{T}</math>,
* "time-invariant" if the time set consists of the real or natural numbers and
:<math>\sigma^t\mathcal{B} \subseteq\mathcal{B}</math> for all <math>t\in\mathbb{T}</math>,
where <math>\sigma^t</math> denotes the <math>t</math>-shift, defined by
:<math>\sigma^t(f)(t'):=f(t'+t)</math>.  
In these definitions linearity articulates the [[Superposition principle|superposition law]], while time-invariance articulates that the time-shift of a legal trajectory is in its turn a legal trajectory.
 
A "linear time-invariant differential system" is a dynamical system <math>\Sigma=(\mathbb{R},\mathbb{R}^q,\mathcal{B})</math> whose behavior <math>\mathcal{B}\,</math> is the solution set of a system of constant coefficient linear ordinary differential equations <math>R(d/dt) w=0</math>, where <math>R</math> is a [[Polynomial matrix|matrix of polynomials]] with real coefficients. The coefficients of <math>R</math> are the parameters of the model. In order to define the corresponding behavior, we need to specify when we consider a signal <math>w:\mathbb{R}\rightarrow\mathbb{R}^q</math> to be a solution of <math>R(d/dt) w=0</math>. For ease of exposition, often infinite differentiable solutions are considered. There are other possibilities, as taking distributional solutions, or solutions in <math>\mathcal{L}^{\rm local}(\mathbb{R},\mathbb{R}^q)</math>, and with the ordinary differential equations interpreted in the sense of distributions. The behavior defined is
:<math>\mathcal{B} = \{ w\in\mathcal{C}^\infty(\mathbb{R},\mathbb{R}^q) ~ | ~  R(d/dt) w(t) = 0 \text{ for all } t\in\mathbb{R}\}.</math>
This particular way of representing the system is called "kernel representation" of the corresponding dynamical system. There are many other useful representations of the same behavior, including transfer function, state space, and convolution.
 
For accessible sources regarding the behavioral approach, see
<ref name=PW98>
J. Polderman and J. C. Willems. "Introduction to Mathematical Systems Theory". Springer-Verlag, New York, 1998. Available online http://wwwhome.math.utwente.nl/~poldermanjw/onderwijs/DISC/mathmod/book.pdf.
</ref>
.<ref name=W07>
J. C. Willems. The behavioral approach to open and interconnected systems: Modeling by tearing, zooming, and linking. "Control Systems Magazine", 27:46–99, 2007. Available online http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/2007.1.pdf.
</ref>
 
== Observability of latent variables ==
 
A key question of the behavioral approach is whether a quantity w1 can be deduced given an observed quantity w2 and a [[Model (abstract)|model]]. If w1 can be deduced given w2 and the model, w2 is said to be [[observability|observable]]. In terms of mathematical modeling, the to-be-deduced quantity or [[Variable (mathematics)|variable]] is often referred to as the [[latent variable]] and the observed variable is the manifest variable. Such a system is then called an observable (latent variable) system.
 
== References ==
 
{{reflist}}
 
== Additional sources ==
 
Paolo Rapisarda and Jan C.Willems, 2006. [http://www-ics.acs.i.kyoto-u.ac.jp/mtns06/abstracts/rw2.pdf ''Recent Developments in Behavioral System Theory''], July 24–28, 2006, MTNS 2006, Kyoto, Japan
 
J.C. Willems. [http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/2010.1.pdf Terminals and ports.] IEEE Circuits and Systems Magazine Volume 10, issue 4, pages 8–16, December 2010
 
J.C. Willems and H.L. Trentelman. [http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/1998.1.pdf On quadratic differential forms.]  SIAM Journal on Control and Optimization Volume 36, pages 1702-1749, 1998
 
J.C. Willems. [http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/1991.4.pdf Paradigms and puzzles in the theory of dynamical systems.]  IEEE Transactions on Automatic Control Volume 36, pages 259-294, 1991
 
J.C. Willems. [http://homes.esat.kuleuven.be/~jwillems/Articles/JournalArticles/1989.1.pdf Models for dynamics.] Dynamics Reported Volume 2, pages 171-269, 1989
 
[[Category:Systems theory]]
[[Category:Dynamical systems]]

Latest revision as of 02:26, 25 September 2014

Hello, my name is Andrew and my wife doesn't like it at all. She works as a journey agent but soon she'll be on her personal. Alaska is exactly where he's always been living. I am truly fond of handwriting but I can't make it my occupation really.

Check out my site; best psychics; Click Webpage,