<?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="m2102">
  
  <name>Properties of Systems</name>
  
  <metadata>
  <md:version>2.16</md:version>
  <md:created>2000/12/29</md:created>
  <md:revised>2003/07/24 11:07:55.987 GMT-5</md:revised>
  <md:authorlist>
    <md:author id="aca">
      <md:firstname>Thanos</md:firstname>
      
      <md:surname>Antoulas</md:surname>
      <md:email>aca@rice.edu</md:email>
    </md:author>
    <md:author id="jps">
      <md:firstname>John</md:firstname>
      <md:othername>Paul</md:othername>
      <md:surname>Slavinsky</md:surname>
      <md:email>jps@alumni.rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="lizychan">
      <md:firstname>Elizabeth</md:firstname>
      
      <md:surname>Chan</md:surname>
      <md:email>lizychan@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="aca">
      <md:firstname>Thanos</md:firstname>
      
      <md:surname>Antoulas</md:surname>
      <md:email>aca@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="jps">
      <md:firstname>John</md:firstname>
      <md:othername>Paul</md:othername>
      <md:surname>Slavinsky</md:surname>
      <md:email>jps@alumni.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="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:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>cascade</md:keyword>
    <md:keyword>parallel</md:keyword>
    <md:keyword>linear</md:keyword>
    <md:keyword>time-invariant</md:keyword>
    <md:keyword>superposition</md:keyword>
    <md:keyword>causal</md:keyword>
  </md:keywordlist>

  <md:abstract>Properties of different types of systems</md:abstract>
</metadata>


  
  <!-- End Header ******************************* -->
  <!-- ****************************************** -->
  
  <content>
    <section id="linear_sys"><name>Linear Systems</name>
      
      <para id="p0">
	If a system is linear, this means that when an input to a given system is scaled 
	by a value, the output of the system is scaled by the same amount.
      </para>
      
      <figure id="linear_scaling" orient="horizontal">
	<name>Linear Scaling</name>
	<subfigure id="LSa">
	  <media type="image/png" src="xLy.png"/>
	</subfigure>
	<subfigure id="LSb">
	  <media type="image/png" src="axLay.png"/>
	</subfigure>
      </figure>
      
      <para id="p1">In <cnxn target="LSa"/> above, an input <m:math><m:ci>x</m:ci></m:math> to the
	linear system <m:math><m:ci>L</m:ci></m:math> gives the output <m:math><m:ci>y</m:ci></m:math>. If <m:math><m:ci>x</m:ci></m:math> is scaled by a value <m:math><m:ci>α</m:ci></m:math> 
	and passed through this same system, as in <cnxn target="LSb"/>, the output 
	will also be scaled by <m:math><m:ci>α</m:ci></m:math>.
      </para>
      
      <para id="p2">A linear system also obeys the principle of superposition.  This 
	means that if two inputs are added together and passed through a linear system, 
	the output will be the sum of the individual inputs' outputs.</para>
      
      <figure id="superpositiona" orient="horizontal">
	<subfigure id="superpositiona1">
	  <media type="image/png" src="x1Ly1.png"/>
	</subfigure>
	<subfigure id="superpositiona2">
	  <media type="image/png" src="x2Ly2.png"/>
	</subfigure>
      </figure>
      
      <figure id="superpositionb">
	<name>Superposition Principle</name>
	<media type="image/png" src="x1y1Lx2y2.png"/>
	<caption>If <cnxn target="superpositiona"/> is true, then the principle of 
	  superposition says that <cnxn target="superpositionb"/> is true as well.  This holds for
	  linear systems.</caption>
      </figure>
      
      <para id="p3">That is, if <cnxn target="superpositiona"/> is true, then 
	<cnxn target="superpositionb"/> is also true for a linear system.  The scaling property mentioned
	above still holds in conjunction with the superposition principle.  Therefore, 
	if the inputs x and y are scaled by factors α and β, respectively, then the 
	sum of these scaled inputs will give the sum of the individual scaled outputs:</para>
      
      <figure id="superposition_and_linearitya" orient="horizontal">
	<subfigure id="superposition_and_linearitya1">
	  <media type="image/png" src="ax1Lay1.png"/>
	</subfigure>
	<subfigure id="superposition_and_linearitya2">
	  <media type="image/png" src="bx2Lby2.png"/>
	</subfigure>
      </figure>

      <figure id="superposition_and_linearityb">
     	<name>Superposition Principle with Linear Scaling</name>
	<media type="image/png" src="ax1bx2Lay1by2.png"/>
	<caption>Given <cnxn target="superposition_and_linearitya"/> for a linear system, 
	  <cnxn target="superposition_and_linearityb"/> holds as well.</caption>
      </figure>
      
    </section>
    
    <section id="ti_sys">
      <name>Time-Invariant Systems</name>
      
      <para id="p4">A time-invariant system has the property that a certain input will 
	always give the same output, without regard to when the input was applied to the system.</para>
      
      <figure id="time-invariance" orient="horizontal">
	<name>Time-Invariant Systems</name>
	<subfigure id="tia">
	  <media type="image/png" src="xtTIyt.png"/>
	</subfigure>
	<subfigure id="tib">
	  <media type="image/png" src="xttoTIytto.png"/>
	</subfigure>
	<caption><cnxn target="tia"/> shows an input at time <m:math><m:ci>t</m:ci></m:math>  while <cnxn target="tib"/>
	  shows the same input <m:math><m:ci><m:msub><m:mi>t</m:mi><m:mn>0</m:mn></m:msub></m:ci></m:math> 
	  seconds later. In a time-invariant system both outputs would be identical except 
	  that the one in <cnxn target="tib"/> would be
	  delayed by <m:math><m:ci><m:msub><m:mi>t</m:mi><m:mn>0</m:mn></m:msub></m:ci></m:math>.
	</caption>
      </figure>
      
      <para id="p5">In this figure, 
	<m:math><m:apply><m:ci type="fn">x</m:ci><m:ci>t</m:ci></m:apply></m:math>
	and
	<m:math>
	  <m:apply><m:ci type="fn">x</m:ci><m:apply><m:minus/><m:ci>t</m:ci><m:ci><m:msub><m:mi>t</m:mi><m:mn>0</m:mn></m:msub></m:ci></m:apply></m:apply>
	</m:math>
	are passed through the system TI. Because the system TI is time-invariant, the inputs
	<m:math><m:apply><m:ci type="fn">x</m:ci><m:ci>t</m:ci></m:apply></m:math>
	and
	<m:math>
	  <m:apply><m:ci type="fn">x</m:ci><m:apply><m:minus/><m:ci>t</m:ci><m:ci><m:msub><m:mi>t</m:mi><m:mn>0</m:mn></m:msub></m:ci></m:apply></m:apply>
	</m:math>
	produce the same output.  The only difference is that the output due to
	<m:math>
	  <m:apply><m:ci type="fn">x</m:ci><m:apply><m:minus/><m:ci>t</m:ci><m:ci><m:msub><m:mi>t</m:mi><m:mn>0</m:mn></m:msub></m:ci></m:apply></m:apply>
	</m:math>
	is shifted by a time
	<m:math><m:ci><m:msub><m:mi>t</m:mi><m:mn>0</m:mn></m:msub></m:ci></m:math>.</para>
      
      <para id="p6">Whether a system is time-invariant or time-varying can be seen 
	in the differential equation (or difference equation) describing it.  
	<emphasis>Time-invariant systems are modeled with constant coefficient equations</emphasis>. 
	A constant coefficient differential (or difference) equation means that the parameters of the
	system are <emphasis>not</emphasis> changing over time and an input now will give the same 
	result as the same input later.</para>
      
    </section>
    
    <section id="lti_sys">
      <name>Linear Time-Invariant (LTI) Systems</name>
      
      <para id="p7">Certain systems are both linear and time-invariant, and are thus referred 
	to as LTI systems.</para>
      
      <figure id="lti_fig" orient="horizontal">
	<name>Linear Time-Invariant Systems</name>
	<subfigure id="ltia">
	  <media type="image/png" src="xtLTIyt.png"/>
	</subfigure>
	<subfigure id="ltib">
	  <media type="image/png" src="axttoLTIaytto.png"/>
	</subfigure>
	<caption>This is a combination of the two cases above.  Since the input to 
	  <cnxn target="ltib"/> is a scaled, time-shifted
	  version of the input in <cnxn target="ltia"/>, so is the output.</caption>
      </figure>
      
      <para id="p8">As LTI systems are a subset of linear systems, they obey the principle of 
	superposition.  In the figure below, we see the effect of applying time-invariance 
	to the superposition definition in the linear
	systems section above.</para>
      
      <figure id="lti_superposna" orient="horizontal">
	<subfigure id="lti_superposna1">
	  <media type="image/png" src="x1tLTIy1t.png"/>
	</subfigure>
	<subfigure id="lti_superposna2">
	  <media type="image/png" src="x2tLTIy2t.png"/>
	</subfigure>
      </figure>

      <figure id="lti_superposnb">
	<name>Superposition in Linear Time-Invariant Systems</name>
	<media type="image/png" src="superLTI.png"/>
	<caption>The principle of superposition applied to LTI systems</caption>
      </figure>
      
      
      <section id="lti_sys_series"><name>LTI Systems in Series</name>
	
	<para id="p9">If two or more LTI systems are in series with each other, 
	  their order can be interchanged without affecting the overall output of the system.  
	  Systems in series are also called cascaded systems.</para>
	
	<figure id="lti_sys_series_fig" orient="vertical">
	  <name>Cascaded LTI Systems</name>
	  <subfigure id="cascadea">
	  <media type="image/png" src="cascade.png"/>
	  </subfigure>
	  <subfigure id="cascadeb">
	  <media type="image/png" src="cascadeflip.png"/>
	  </subfigure>
	  <caption>The order of cascaded LTI systems can be interchanged without 
	    changing the overall effect.</caption>
	</figure>
	
      </section>
      
      <section id="lti_sys_parallel"><name>LTI Systems in Parallel</name>
	
	<para id="p10">If two or more LTI systems are in parallel with one another, 
	  an equivalent system is one that is defined as the sum of these individual systems.</para>
	
	<figure id="lti_sys_parallel_fig" orient="horizontal">
	  <name>Parallel LTI Systems</name>
	  <subfigure id="parallelsys">
	    <media type="image/png" src="parallelsystem.png"/>
	  </subfigure>
	  <subfigure id="parallelsysequi">
	    <media type="image/png" src="parallelsysequi.png"/>
	  </subfigure>
	  <caption>Parallel systems can be condensed into the sum of systems.</caption>
	</figure>
	
      </section>      
    </section>
    
    <section id="causality"><name>Causality</name>
      
      <para id="p11"><emphasis>A system is causal if it does not depend on future values of 
	  the input to determine the output.</emphasis> This means that if the first input 
	to a system comes at time 
	<m:math><m:ci><m:msub><m:mi>t</m:mi><m:mn>0</m:mn></m:msub></m:ci></m:math>, 
	then the system should not give any output until that time.  An example of a non-causal
	system would be one that "sensed" an input coming and gave an output before the input arrived:</para>
      
      <figure id="noncausal_sys" orient="horizontal">
	<name>Non-causal System</name>
	<media type="image/png" src="noncausalpic.png"/>
	<caption>In this non-causal system, an output is produced due to an input 
	  that occurs later in time.</caption>
      </figure>
      
      <para id="p12">A causal system is also characterized by an
	<!--CNXN--> impulse response <m:math><m:apply><m:ci type="fn">h</m:ci><m:ci>t</m:ci></m:apply></m:math> that is zero for <m:math><m:apply><m:lt/><m:ci>t</m:ci><m:cn>0</m:cn></m:apply></m:math>. 
</para>
      
    </section>
    
  </content>
</document>
