<?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>BIBO Stability</name>

  <metadata>
  <md:version>2.9</md:version>
  <md:created>2001/06/19 19:00:00 GMT-5</md:created>
  <md:revised>2006/07/19 16:59:03.045 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:authorlist>

  <md:maintainerlist>
    <md:maintainer id="jrom">
      <md:firstname>Justin</md:firstname>
      
      <md:surname>Romberg</md:surname>
      <md:email>jrom@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer 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:maintainer>
    <md:maintainer id="mjhaag">
      <md:firstname>Michael</md:firstname>
      
      <md:surname>Haag</md:surname>
      <md:email>mjhaag@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="mariyah">
      <md:firstname>Mariyah</md:firstname>
      
      <md:surname>Poonawala</md:surname>
      <md:email>mariyah@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="prash">
      <md:firstname>Prashant</md:firstname>
      
      <md:surname>Singh</md:surname>
      <md:email>prash@ece.rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="mhutch">
      <md:firstname>Matthew</md:firstname>
      
      <md:surname>Hutchinson</md:surname>
      <md:email>mhutch@rice.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>Explains bounded input, bounded output stability.</md:abstract>
</metadata>

  <content>

    <para id="para1">
      BIBO stands for bounded input, bounded output.  BIBO stable is a
      condition such that any bounded input yields a bounded output.
      This is to say that as long as we input a stable signal, we are
      guaranteed to have a stable output.
    </para>

    <para id="para2">
      In order to understand this concept, we must first look more
      closely into exactly what we mean by bounded.  A bounded signal
      is any signal such that there exists a value such that the
      absolute value of the signal is never greater than some value.
      Since this value is arbitrary, what we mean is that at no point
      can the signal tend to infinity.
    </para>

    <figure id="fig1">
      <media type="image/png" src="bibo.png"/>
      <caption>
	A bounded signal is a signal for which there exists a constant
	<m:math>
	  <m:ci>A</m:ci>
	</m:math>
	such that
	<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">
      Once we have identified what it means for a signal to be
      bounded, we must turn our attention to the condition a system
      must posess in order to guarantee that if any bounded signal is
      passed through the system, a bounded signal will arise on the
      output.  It turns out that a continuous-time <cnxn document="m10084">LTI</cnxn> 
      system with impulse response
      <m:math>
	<m:apply>
	  <m:ci type="fn">h</m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math>
      is BIBO stable <emphasis>if and only if</emphasis> 

      <equation id="eqn1">
	<name>Continuous-Time Condition for BIBO Stability</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>
      This is to say that the transfer function is <emphasis>absolutely
	integrable</emphasis>.
    </para>

    <para id="para4">
      To extend this concept to discrete-time, we make the standard
      transition from integration to summation and get that the
      transfer function,
      <m:math>
	<m:apply>
	  <m:ci type="fn">h</m:ci>
	  <m:ci>n</m:ci>
	</m:apply>
      </m:math>,
      must be <emphasis>absolutely summable</emphasis>.  That is

      <equation id="eqn2">
	<name>Discrete-Time Condition for BIBO Stability</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>Stability and Laplace</name>
      <para id="para5">
	Stability is very easy to infer from the <cnxn document="m10112">pole-zero plot</cnxn> 
	of a transfer function.
	The only condition necessary to demonstrate stability is to
	show that the 
	<m:math>
	  <m:apply>
	    <m:times/>
	    <m:imaginaryi/>
	    <m:ci>ω</m:ci>
	  </m:apply>
	</m:math>-axis is in the region of convergence.
      </para>

      <figure id="fig2" orient="horizontal">
	<subfigure id="fig2a">
	  <media type="image/png" src="bibo2.png"/>
	  <caption>
	    Example of a pole-zero plot for a stable continuous-time
	    system.</caption>
	</subfigure>
	<subfigure id="fig2b">
	  <media type="image/png" src="bibo3.png"/>
	  <caption>
	    Example of a pole-zero plot for an unstable
	    continuous-time system.</caption>
	</subfigure>
      </figure>
    </section>

    <section id="sect2">
      <name>Stability and the Z-Transform</name>
      <para id="para6">
	Stability for <cnxn strength="5" document="m10057">discrete-time
	signals</cnxn> in the <cnxn strength="5" document="m10549">z-domain</cnxn> is about as easy to
	demonstrate as it is for continuous-time signals in the
	Laplace domain.  However, instead of the region of convergence
	needing to contain the 
	<m:math>
	  <m:apply>
	    <m:times/>
	    <m:imaginaryi/>
	    <m:ci>ω</m:ci>
	  </m:apply>
	</m:math>-axis, the ROC must contain the
	unit circle.
      </para>
      <figure id="fig3" orient="horizontal">
	<subfigure id="fig3a">
	  <media type="image/png" src="bibo4.png"/>
	  <caption>A stable discrete-time system.</caption>
	</subfigure>
	<subfigure id="fig3b">
	  <media type="image/png" src="bibo5.png"/>
	  <caption>An unstable discrete-time system.</caption>
	</subfigure>
      </figure>




    </section><para id="element-604"><media type="application/x-labviewrpvi80" src="BIBO.llb">
		<param name="lvfppviname" value="Stability of Systems.vi"/>
		<param name="width" value="675"/>
		<param name="height" value="450"/>
	</media></para>

  </content>
</document>
