Browse wiki
From MurrayWiki
Preorders for Reasoning about InputtoState Stability Properties of Hybrid Systems 
Abstract 
In this paper, we investigate preorders f … In this paper, we investigate preorders for reasoning 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 con tinuous 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 framework 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 + 
Funding  CorrectbyConstruction Synthesis of Control Protocols for Aerospace Systems + 
ID  2012u + 
Source  Submitted, Hybrid Systems: Computation and Control (HSCC) 2013 + 
Tag  plm13hscc + 
Title  Preorders 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:35 + 
URL This property is a special property in this wiki.

http://www.cds.caltech.edu/~murray/preprints/plm13hscc_s.pdf + 
show properties that link here 