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>