The conflict resolution of the multi-train competition Object Controller (OC) resources play an important role in the typical Next Generation Train Control system (NGTC). Due to the nondeterministic communication stochastic behaviour between train and OC, the traditional conflict resolution methods such as graph theory and integer programming can not solve the resources conflict. In this paper, inspired by [1], we newly introduce a formal modeling method, namely probabilistic timed automata (PTA) to solve the conflict of train to OC communication in NGTC considering the communication stochastic behaviour. Firstly, the communication protocol of resource application between train and OC is defined according to the characteristics of train resource application in NGTC system. Secondly, based on PTA, the communication protocol model of resource application is established. Finally, a detail qualitative and quantitative formal analysis of the probabilistic characteristics has been made, such as the probability reachability, the number of conflicts and expected cost of message transmission, based on probabilistic model checking technology. The analysis results show that the defined protocol can be used to apply for resource message successfully without considering the message sending termination caused by the number of conflicts and the upper limit of time.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata


    Contributors:
    Gao, Jinjin (author) / Lv, Jidong (author) / Chai, Ming (author) / Liu, Hongjie (author) / Tang, Tao (author) / Lu, Wanli (author)


    Publication date :

    2021-09-19


    Size :

    2221853 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    An Intrusion Detection System for Drone Swarming Utilizing Timed Probabilistic Automata

    Venkatraman Subbarayalu / Maria Anu Vensuslaus | DOAJ | 2023

    Free access


    Visualising Timed CSP Train Simulations for Capacity

    Roberts, Lloyd / Smith, Mike / Moller, Faron et al. | Eurographics | 2014


    Multi-Robot Motion Planning: A Timed Automata Approach

    Quottrup, Michael Melholt / Bak, Thomas / Izadi-Zamanabadi, Roozbeh | BASE | 2004

    Free access

    Visualising Timed CSP Train Simulations for Capacity

    Roberts, Lloyd / Smith, Mike / Moller, Faron et al. | DataCite | 2014