Dissertation > Excellent graduate degree dissertation topics show

Reachability Analysis of Nonlinear Hybrid Systems

Author: ZouJin
Tutor: LuoYong
School: Wenzhou University
Course: Applied Mathematics
Keywords: Hybrid systems Reachability Safety verification Linear approximation Polyhedron inclusion
CLC: N941.4
Type: Master's thesis
Year: 2013
Downloads: 26
Quote: 0
Read: Download Dissertation


Hybrid system is a class of complex systems composed of continuous variable dynamical systems and discrete event dynamical systems, which are interacted and influenced with each other. With the development of science and technology, hybrid systems are widely used in the industrial production and social life, and it became the common research focus in computer science and control theory.Reachability of hybrid systems is one of the most basic and important challenging problems in hybrid systems study. The main content of this dissertation focus on reachability of hybrid systems, and the research pivot is focused on reachability analysis of polynomial hybrid systems. The main contributions are as follows.(1)The dissertation use hybrid automatons to discuss the reachability of hybrid systems, and the reachability algorithm of continuous systems and hybrid systems is elaborated. Some tools which can compute approximate reach sets of hybrid systems are introduced, and the method based on the flow pipes is used.(2) To study the problem of reachability of a class of nonlinear hybrid systems, the dissertation presents an verification method based on polyhedron inclusion. Firstly, some notions about linear approximation of nonlinear hybrid systems are introduced. The method based on polyhedron inclusion is proposed to compute the linear approximation of polynomial hybrid systems. And quantifier elimination and nonlinear optimization method are applied to obtain the associated linear hybrid systems. Then the over-approximation of reachable set of original polynomial hybrid systems can be computed by using SpaceEx. Furthermore, the safety properties of the systems also can be verified.(3)A summary of this dissertation is given. And the prospect of the future research is presented.

Related Dissertations

  1. Several Propertiesof Well-possedness of a Syestem of Parabolic Equations,O175.26
  2. Study on the Planning and Construction of Ecological County in Fu County Shaanxi Province,X321
  3. The Stability for a Class of Stochastic Hybrid Systems,O211.63
  4. The Twelfth Five Years Plan of Main Air Pollutants Total Amount Control of Anhui Province and Analysis of Its Attainability,X321
  5. Asymptotic Behavior and Engineering Application of the Hybrid Systems Analysis,TP13
  6. The Positive, Negative Soliton Equations of Dirac Hierarchy and the Finite-dimension Integrable Systems,O175.5
  7. Geometric programming based analog circuit performance modeling and optimization,TN431.1
  8. Research on MLD Modeling and Control of Nonlinear Systems,N945.12
  9. Petri net -based research network protocols,TP393.08
  10. Based on real-time implementation of the ISM retail chain Logistics Strategy,F721.7;F724.2
  11. Stability Analysis for Impulsive Hybrid Systems on Time Scales,O175.21
  12. Quantized State Feedback Stabilization of Control Systems,TP13
  13. Research on Reachable Set over Approximation of Hybrid Systems Verification,O415.5
  14. Adaptive Lifting Scheme via BP Neural Networks,O174.2
  15. Research on the Guiding Function of Rail Transit to the City Spatial Development of Heifei,U239.5
  16. Large field of night vision optical system design,TH74
  17. The Comprehensive Evaluation on Integrated Passenger Hub’s Function Achievement,F50
  18. The Continuous Dependence on Nonlinearities of a Singular Diffusion Equations,O175.2
  19. Based on mixed logic dynamic model trains running scheduling,U292.4
  20. Study on the Influence of High-speed Railway on Spatial Structure of the Yangtze River Delta Region,F532.8;F224
  21. The Spatial Accessibility Analysis of Tourism Development of Guizhou Province,F592.7

CLC: > SCIENCE AND > Journal of Systems Science > Systems,modern systems theory > Large scale system theory
© 2012 www.DissertationTopic.Net  Mobile