Composing Stability Proofs for Hybrid Systems
A recent automatic proof method for the region stability of a hybrid system is based on the reachability analysis for a transformed hybrid system with double dimensionality (the transformation duplicates each of the continuous variables). We propose a new method which composes the reachability analyses for a sequence of transformed hybrid systems with essentially the same dimensionality (each transformation in the sequence duplicates one of the continuous variables). The new method thus trades the double dimensionality for the number of reachability analyses.
KeywordsHybrid System Region Stability Original System Jump Condition Discrete Transition
Unable to display preview. Download preview PDF.