Browse wiki

From MurrayWiki
Jump to: navigation, search
Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems
Abstract Pre-orders on systems are the basis for ab …
Pre-orders on systems are the basis for abstraction based verification of systems. In this paper, we investigate pre-orders for reasoning about stability with respect to inputs of hybrid systems. First, we present a superposition type theorem which gives a characterization of the classical incremental input-to-state stability of continuous systems in terms of the traditional epsilon/delta-definition of stability. We use this as the basis for defining a notion of incremental input- to-state stability of hybrid systems. Next, we present a pre-order on hybrid systems which preserves incremental input- to-state stability, by extending the classical definitions of bisimulation relations on systems with input, with uniform continuity constraints. We show that the uniform continuity is a necessary requirement by exhibiting counter-examples to show that weaker notions of input bisimulation with just continuity requirements do not suce to preserve stability. Finally, we demonstrate that the definitions are useful, by exhibiting concrete abstraction functions which satisfy the definitions of pre-orders.
ich satisfy the definitions of pre-orders.  +
Authors Pavithra Prabhakar, Jun Liu, Richard M. Murray  +
ID 2013r  +
Source International Conference on Embedded Software (EMSOFT)  +
Tag plm13-emsoft  +
Title Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems +
Type Conference Paper  +
Categories Papers
Modification date
This property is a special property in this wiki.
15 May 2016 06:14:58  +
URL
This property is a special property in this wiki.
http://www.cds.caltech.edu/~murray/preprints/plm13-emsoft_s.pdf  +
hide properties that link here 
Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems + Title
 

 

Enter the name of the page to start browsing from.