Browse wiki

From MurrayWiki
Jump to: navigation, search
Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems
Abstract In this paper, we investigate pre-orders f …
In this paper, we investigate pre-orders for reason- ing about input-to-state 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 input-to-state stability of hybrid systems, and thus provide a basis for constructing abstractions for verification. We show that Lyapunov function based input-to-state stability analysis can be cast in our frame- work as constructing a simpler one-dimensional system, using a uniformly continuous input simulation, which is input-to-state stable, and thus, inferring the input-to-state stability of the original system.
to-state 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 plm12-cdc  +
Title Bisimulations for Reasoning about Input-to-State 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/plm12-cdc_s.pdf  +
hide properties that link here 
Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems + Title
 

 

Enter the name of the page to start browsing from.