Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL. - Jidong Lv; Tao Tang 004 (CSIE (2), 2009)

A Calculus for Hybrid CSP. - Jiang Liu 009; Jidong Lv; Zhao Quan; Naijun Zhan; Hengjun Zhao; Chaochen Zhou; Liang Zou (APLAS, 2010)

Model-based test cases generation for Onboard system. - Jidong Lv; Kaicheng Li; Guodong Wei; Tao Tang 004; Chenling Li; Wenhui Zhao (ISADS, 2013)

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving. - Liang Zou; Jidong Lv; Shuling Wang 003; Naijun Zhan; Tao Tang 004; Lei Yuan; Yu Liu (VSTTE, 2013)

Online testing of real-time performance in high-speed train control system. - Xiaolin Zhu; Teng Li; Kaicheng Li; Jidong Lv (ITSC, 2014)

Detecting Preceding Vehicles Using 4-Dimensional Mapping of Colors in Image. - Qingpeng Gan; Kaicheng Li; Jidong Lv; Lei Yuan; Tao Wen (ITSC, 2015)

Mutation Testing for Evaluating the Completeness of Test Cases in High-Speed Train Control System. - Teng Li; Kaicheng Li; Jidong Lv; Lei Yuan; Qiang Fu; Tao Wen (ITSC, 2015)

Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking. - Xiao Han 003; Tao Tang 004; Jidong Lv; Haifeng Wang (RSSRail, 2016)

Test Suite Generation for CTCS-3 Train Control System Based On TAIO and Mutation Theory. - Tuo Wang; Jidong Lv; Baiquan Wei; Tao Tang 004; Wei ShangGuan (ITSC, 2018)

Complete Test Suite for the CTCS-3 Target Speed Monitor Based on IECP Test Theory. - Wei Zheng; Zhuolin Hu; Tao Tang 004; Jidong Lv; Wei ShangGuan (ITSC, 2018)

Hybrid Online Model-Based Testing for Communication-Based Train Control Systems. - Yuemiao Wang; Lei Chen 043; David Kirkwood; Peng Fu; Jidong Lv; Clive Roberts (IEEE Intell. Transp. Syst. Mag., 2018)

Recognition method for apple fruit based on SUSAN and PCNN. - Liming Xu; Jidong Lv (Multim. Tools Appl., 2018)

Facial expression recognition based on dual-feature fusion and improved random forest classifier. - Biao Yang; Jinmeng Cao; Da-Peng Jiang; Jidong Lv (Multim. Tools Appl., 2018)

Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata. - Ming Chai; Haifeng Wang; Hongjie Liu; Jidong Lv; Qian Hu (ITSC, 2019)

Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework. - Kehang Chen; Jidong Lv; Jia Huang; Haonan Guo; Shuai Su; Tao Tang 004 (ITSC, 2019)

Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy. - Kehang Chen; Jidong Lv; Zhengwei Luo; Ming Chai; Hongjie Liu; Tao Tang 004 (ITSC, 2019)

Fault Diagnosis of the On-board Equipment in CTCS-3 Based on Timed Automata and Mutation Theoy. - Zhuolin Hu; Tao Tang 004; Wanli Lu; Wei Zheng; Jidong Lv; Shigen Gao; Shuai Su (ITSC, 2019)

A dual-objective integrated optimization problem for energy conservation in subway systems. - Hongjie Liu; Jidong Lv; Ming Chai (ITSC, 2019)

A hierarchical verification approach to verify complex safety control systems based on STAMP. - Xiao Han 003; Tao Tang 004; Jidong Lv (Sci. Comput. Program., 2019)

Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment. - Yong Zhang 028; Haifeng Wang; Tommy Yuan; Jidong Lv; Tianhua Xu (IEEE Trans. Intell. Transp. Syst., 2019)

Counting crowds using a scale-distribution-aware network and adaptive human-shaped kernel. - Biao Yang; Weiqin Zhan; Nan Wang 013; Xiaofeng Liu 006; Jidong Lv (Neurocomputing, 2020)

Edge computing-based real-time passenger counting using a compact convolutional neural network. - Biao Yang; Jinmeng Cao; Xiaofeng Liu 006; Nan Wang 013; Jidong Lv (Neural Comput. Appl., 2020)

Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata. - Jinjin Gao; Jidong Lv; Ming Chai; Hongjie Liu; Tao Tang 004; Wanli Lu (ITSC, 2021)

Trajectory Prediction of Urban Rail Transit Based on Long Short-Term Memory Network. - Yijuan He; Jidong Lv; Daqian Zhang; Ming Chai; Hongjie Liu; Haixia Dong; Tao Tang 004 (ITSC, 2021)

Combinatorial Test Suite Reduction of CTCS-3 Target Speed Monitor Based on Decision Tree Equivalence. - Zhengwei Luo; Jidong Lv; Tao Tang 004 (ITSC, 2021)

Deep Learning-Based Model Predictive Control for Virtual Coupling Railways Operation. - Haoxiang Su; Ming Chai; Lijie Chen 006; Jidong Lv (ITSC, 2021)

Train Operation Strategy Optimization of Virtual Coupling: A Cooperative Game Based Approach. - Qi Wang 099; Ming Chai; Haifeng Wang; Lijie Chen 006; Jidong Lv (ITSC, 2021)

Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON. - Jidong Lv; Ehsan Ahmad; Tao Tang 004 (IEEE Intell. Transp. Syst. Mag., 2021)

Longitudinal Control Strategy Synthesis for Train Platoons Based on Priced Timed Game. - Wanli Lu; Jidong Lv; Yijuan He; Daqian Zhang; Min Yang (ITSC, 2022)

Behavior Planning of Trains with Trajectory Predictioin. - Zixu Zhao; Jidong Lv; Wanli Lu (ITSC, 2022)

A Portable-Type Exoskeleton System for Children's Hand-Function. - Jidong Lv; Liangliang Niu; Yang Yang; Wei Lin; Xiaoqin Sun; Lingyun Wang; Hailong Rong; Ling Zou 002 (RICAI, 2022)

A visual identification method for the apple growth forms in the orchard. - Jidong Lv; Hao Xu; Ying Han; Wenbin Lu; Liming Xu; Hailong Rong; Biao Yang; Ling Zou 002; Zhenghua Ma (Comput. Electron. Agric., 2022)

The Search-Based Mutation Testing of the Chinese Train Control System Level 3 On Board a Train Control System. - Jidong Lv; Wanli Lu; Tuo Wang; Baiquan Wei (IEEE Intell. Transp. Syst. Mag., 2022)

Recognition of fruits and vegetables with similar-color background in natural environment: A survey. - Jidong Lv; Hao Xu; Liming Xu; Ling Zou 002; Hailong Rong; Biao Yang; Liangliang Niu; Zhenghua Ma (J. Field Robotics, 2022)

Computational Efficient Motion Planning Method for Automated Vehicles Considering Dynamic Obstacle Avoidance and Traffic Interaction. - Yuxiang Zhang 004; Jiachen Wang; Jidong Lv; Bingzhao Gao; Hongqing Chu; Xiaoxiang Na (Sensors, 2022)

Model Predictive Control with Reach-avoid Analysis. - Dejin Ren; Wanli Lu; Jidong Lv; Lijun Zhang 001; Bai Xue 001 (IJCAI, 2023)

Robust Model Predictive Control Strategy for Virtually Coupled Train Sets Using Time-Varying Tubes. - Zhengwei Luo; Jidong Lv; Jiahui Lv; Hongjie Liu; Ming Chai; Kaicheng Li (ITSC, 2023)

Trajectory Prediction of High-Speed Train Based on GMM-LSTM. - Wanqi Tian; Bing Bu; Jidong Lv; Tao Tang; Kaicheng Li (ITSC, 2023)

A Stochastic Reachable Set Trajectory Prediction Modeling Method for Following Operation of Urban Rail Trains. - Min Yang 007; Jidong Lv; Zhengwei Luo; Hongjie Liu; Ming Chai; Lei Zhang 201 (ITSC, 2023)

Fault Diagnosis of CTCS-3 On-Board Logic Function Based on SSGAN Framework. - Daqian Zhang; Jidong Lv; Zhengwei Luo; Hongjie Liu; Ming Chai; Wenxiang Ge; Fei Yan (ITSC, 2023)

Intelligent Train Tracking Control Based on Monte Carlo Tree Method. - Zixu Zhao; Jidong Lv; Boyuan Zhou; Wanli Lu; Ming Chai; Hongjie Liu (ITSC, 2023)

An EKF-Based Attitude Estimator for Eliminating the Effect of Magnetometer Measurements on Pitch and Roll Angles. - Hailong Rong; Cuiyun Peng; Yang Chen 019; Jidong Lv; Ling Zou 002 (IEEE Trans. Instrum. Meas., 2023)

Prediction of hand grip strength based on surface electromyographic signals. - Jidong Lv; Yang Yang; Liangliang Niu; Xiaoqin Sun; Lingyun Wang; Wei Lin; Hailong Rong; Ling Zou 002 (J. King Saud Univ. Comput. Inf. Sci., 2023)

An image rendering-based identification method for apples with different growth forms. - Jidong Lv; Hao Xu; Liming Xu; Yuwan Gu; Hailong Rong; Ling Zou 002 (Comput. Electron. Agric., 2023)

D3-TD3: Deep Dense Dueling Architectures in TD3 Algorithm for Robot Path Planning Based on 3D Point Cloud. - Yuwan Gu; Zhitao Zhu; Yongtao Chu; Jidong Lv; Xueyuan Wang; Shoukun Xu (J. Circuits Syst. Comput., 2023)

Cooperative Control Based on Distributed Model Predictive Control Method for Urban Rail Transit. - Jiahui Lv; Jidong Lv; Hongjie Liu; Zhengwei Luo; Bingyan Zhou; Qianying Ma (ICNSC, 2024)

A Stochastic Reachable Set Based Train Following Safety Protection Method for "Soft-Wall" Moving Block Train Control System. - Qianying Ma; Min Yang; Jidong Lv; Hongjie Liu; Wanli Lu; Jiahui Lv (ICNSC, 2024)

Train Safety Control Based on Deep Deterministic Policy Gradient with Control Barrier Function. - Guoteng Wang; Jidong Lv; Hongjie Liu; Ming Chai; Tao Tang; Wentao Zhang (ICNSC, 2024)

Fault Diagnosis Method for On-Board Interface Equipment of CTCS-3 Based on Temporal Knowledge Graph Completion. - Bingyan Zhou; Daqian Zhang; Jidong Lv; Hongjie Liu; Zixu Zhao; Zhengwei Luo (ICNSC, 2024)

Synchronization Control of Virtually Coupled Train Set in Dynamic Coupling: A Cooperative Consensus Approach. - Yanli Liao; Qiusheng Liu; Hongjie Liu; Jidong Lv; Yong Zhang 028; Guodong Wei; Xiaolin Luo (ITSC, 2024)

Trajectory Prediction of High-Speed Train Group Tracking Based on LSTM-KF Hybrid Model. - Boyu Yang; Jidong Lv; Hongjie Liu; Ming Chai; Qinglong Zhang; Tao Tang; Jiahui Lv (ITSC, 2024)

A Space-Time Interval Based Safety Protection Model for Virtual Coupling Heavy-Haul Trains. - Xinyi Zhang; Ming Chai; Qi Wang; Haoxiang Su; Hai-Feng Wang; Jidong Lv; Yong Zhang (ITSC, 2024)

Monocular Ranging Based on Camera Pose in Visual Train Positioning. - Wei Li; Yanyan Yang; Ming Chai; Jinke Shi; Hongjie Liu; Jidong Lv; Haoxiang Su (SMC, 2024)

A Study of Unilateral Upper Limb Fine Motor Imagery Decoding Using Frequency-Band Attention Network. - Tianyu Shi; Xiang Gu; Hui Bi; Jidong Lv; Yan Liu 041; Yakang Dai; Ling Zou 002 (IEEE Access, 2024)

Design and research of residual film pollution monitoring system based on UAV. - Jiankang Yang; Zhiqiang Zhai; Yulin Li; Hongwei Duan; Fengjie Cai; Jidong Lv; Ruoyu Zhang (Comput. Electron. Agric., 2024)

Identification of autism spectrum disorder using multiple functional connectivity-based graph convolutional network. - Chaoran Ma; Wenjie Li; Sheng Ke; Jidong Lv; Tiantong Zhou; Ling Zou 002 (Medical Biol. Eng. Comput., 2024)

A Hybrid Long Short-Term Memory and Kalman Filter Model for Train Trajectory Prediction. - Ehsan Ahmad; Yijuan He; Zhengwei Luo; Jidong Lv (IEEE Trans. Intell. Transp. Syst., 2024)

FBATCNet: A Temporal Convolutional Network With Frequency Band Attention for Decoding Motor Imagery EEG. - Shuaishuai Ma; Jidong Lv; Wenjie Li; Yan Liu 041; Ling Zou 002; Yakang Dai (IEEE Access, 2025)

Overcoming Value overestimation for Distributional Reinforcement Learning-based Path Planning with conservative Constraints. - Yuwan Gu; Yongtao Chu; Fang Meng; Yan Chen; Jidong Lv; Shoukun Xu (Int. J. Robotics Autom., 2025)

Formal Modeling and Synthesis of Longitudinal Dynamics Controller for Train Platoons. - Wanli Lu; Jidong Lv; Bai Xue 001; Zhengwei Luo (IEEE Trans. Intell. Transp. Syst., 2025)