Model Transformation Of The Hybrid System Reachability Analysis

The hybrid systems' theories concern with the development of systematic modeling, analysis and synthesis methods for a class of complicated systems which incorporate the continuous variable dynamical parts and discrete event dynamical components simultaneously into a single system, and in which these two kind of the system components interact with each other. Studies of hybrid systems enrich and extend the control theories and hence control theories will be used to solve successfully and effectively a large number of complex engineering problems.On the basis of summarizing and reviewing previous research work, this dissertation makes some further research work and explorations in hybrid system and its applications in nonlinear systems. The main contents contain the modeling and analysis of hybrid systems. Modeling of hybrid systems mainly contains several typical models of hybrid systems, together with the equivalences among them, while the analysis part contains the stability analysis and the reachability analysis. The main contribution s are as follows.(1) Introduces and establishes equivalences among several classes of hybrid systems. Additionally, the experiment of the equivalences is also made.(2)Introduces and analyses the stability of hybrid systems, including the global and local conditions for the stability of hybrid systems, especially for the discrete and continuous PWA systems, as well as the example research.(3)Focuses on the research of reachability of time automata, and extends it to the hybrid systems. Take the advantage of reachability analysis of rectangle automata, analyses the reachability of switched hybrid systems.