Browse wiki
From MurrayWiki
Bisimulations for Reasoning about InputtoState Stability Properties of Hybrid Systems 
Abstract 
In this paper, we investigate preorders f … In this paper, we investigate preorders for reason ing about inputtostate stability properties of hybrid systems. We define the notions of uniformly continuous input simulations and bisimulations, which extend the notions in previous work to include inputs. We show that uniformly continuous input bisimulations preserve incremental inputtostate stability of hybrid systems, and thus provide a basis for constructing abstractions for verification. We show that Lyapunov function based inputtostate stability analysis can be cast in our frame work as constructing a simpler onedimensional system, using a uniformly continuous input simulation, which is inputtostate stable, and thus, inferring the inputtostate stability of the original system. tostate stability of the original system. +


Authors  Pavithra Prabhakar, Jun Liu and Richard M. Murray + 
ID  2012d + 
Source  Submitted, 2012 Conference on Decision and Control (CDC) + 
Tag  plm12cdc + 
Title  Bisimulations for Reasoning about InputtoState Stability Properties of Hybrid Systems + 
Type  Conference Paper + 
Categories  Papers 
Modification date This property is a special property in this wiki.

15 May 2016 06:15:50 + 
URL This property is a special property in this wiki.

http://www.cds.caltech.edu/~murray/preprints/plm12cdc_s.pdf + 
hide properties that link here 
Bisimulations for Reasoning about InputtoState Stability Properties of Hybrid Systems +  Title 
