Font Size: a A A

Study On Hybrid Systems Robust Synthesis Based On Symbolic Mode

Posted on:2009-05-20Degree:DoctorType:Dissertation
Country:ChinaCandidate:C J LiFull Text:PDF
GTID:1118360278977162Subject:Control theory and control engineering
Abstract/Summary:PDF Full Text Request
Hybrid systems combine continuous real-time behavior and discrete events. Discrete events are caused by the evolution of continuous dynamics or external stimuli, and the continuous dynamics change in response to discrete events. Hybrid systems relate to many fields, and numerous real-life examples can be found. The hybrid system research based on symbolic mode is very important.Firstly a new hybrid system model—hybrid system symbolic mode is presented. And a polynomial time algorithm is given for hybrid system synthesis, which bases on symbolic mode and bisimulation. Secondly the idea of symbolic robustness based on symbolic mode is put out. A robustness synthesis algorithm is presented and is polynomial time. Lastly three optimization algorithms, dynamic shortest path algorithm, k-shortest paths algorithm and dynamic k-shortest paths algorithm, are offered. They all are polynomial time algorithms.1. Anew hybrid system model—symbolic mode is presented.The essential characteristic of hybrid systems is the hybrid property. The most technologies cannot bridge the gulf between the discrete and the continuous. It results in the difficulty of studying. The dissertation generalizes the abstract continuous control system to the hybrid system and offers the abstract hybrid system model. The model unifies the discrete and the continuous to the discrete. It gives facilities for study on hybrid systems. And the model is elevated to the hybrid system symbolic mode. The manner of controlling hybrid systems is changed from operating signals to handling symbols.2. The linear time control problem and the branching time control problem are unified, and a polynomial time synthesis algorithm is given.The study of symbolic mode meets with the two problems, the linear time control and the branching time control. An algorithm is described and transforms the linear time control to the branching time control. It is apparent that the branching time control can be described with the linear time control. The two problems are unified. On the ground of the symbolic mode, bisimulation and parallel composition, the theorem given by Paulo Tabuada is expanded to hybrid system. And the general hybrid systems synthesis strategy is proposed.3. The idea of symbolic robustness and the polynomial time robust synthesis algorithm are put out.The robustness is one important part of the hybrid system research. Many people labor on it. The idea of the symbolic robustness is described. A brief of symbolic robustness is that hybrid system is robust and the system trajectories satisfy the specifications under the influence of perturbation. And polynomial time control algorithm is depicted and can be used in hybrid systems robust synthesis.4. Three optimization algorithms are offered, which all are polynomial time algorithms.The optimization is an important task. The symbolic mode can be the transform to transition system and the transition system can be modeled with the finite automaton. So the symbolic mode can be figured as the direction graph. The dissertation offers dynamic shortest path algorithm with dynamic weight, k-shortest paths algorithm which complexity approaches the theoretical limit, and dynamic k-shortest paths algorithm. They all are polynomial time algorithms.
Keywords/Search Tags:hybrid system, symbolic model, bisimulation, symbolic robustness, k-shortest paths algorithm
PDF Full Text Request
Related items