Author of the publication

Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata.

, , , , and . ITSC, page 2160-2165. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Hybrid Meta-Heuristic Algorithm of Load Balancing for Cloud-based Railway Interlocking System., , , , , , , and . ITSC, page 3443-3448. IEEE, (2023)A Stochastic Reachable Set Trajectory Prediction Modeling Method for Following Operation of Urban Rail Trains., , , , , and . ITSC, page 3724-3729. IEEE, (2023)Fault Diagnosis of CTCS-3 On-Board Logic Function Based on SSGAN Framework., , , , , , and . ITSC, page 3349-3354. IEEE, (2023)Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System., , , , , and . ITSC, page 2738-2743. IEEE, (2022)Deep Learning-Based Model Predictive Control for Virtual Coupling Railways Operation., , , and . ITSC, page 3490-3495. IEEE, (2021)Study on the failure of IGBT bonding wire based on temperature gradient., , , , and . IECON, page 3011-3016. IEEE, (2020)Modeling and Verification of Route Protection for Train-centric Train Control System., , and . ITSC, page 2189-2194. IEEE, (2019)Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System., , , and . IEEE Intell. Transp. Syst. Mag., 13 (3): 45-57 (2021)A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains., , , , and . IEEE Trans. Intell. Veh., 9 (1): 2031-2045 (January 2024)A Rewriting Based Monitoring Algorithm for TPTL., and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 61-72. CEUR-WS.org, (2013)