<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE document PUBLIC "-//CNX//DTD CNXML 0.5 plus MathML//EN" "http://cnx.rice.edu/cnxml/0.5/DTD/cnxml_mathml.dtd">
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:bib="http://bibtexml.sf.net/" id="m10113">

  <name>Estabilidad BIBO</name>

  <metadata>
  <md:version>1.2</md:version>
  <md:created>2005/06/08 18:01:09 GMT-5</md:created>
  <md:revised>2005/06/29 11:58:21 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="richb">
      <md:firstname>Richard</md:firstname>
      <md:othername>G.</md:othername>
      <md:surname>Baraniuk</md:surname>
      <md:email>richb@rice.edu</md:email>
    </md:author>
      <md:author id="erikaj">
      <md:firstname>Erika</md:firstname>
      <md:othername>Sarait</md:othername>
      <md:surname>Jackson</md:surname>
      <md:email>erikaj@utep.edu</md:email>
    </md:author>
      <md:author id="fpmeza">
      <md:firstname>Fara</md:firstname>
      <md:othername>P.</md:othername>
      <md:surname>Meza</md:surname>
      <md:email>fpmeza@utep.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="erikaj">
      <md:firstname>Erika</md:firstname>
      <md:othername>Sarait</md:othername>
      <md:surname>Jackson</md:surname>
      <md:email>erikaj@utep.edu</md:email>
    </md:maintainer>
    <md:maintainer id="fpmeza">
      <md:firstname>Fara</md:firstname>
      <md:othername>P.</md:othername>
      <md:surname>Meza</md:surname>
      <md:email>fpmeza@utep.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>BIBO</md:keyword>
    <md:keyword>bounded input bounded output</md:keyword>
    <md:keyword>continuous time</md:keyword>
    <md:keyword>discrete time</md:keyword>
    <md:keyword>laplace transform</md:keyword>
    <md:keyword>pole</md:keyword>
    <md:keyword>signals</md:keyword>
    <md:keyword>stability</md:keyword>
    <md:keyword>systems</md:keyword>
    <md:keyword>z transform</md:keyword>
    <md:keyword>zero</md:keyword>
  </md:keywordlist>

  <md:abstract>Explica las estabilidad de entrada acotada, salida acotada.</md:abstract>
</metadata>

  <content>

    <para id="para1">
BIBO es para entrada acotada, salida acotada (bounded input, bounded output). BIBO estable es una condición, tal que cualquier entrada acotada nos da una salida acotada. Esto es que conforme nosotros pongamos una entrada estable, nos garantiza obtener una salida estable.
    </para>

    <para id="para2">
Para entender este concepto, primero debemos ver que significa exactamente acotado. Una señal acotada es cualquier señal tal que existe un valor donde el valor absoluto de la señal nunca es mayor para algún  valor. Ya que el valor es arbitrario, lo que queremos decir es que en ningún punto la señal puede tender a infinito.
    </para>

    <figure id="fig1">
	<media type="image/png" src="bibo.png"/>
	<caption>
	Una señal acotada es una señal para la cual existe un constante 	<m:math>
			<m:ci>A</m:ci>
		</m:math>
	tal que
	<m:math>
			<m:apply>
				<m:forall/>
				<m:bvar><m:ci>t</m:ci></m:bvar>
				<m:apply>
					<m:lt/>
					<m:apply>
						<m:abs/>
						<m:apply>
							<m:ci type="fn">f</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</m:apply>
					<m:ci>A</m:ci>
				</m:apply>
			</m:apply>
		</m:math>
	</caption>
</figure>

    <para id="para3">
     Una vez que ya tenemos identificado lo que significa una señal acotada, debemos mover nuestra atención a la condición que un sistema debe poseer para garantizar  que si una señal pasa a través del sistema, una señal acotada se presentara en la salida. Resulta que un sistema <cnxn document="m12822">LTI</cnxn> 
      continuo en el tiempo con una respuesta al impulso 
      <m:math>
		<m:apply>
			<m:ci type="fn">h</m:ci>
			<m:ci>t</m:ci>
		</m:apply>
	</m:math>
      es estabilidad BIBO  <emphasis>si y solo si </emphasis>
	<equation id="eqn1">
		<name>Condición de Tiempo-Continuo para Estabilidad BIBO</name>
		<m:math>
			<m:apply>
				<m:lt/>
				<m:apply>
					<m:int/>
					<m:bvar>
						<m:ci>t</m:ci>
					</m:bvar>
					<m:lowlimit>
						<m:apply>
							<m:minus/>
							<m:infinity/>
						</m:apply>
					</m:lowlimit>
					<m:uplimit>
						<m:infinity/>
					</m:uplimit>
					<m:apply>
						<m:abs/>
						<m:apply>
							<m:ci type="fn">h</m:ci>
							<m:ci>t</m:ci>
						</m:apply>
					</m:apply>
				</m:apply>
				<m:infinity/>
			</m:apply>
		</m:math>
	</equation>
      Esto es decir que la función de transferencia es <emphasis>absolutamente integrable</emphasis>.
    </para>

    <para id="para4">
       Extendiendo este concepto a tiempo- discreto tomamos la transición  estándar de integración a sumatoria y obtenemos la función de transferencia     <m:math>
		<m:apply>
			<m:ci type="fn">h</m:ci>
			<m:ci>n</m:ci>
		</m:apply>
	</m:math>,
      que debe ser <emphasis>absolutamente sumable</emphasis>.  Esto es
      <equation id="eqn2">
		<name>Condición de Tiempo-Discreto para Estabilidad BIBO </name>
		<m:math>
			<m:apply>
				<m:lt/>
				<m:apply>
					<m:sum/>
					<m:bvar>
						<m:ci>n</m:ci>
					</m:bvar>
					<m:lowlimit>
						<m:apply>
							<m:minus/>
							<m:infinity/>
						</m:apply>
					</m:lowlimit>
					<m:uplimit>
						<m:infinity/>
					</m:uplimit>
					<m:apply>
						<m:abs/>
						<m:apply>
							<m:ci type="fn">h</m:ci>
							<m:ci>n</m:ci>
						</m:apply>
					</m:apply>
				</m:apply>
				<m:infinity/>
			</m:apply>
		</m:math>
	</equation>
</para>

    <section id="sect1">
      <name>Estabilidad y Laplace</name>
      <para id="para5">
	 La estabilidad es muy fácil de deducir desde la  <cnxn document="m12963">gráfica de polos y ceros </cnxn> 
	de una función de transferencia. 	La única condición necesaria para demostrar la estabilidad es demostrar que el eje-<m:math>
		<m:apply>
			<m:times/>
			<m:imaginaryi/>
			<m:ci>ω</m:ci>
		</m:apply>
	</m:math> es en la región de convergencia
      </para>

      <figure id="fig2" orient="horizontal">
	<subfigure id="fig2a">
		<media type="image/png" src="bibo2.png"/>
		<caption>
	    Ejemplo de una gráfica de polos y ceros para un sistema estable de tiempo-continuo.</caption>
	</subfigure>
	<subfigure id="fig2b">
		<media type="image/png" src="bibo3.png"/>
		<caption>
	    Ejemplo de una gráfica de polos y ceros para un sistema inestable de tiempo continuo.</caption>
	</subfigure>
</figure>
    </section>

    <section id="sect2">
      <name>Estabilidad y la Transformada Z</name>
      <para id="para6">
	   La estabilidad para las <cnxn strength="5" document="m12818">señales de tiempo-discreto </cnxn> en el <cnxn strength="5" document="m12951">dominio-z</cnxn> es tan fácil de demostrar como lo es para las señales de tiempo-continuo en el domino Laplace.   Sin embargo en lugar de la región de convergencia ROC (region of convergence) necesaria para contener el eje-<m:math>
		<m:apply>
			<m:times/>
			<m:imaginaryi/>
			<m:ci>ω</m:ci>
		</m:apply>
	</m:math>, la ROC debe contener el círculo unitario.</para>
      <figure id="fig3" orient="horizontal">
	<subfigure id="fig3a">
		<media type="image/png" src="bibo4.png"/>
		<caption>Un sistema estable de tiempo-discreto.</caption>
	</subfigure>
	<subfigure id="fig3b">
		<media type="image/png" src="bibo5.png"/>
		<caption>Un sistema inestable de tiempo-discreto.</caption>
	</subfigure>
</figure>
    </section>

  </content>
</document>
