Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The mode conversion and positioning of the vehicle subsystem of the Communication Based Train Control System (CBTC), need to be safe and reliable, being two critical components. To meet this requirement,  apply formal methods in the design of rail transport systems.  studies the specification and verification of the mode conversion and positioning system. The mode conversion system is studied by using Communicating Sequential Processes (CSP) combined with simple data structure. The positioning system is explored by combining CSP with Object-Z (OZ). Based on the achieved model, the safety property verification and simulation are proceeded by the automatic process analysis toolkit PAT.
['Wen Su', 'Fan Yang', 'Xiaofeng Wu', 'Jian Guo', 'Huibiao Zhu']
I am writing a research paper on a idea Formal Approaches to Mode Conversion and Positioning for Vehicle System
[{"from": "human", "value": "I am writing a research paper on a idea Formal Approaches to Mode Conversion and Positioning for Vehicle System"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The mode conversion and positioning of the vehicle subsystem of the Communication Based Train Control System (CBTC), need to be safe and reliable, being two critical components. To meet this requirement,  apply formal methods in the design of rail transport systems.  studies the specification and verification of the mode conversion and positioning system. The mode conversion system is studied by using Communicating Sequential Processes (CSP) combined with simple data structure. The positioning system is explored by combining CSP with Object-Z (OZ). Based on the achieved model, the safety property verification and simulation are proceeded by the automatic process analysis toolkit PAT."}]