Research On Theory And Application For Modeling And Analysis Of Intelligent Hybrid System

With the background of research on Railway Intelligent Transportation System(RITS) technology in railways and on the basis of theories for modeling and analysis of Hybrid System(HS) the dissertation comprehensively analyzes the issues on hybrid system oriented to intelligence, presents the definition of Intelligent Hybrid System(IHS) and concludes its properties. In other words, based on knowledge processing, uncertainty processing, system autonomy and so on in HS, the theories and schemes that relate to Petri nets are employed for the establishment of the theoretical and applied methodology for the modeling & analysis of IHS in this dissertation.After totally inducing the basic concepts, properties and the methods of analysis in Petri nets, and minutely studying relative theories about Timing Constraint Petri Nets(TCPN) , the dissertation presents several conclusions and theorems about place/transitions with time constraint and extends existing theories about TCPNHS. In modeling of IHS, the formal definition of Hierarchical Hybrid Petri Nets with Objects(HHPNO) is inaugurated, in which Object-Oriented approaches and Petri nets are indicated to be consistent and complementary in system modeling, and the issues about domain knowledge presentation, different kinds of attributes processing, the cooperation of varied kinds of Object-Oriented Petri nets etc. are dealt with synthetically. As concerning the hierarchical property of IHS modeling, Petri Nets with Objects(PNO) is used to analyze high-level problems in HHPNO, but on the processing of low-level issues Object Petri Subnets(OPS) is utilized. The theories about PNO, the standardization of interface, the place subsets, the transition subsets and hierarchical refining, etc, concerned with HHPNO are discussed.On the basis of the theories for the modeling and analysis of hybrid Petri Nets, the dissertation gives out the formal definition of a kind of Intelligent Condition/Event Hybrid Petri Net(ICEHPN) oriented to IHS, which includes the Discrete Timed Petri Net(DTPN) , the Continuous Petri Net(CPN) and the Intelligent Decision Interface(IDI). DTPN and CPN act on each other through condition and event signals. The IDI is used to interconnect with other Intelligent Systems or Intelligent Decision Objects, makes HSs have intelligent decision ability and keeps the independent property of HS. The modeling example indicates that the ICEHPN has superior properties for modularization and the consistency of interface, over existing schemes. Aiming at linear hybrid Petri nets two methods are adopted to analyze state reachability of hybrid system, which are predicate-transformation method and path-based method. The outside enable predicates for discrete transitions are utilized to introduce external decision factors of the system in those methods compared with existing schemes, so dissertation extends existing analysis methods about HSIncluded in the modeling methodology of HHPNO, two experimental models of train group operation, Train Operation Petri Net with Objects (TOPNO) and Train Group Operation System with Object-orientedPetri Subnet(TGOSOPS), are constructed. The simulation experiments indicate that the models feature with convenient realization for distributed systems and good properties for interconnection. The basic structure of simulation system and distributed simulation system about train group operation are built according to the varied kinds of object-oriented Petri nets, and the fundamental experiment model featuring universality, expansibility, manipulability, etc, is implemented. The model can be used to construct the platform for studying the modeling and analysis theories for one kind of IHS. Oriented to the knowledge processing in IHS, in order to design a time Petri nets efficient algorithm for temporal knowledge reasoning the dissertation makes full use of the efficiency of Petri nets for knowledge processing and the model of train group operation. Because fuzzy time interval operator is utilized and the least sprouting graph nodes are ad...