Automatically assigned DDC number: 00419

Manually assigned DDC number: 00419

Number of references: 4

Title: Stability of Hybrid Systems

Author:

Author:

Subject: Mikhail Kourjanski,Pravin Varaiya Stability of Hybrid Systems

Description: . Hybrid systems combine discrete and continuous behavior. We study properties of trajectories of a rectangular hybrid system in which the discrete state goes through a loop. This system is viable if there exists an infinite trajectory starting from some state. We show that the system is viable if and only if it has a limit cycle or fixed point. The set of fixed points is a polyhedron. The viability kernel may not be a polyhedron. However, under a "controllability" condition, the viability kernel is a polyhedron. 1 Introduction Hybrid systems (HS) couple discrete and continuous dynamics. The state of the system is a pair---the discrete state and the continuous state. Within each discrete state, the continuous state obeys a dynamical law until an event occurs. Then the discrete state changes instantaneously; in addition there may be a reset of the continuous state. The continuous dynamics are represented by constant differential inclusions. Each discrete state can be identified with an...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1995-11-16

Pubyear: 1995

Format: ps

Identifier: http://citeseer.ist.psu.edu/149217.html

Source: http://www.path.berkeley.edu/~varaiya/papers_ps.dir/stability.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/6427.html"   Type="inproceedings"   CiteSeer_Book="Hybrid   Systems"   CiteSeer_Volume=""   Title="Viable   Control   of   Hybrid   Systems,">

            <identifier   Org="ISBN:0780324455"   Paper_ID="/6427.html"   Extracted="0780324455"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0780327233"   Paper_ID="/6427.html"   Extracted="0780327233"   />

            <identifier   Org="ISBN:0780365666"   Paper_ID="/6427.html"   Extracted="0780365666"   />

            <identifier   Org="ISBN:0817642978"   Paper_ID="/6427.html"   Extracted="0817642978"   DDC="621.3815/372"   Normalized_DDC="6213815372"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0817643575"   Paper_ID="/6427.html"   Extracted="0817643575"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0817643850"   Paper_ID="/6427.html"   Extracted="0817643850"   DDC="629.8/3"   Normalized_DDC="62983"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540208038"   Paper_ID="/6427.html"   Extracted="3540208038"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354043321X"   Paper_ID="/6427.html"   Extracted="354043321X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="/6427.html"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/6427.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/6427.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540714928"   Paper_ID="/6427.html"   Extracted="3540714928"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540787992"   Paper_ID="/6427.html"   Extracted="3540787992"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/161828.html"   Type="inproceedings"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="What's   decidable   about   hybrid   automata?,">

            <identifier   Org="ISBN:0817643850"   Paper_ID="/161828.html"   Extracted="0817643850"   DDC="629.8/3"   Normalized_DDC="62983"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0897917189"   Paper_ID="/161828.html"   Extracted="0897917189"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/161828.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540212590"   Paper_ID="/161828.html"   Extracted="3540212590"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540309462"   Paper_ID="/161828.html"   Extracted="3540309462"   DDC="003/.3"   Normalized_DDC="0033"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540405240"   Paper_ID="/161828.html"   Extracted="3540405240"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043321X"   Paper_ID="/161828.html"   Extracted="354043321X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540600841"   Paper_ID="/161828.html"   Extracted="3540600841"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="/161828.html"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/161828.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/161828.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354065643X"   Paper_ID="/161828.html"   Extracted="354065643X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540657347"   Paper_ID="/161828.html"   Extracted="3540657347"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/161828.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/161828.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540705821"   Paper_ID="/161828.html"   Extracted="3540705821"   />

            <identifier   Org="ISBN:3540727329"   Paper_ID="/161828.html"   Extracted="3540727329"   />

      </rec>

      <rec   ID="/144394.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   sixth   International   Conference   on   ComputerAided   Verification   CAV"   CiteSeer_Volume=""   Title="Using   Abstractions   for   the   Verification   of   Linear   Hybrid   Systems,">

            <identifier   Org="ISBN:0471184063"   Paper_ID="/144394.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0780331990"   Paper_ID="/144394.html"   Extracted="0780331990"   />

            <identifier   Org="ISBN:078039402X"   Paper_ID="/144394.html"   Extracted="078039402X"   />

            <identifier   Org="ISBN:0897917189"   Paper_ID="/144394.html"   Extracted="0897917189"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540410554"   Paper_ID="/144394.html"   Extracted="3540410554"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540418660"   Paper_ID="/144394.html"   Extracted="3540418660"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043321X"   Paper_ID="/144394.html"   Extracted="354043321X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/144394.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/144394.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540600841"   Paper_ID="/144394.html"   Extracted="3540600841"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540606300"   Paper_ID="/144394.html"   Extracted="3540606300"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/144394.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540617396"   Paper_ID="/144394.html"   Extracted="3540617396"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540646086"   Paper_ID="/144394.html"   Extracted="3540646086"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/144394.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540684107"   Paper_ID="/144394.html"   Extracted="3540684107"   DDC="570.113"   Normalized_DDC="570113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:981024424X"   Paper_ID="/144394.html"   Extracted="981024424X"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/518300.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   sixth   International   Conference   on   ComputerAided   Verification   CAV"   CiteSeer_Volume=""   Title="Decidability   of   Hybrid   Systems   with   Rectangular   Differential   Inclusions,">

            <identifier   Org="ISBN:0780324455"   Paper_ID="/518300.html"   Extracted="0780324455"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/518300.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0817632395"   Paper_ID="/518300.html"   Extracted="0817632395"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0817643850"   Paper_ID="/518300.html"   Extracted="0817643850"   DDC="629.8/3"   Normalized_DDC="62983"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1402077211"   Paper_ID="/518300.html"   Extracted="1402077211"   DDC="621.3815/48"   Normalized_DDC="621381548"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540212590"   Paper_ID="/518300.html"   Extracted="3540212590"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354022310X"   Paper_ID="/518300.html"   Extracted="354022310X"   DDC="519.6"   Normalized_DDC="5196"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540440437"   Paper_ID="/518300.html"   Extracted="3540440437"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540581790"   Paper_ID="/518300.html"   Extracted="3540581790"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540600841"   Paper_ID="/518300.html"   Extracted="3540600841"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="/518300.html"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540606300"   Paper_ID="/518300.html"   Extracted="3540606300"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/518300.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/518300.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354065643X"   Paper_ID="/518300.html"   Extracted="354065643X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540657347"   Paper_ID="/518300.html"   Extracted="3540657347"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540672591"   Paper_ID="/518300.html"   Extracted="3540672591"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/518300.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540688927"   Paper_ID="/518300.html"   Extracted="3540688927"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Stability   of   Hybrid   Systems">

            <identifier   Org="ISBN:0415253632"   Paper_ID="SELF"   Extracted="0415253632"   DDC="621.382/2"   Normalized_DDC="6213822"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0780327233"   Paper_ID="SELF"   Extracted="0780327233"   />

            <identifier   Org="ISBN:0780329791"   Paper_ID="SELF"   Extracted="0780329791"   />

            <identifier   Org="ISBN:0817632395"   Paper_ID="SELF"   Extracted="0817632395"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0817643850"   Paper_ID="SELF"   Extracted="0817643850"   DDC="629.8/3"   Normalized_DDC="62983"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540003185"   Paper_ID="SELF"   Extracted="3540003185"   DDC="629.8"   Normalized_DDC="6298"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540212590"   Paper_ID="SELF"   Extracted="3540212590"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="SELF"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="SELF"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="SELF"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354065643X"   Paper_ID="SELF"   Extracted="354065643X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540672591"   Paper_ID="SELF"   Extracted="3540672591"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540714928"   Paper_ID="SELF"   Extracted="3540714928"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540754539"   Paper_ID="SELF"   Extracted="3540754539"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540769749"   Paper_ID="SELF"   Extracted="3540769749"   DDC="620.104"   Normalized_DDC="620104"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540787992"   Paper_ID="SELF"   Extracted="3540787992"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540789286"   Paper_ID="SELF"   Extracted="3540789286"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:981020356X"   Paper_ID="SELF"   Extracted="981020356X"   />

      </rec>

</references_metadata>

www.000webhost.com