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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata


    Beteiligte:
    Gao, Jinjin (Autor:in) / Lv, Jidong (Autor:in) / Chai, Ming (Autor:in) / Liu, Hongjie (Autor:in) / Tang, Tao (Autor:in) / Lu, Wanli (Autor:in)


    Erscheinungsdatum :

    2021-09-19


    Format / Umfang :

    2221853 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    An Intrusion Detection System for Drone Swarming Utilizing Timed Probabilistic Automata

    Venkatraman Subbarayalu / Maria Anu Vensuslaus | DOAJ | 2023

    Freier Zugriff

    Multi-Robot Motion Planning: A Timed Automata Approach

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

    Freier Zugriff

    Visualising Timed CSP Train Simulations for Capacity

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


    A probabilistic framework for aircraft conflict detection

    Prandini, Maria / Lygeros, John / Nilim, Arnab et al. | AIAA | 1999


    Runtime Verification of Railway Interlocking Software with Parametric Timed Automata

    Chai, Ming / Wang, Haifeng / Zhang, Jian et al. | IEEE | 2018