<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Deep_learning</id>
	<title>Deep learning - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Deep_learning"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Deep_learning&amp;action=history"/>
	<updated>2026-04-09T05:51:15Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Deep_learning&amp;diff=26895&amp;oldid=prev</id>
		<title>en&gt;Giraffedata: comprised of</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Deep_learning&amp;diff=26895&amp;oldid=prev"/>
		<updated>2014-02-03T01:15:48Z</updated>

		<summary type="html">&lt;p&gt;&lt;a href=&quot;/index.php?title=User:Giraffedata/comprised_of&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;User:Giraffedata/comprised of (page does not exist)&quot;&gt;comprised of&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;{{Orphan|date=July 2011}}&lt;br /&gt;
&lt;br /&gt;
In [[control theory]] and in particular when studying the [[controllability]] of a [[linear time-invariant]] system in [[state space]] form, the &amp;#039;&amp;#039;&amp;#039;Hautus lemma&amp;#039;&amp;#039;&amp;#039;, named after [http://www.win.tue.nl/~wscomalo/ Malo Hautus], can prove to be a powerful tool. This result appeared first in &amp;lt;ref&amp;gt;{{cite book|last=Belevitch|first=V.|title=Classical Control Theory|year=1968|publisher=Holden–Day|location=San Francisco}}&amp;lt;/ref&amp;gt; and.&amp;lt;ref&amp;gt;{{cite book|last=Popov|first=V. M.|title=Hyperstability of Control Systems|year=1973|publisher=Springer-Verlag|location=Berlin|pages=320}}&amp;lt;/ref&amp;gt; Today it can be found in most textbooks on control theory.&lt;br /&gt;
&lt;br /&gt;
==The main result==&lt;br /&gt;
The Hautus lemma says that given a square matrix &amp;lt;math&amp;gt;\mathbf{A}\in M_n(\Re)&amp;lt;/math&amp;gt; and a &amp;lt;math&amp;gt;\mathbf{B}\in M_{n\times m}(\Re)&amp;lt;/math&amp;gt; the following are equivalent:&lt;br /&gt;
# The pair &amp;lt;math&amp;gt;(\mathbf{A},\mathbf{B})&amp;lt;/math&amp;gt; is [[controllable]]&lt;br /&gt;
# For all &amp;lt;math&amp;gt;\lambda\in\mathbb{C}&amp;lt;/math&amp;gt; it holds that &amp;lt;math&amp;gt;\operatorname{rank}[\lambda \mathbf{I}-\mathbf{A},\mathbf{B}]=n&amp;lt;/math&amp;gt;&lt;br /&gt;
# For all &amp;lt;math&amp;gt;\lambda\in\mathbb{C}&amp;lt;/math&amp;gt; that are eigenvalues of &amp;lt;math&amp;gt;\mathbf{A}&amp;lt;/math&amp;gt; it holds that &amp;lt;math&amp;gt;\operatorname{rank}[\lambda \mathbf{I}-\mathbf{A},\mathbf{B}]=n&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
*{{cite book|last=Sontag|first=Eduard D.|title=Mathematical Control Theory: Deterministic Finite-Dimensional Systems.|year=1998|publisher=Springer|location=New York|isbn=0-387-98489-5}}&lt;br /&gt;
*{{cite book|last=Zabczyk|first=Jerzy|title=Mathematical Control Theory – An introduction|year=1995|publisher=Birkhauser|location=Boston|isbn=3-7643-3645-5}}&lt;br /&gt;
&lt;br /&gt;
&amp;lt;references/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Category:Control theory]]&lt;br /&gt;
[[Category:Lemmas]]&lt;/div&gt;</summary>
		<author><name>en&gt;Giraffedata</name></author>
	</entry>
</feed>