Tao Tang

Orcid: 0000-0001-7838-8525

Affiliations:
  • Beijing Jiaotong University, State Key Laboratory of Rail Traffic Control and Safety, China


According to our database1, Tao Tang authored at least 171 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Train Distance Estimation for Virtual Coupling Based on Monocular Vision.
Sensors, February, 2024

A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains.
IEEE Trans. Intell. Veh., January, 2024

2023
Joint Security and Resources Allocation Scheme Design in Edge Intelligence Enabled CBTCs: A Two-Level Game Theoretic Approach.
IEEE Trans. Intell. Transp. Syst., December, 2023

Integrated train timetabling and rolling stock rescheduling for a disturbed metro system: A hybrid deep reinforcement learning and adaptive large neighborhood search approach.
Comput. Ind. Eng., December, 2023

Optimal Design of Tractive Layout for Minimizing the Insufficient Displacement of Railway Turnout.
IEEE Trans. Intell. Transp. Syst., November, 2023

Optimization of system resilience in urban rail systems: Train rescheduling considering congestions of stations.
Comput. Ind. Eng., November, 2023

Train Distance Estimation in Turnout Area Based on Monocular Vision.
Sensors, October, 2023

Edge Intelligence in Intelligent Transportation Systems: A Survey.
IEEE Trans. Intell. Transp. Syst., September, 2023

Design and locomotion analysis of an arm-wheel-track multimodal mobile robot.
Intell. Serv. Robotics, September, 2023

A Data-Driven Iterative Learning Approach for Optimizing the Train Control Strategy.
IEEE Trans. Ind. Informatics, July, 2023

Resilience-Oriented Train Rescheduling Optimization in Railway Networks: A Mixed Integer Programming Approach.
IEEE Trans. Intell. Transp. Syst., May, 2023

A Service-Oriented Energy Efficient Resource Allocation Approach for Wireless Communications of the Tunnel Construction.
IEEE Trans. Veh. Technol., April, 2023

A Learning Based Intelligent Train Regulation Method With Dynamic Prediction for the Metro Passenger Flow.
IEEE Trans. Intell. Transp. Syst., April, 2023

Control strategy for stable formation of high-speed virtually coupled trains with disturbances and delays.
Comput. Aided Civ. Infrastructure Eng., March, 2023

SGL-PCA: Health Index Construction With Sensor Sparsity and Temporal Monotonicity for Mixed High-Dimensional Signals.
IEEE Trans Autom. Sci. Eng., 2023

A Particle Swarm Optimization-Based Online Optimization Approach for Virtual Coupling Trains With Communication Delay.
IEEE Intell. Transp. Syst. Mag., 2023

AoI-Driven Cluster-Based Spectrum Sharing in Internet of Construction Equipment with Multi-Agent Reinforcement Learning.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Vulnerability Assessment and Optimization of Urban Rail Systems Against Extreme Perturbations: An MIP-Based Approach.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

2022
Enhancing Dependability Analysis Provisioning in CBTC Wireless Communication System With Age of Information.
IEEE Trans. Veh. Technol., 2022

Distributed Model Predictive Control Strategy for Constrained High-Speed Virtually Coupled Train Set.
IEEE Trans. Veh. Technol., 2022

Qualitative and Quantitative Safety Evaluation of Train Control Systems (CTCS) With Stochastic Colored Petri Nets.
IEEE Trans. Intell. Transp. Syst., 2022

Event-Triggered Predictive Control for Automatic Train Regulation and Passenger Flow in Metro Rail Systems.
IEEE Trans. Intell. Transp. Syst., 2022

Railway Automatic Switch Stationary Contacts Wear Detection Under Few-Shot Occasions.
IEEE Trans. Intell. Transp. Syst., 2022

A Matheuristic for the Integrated Disruption Management of Traffic, Passengers and Stations in Urban Railway Lines.
IEEE Trans. Intell. Transp. Syst., 2022

A CPN-Based Approach for Studying Impacts of Communication Delays on Safety and Availability of Safety-Critical Distributed Networked Control Systems.
IEEE Trans. Ind. Informatics, 2022

An Augmented Regression Model for Tensors With Missing Values.
IEEE Trans Autom. Sci. Eng., 2022

Quantitative analysis for resilience-based urban rail systems: A hybrid knowledge-based and data-driven approach.
Reliab. Eng. Syst. Saf., 2022

Data-driven models for train control dynamics in high-speed railways: LAG-LSTM for train trajectory prediction.
Inf. Sci., 2022

Joint Security and Train Control Design in Blockchain-Empowered CBTC System.
IEEE Internet Things J., 2022

Urban rail transit FAO system: technological development and trends.
Auton. Intell. Syst., 2022

Integrated Optimization of Backup Rolling Stock Configuration and Disturbance Management.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

2021
A Deep Learning Based Data Fusion Method for Degradation Modeling and Prognostics.
IEEE Trans. Reliab., 2021

Cross-Layer Defense Methods for Jamming-Resistant CBTC Systems.
IEEE Trans. Intell. Transp. Syst., 2021

Robust Distributed Cruise Control of Multiple High-Speed Trains Based on Disturbance Observer.
IEEE Trans. Intell. Transp. Syst., 2021

A Penalized Convolution Model for Oil Leakage Detection in Electrohydraulic Railway Point Systems.
IEEE Trans. Instrum. Meas., 2021

A Reinforcement Learning Empowered Cooperative Control Approach for IIoT-Based Virtually Coupled Train Sets.
IEEE Trans. Ind. Informatics, 2021

Runtime verification of train control systems with parameterized modal live sequence charts.
J. Syst. Softw., 2021

Design of Running Grades for Energy-Efficient Train Regulation: A Case Study for Beijing Yizhuang Line.
IEEE Intell. Transp. Syst. Mag., 2021

Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON.
IEEE Intell. Transp. Syst. Mag., 2021

Timetable coordination in a rail transit network with time-dependent passenger demand.
Eur. J. Oper. Res., 2021

An Automated Accident Causal Scenario Identification Method for Fully Automatic Operation System Based on STPA.
IEEE Access, 2021

A Virtually Coupled Metro Train Platoon Control Approach Based on Model Predictive Control.
IEEE Access, 2021

Energy-efficient train control method based on soft actor-critic algorithm.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

A Three-dimension Resilience State Space-based Approach to Resilience Assessment of CBTC system.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Optimization on the Decoupling Process of Train Platoon Based on an MILP Approach.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

A Deep Reinforcement Learning Approach for the Traffic Management of High-Speed Railways.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Cooperative Control among Trains in the Undersupplied Area during the Fault of Traction Power Supply System in Metro Line.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

A metro train rescheduling approach considering flexible short-turning and adding backup trains strategies during disruptions in the case of the vehicle breakdown.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

A Bi-Objective Optimization Model for Coordinated Train Timetabling in Rail Transit Networks.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Optimization of cyclic air braking strategy for heavy haul trains: an ADP approach.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

A Deep Learning-Based Test Sequence Automatic Generation Method for Automatic Train Operation in High-Speed Railway System.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Combinatorial Test Suite Reduction of CTCS-3 Target Speed Monitor Based on Decision Tree Equivalence.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Trajectory Prediction of Urban Rail Transit Based on Long Short-Term Memory Network.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Train Resources Conflict Detection of NGTC Based on Probabilistic Timed Automata.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Optimization of the coupling operation for train platoon in the junction area.
Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

A Life Prediction Method for Power Supply in Rail Transit Signal System Under Variable Temperature Conditions.
Proceedings of the Data Mining and Big Data - 6th International Conference, 2021

An intelligent control approach for heavy haul trains using deep reinforcement learning.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

2020
Error-Driven Nonlinear Feedback Design for Fuzzy Adaptive Dynamic Surface Control of Nonlinear Systems With Prescribed Tracking Performance.
IEEE Trans. Syst. Man Cybern. Syst., 2020

A Failure Mapping and Genealogical Research on Metro Operational Incidents.
IEEE Trans. Intell. Transp. Syst., 2020

Train-Centric CBTC Meets Age of Information in Train-to-Train Communications.
IEEE Trans. Intell. Transp. Syst., 2020

Multiperiod Transfer Synchronization for Cross-Platform Transfer in an Urban Rail Transit System.
Symmetry, 2020

Metro Train Timetable Rescheduling Based on Q-learning Approach.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Autonomous routing research based on vehicle-centralized train control system.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Reordering and Driving Strategy to Resolve Train Conflict Based on Cooperative Game Theory.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Train rescheduling for minimizing passenger travel time under disruption for metro lines.
Proceedings of the 16th IEEE International Conference on Control & Automation, 2020

2019
Big Data Analytics in Intelligent Transportation Systems: A Survey.
IEEE Trans. Intell. Transp. Syst., 2019

Enhancing Communication-Based Train Control Systems Through Train-to-Train Communications.
IEEE Trans. Intell. Transp. Syst., 2019

Timetable Optimization for Regenerative Energy Utilization in Subway Systems.
IEEE Trans. Intell. Transp. Syst., 2019

Robust Fuzzy Predictive Control for Automatic Train Regulation in High-Frequency Metro Lines.
IEEE Trans. Fuzzy Syst., 2019

A hierarchical verification approach to verify complex safety control systems based on STAMP.
Sci. Comput. Program., 2019

Recognizing the Critical Stations in Urban Rail Networks: An Analysis Method Based on the Smart-Card Data.
IEEE Intell. Transp. Syst. Mag., 2019

Long Short-Term Memory Neural Network Applied to Train Dynamic Model and Speed Prediction.
Algorithms, 2019

Joint Security and QoS Provisioning in Train-Centric CBTC Systems Under Sybil Attacks.
IEEE Access, 2019

Mixed-Integer Linear Programming Models for Coordinated Train Timetabling with Dynamic Demand.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Autonomous Train Operational Safety assurance by Accidental Scenarios Searching.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

An operation level based train regulation model for a metro line.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Improved T2T based Communication-Based Train Control Systems Through Cooperated Security Check.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Fault Diagnosis of the On-board Equipment in CTCS-3 Based on Timed Automata and Mutation Theoy.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Integrated train and passenger disruption management for urban railway lines.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

Train Station Parking Approach Based on Fuzzy Reinforcement Learning Algorithms.
Proceedings of the 15th IEEE International Conference on Control and Automation, 2019

2018
The QoS Indicators Analysis of Integrated EUHT Wireless Communication System Based on Urban Rail Transit in High-Speed Scenario.
Wirel. Commun. Mob. Comput., 2018

Distributed cooperative control of multiple high-speed trains under a moving block system by nonlinear mapping-based feedback.
Sci. China Inf. Sci., 2018

Train speed profile optimization with on-board energy storage devices: A dynamic programming based approach.
Comput. Ind. Eng., 2018

Complete Test Suite for the CTCS-3 Target Speed Monitor Based on IECP Test Theory.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

A Two-Stage Stochastic Optimization Model for Passenger-Oriented Metro Rescheduling with Backup Trains.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

A signal segmentation and feature fusion based RUL prediction method for railway point system.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Test Suite Generation for CTCS-3 Train Control System Based On TAIO and Mutation Theory.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Quantized Consensus of Unidirectional Pedestrian Flow based on Two-Time-Scale Hybrid Models.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

An intelligent train control approach based on the monte carlo reinforcement learning algorithm.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2017
Communication-Based Train Control System Performance Optimization Using Deep Reinforcement Learning.
IEEE Trans. Veh. Technol., 2017

Handoff Performance Improvements in an Integrated Train-Ground Communication System Based on Wireless Network Virtualization.
IEEE Trans. Intell. Transp. Syst., 2017

Measuring Route Diversity for Urban Rail Transit Networks: A Case Study of the Beijing Metro Network.
IEEE Trans. Intell. Transp. Syst., 2017

Bilevel Feature Extraction-Based Text Mining for Fault Diagnosis of Railway Systems.
IEEE Trans. Intell. Transp. Syst., 2017

A Cognitive Control Method for Cost-Efficient CBTC Systems With Smart Grids.
IEEE Trans. Intell. Transp. Syst., 2017

A Bayesian network model for prediction of weather-related failures in railway turnout systems.
Expert Syst. Appl., 2017

Train scheduling with short turning strategy for an urban rail transit line with multiple depots.
Proceedings of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.
Proceedings of the Provably Correct Systems, 2017

2016
An Integrated Train-Ground Communication System Using Wireless Network Virtualization: Security and Quality of Service Provisioning.
IEEE Trans. Veh. Technol., 2016

Efficient Real-Time Train Operation Algorithms With Uncertain Passenger Demands.
IEEE Trans. Intell. Transp. Syst., 2016

A Survey on Energy-Efficient Train Operation for Urban Rail Transit.
IEEE Trans. Intell. Transp. Syst., 2016

Energy-Efficient Communication-Based Train Control Systems With Packet Delay and Loss.
IEEE Trans. Intell. Transp. Syst., 2016

Saving Energy and Improving Service Quality: Bicriteria Train Scheduling in Urban Rail Transit Systems.
IEEE Trans. Intell. Transp. Syst., 2016

Energy-Efficient Train Tracking Operation Based on Multiple Optimization Models.
IEEE Trans. Intell. Transp. Syst., 2016

Modelling and optimisation of train electric drive system based on fuzzy predictive control in urban rail transit.
Int. J. Simul. Process. Model., 2016

Optimisation of recommended speed profile for train operation based on ant colony algorithm.
Int. J. Simul. Process. Model., 2016

Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2016

Efficient dual-association resource allocation model of train-ground communication system based on TD-LTE in urban rail transit.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Handoff performance improvement in a network virtualization based integrated train ground communication system.
Proceedings of the 2016 IEEE International Conference on Communications, 2016

2015
Cooperative and cognitive wireless networks for train control systems.
Wirel. Networks, 2015

MIMO-Assisted Handoff Scheme for Communication-Based Train Control Systems.
IEEE Trans. Veh. Technol., 2015

A Cognitive Control Approach to Communication-Based Train Control Systems.
IEEE Trans. Intell. Transp. Syst., 2015

Efficient Real-Time Train Scheduling for Urban Rail Transit Systems Using Iterative Convex Programming.
IEEE Trans. Intell. Transp. Syst., 2015

A Cooperative Train Control Model for Energy Saving.
IEEE Trans. Intell. Transp. Syst., 2015

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.
Sci. China Inf. Sci., 2015

Cognitive Control Method for Cost-Efficient Communication-Based Train Control Systems in Smart Grids.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Cooperative and cognitive wireless networks for communication-based train control (CBTC) systems.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

2014
Performance improvements of communication-based train control (CBTC) systems with unreliable wireless networks.
Wirel. Networks, 2014

Communication-Based Train Control (CBTC) Systems With Cooperative Relaying: Design and Performance Analysis.
IEEE Trans. Veh. Technol., 2014

Design and Performance Enhancements in Communication-Based Train Control Systems With Coordinated Multipoint Transmission and Reception.
IEEE Trans. Intell. Transp. Syst., 2014

A Two-Objective Timetable Optimization Model in Subway Systems.
IEEE Trans. Intell. Transp. Syst., 2014

Finite-State Markov Modeling for Wireless Channels in Tunnel Communication-Based Train Control Systems.
IEEE Trans. Intell. Transp. Syst., 2014

Efficient Bilevel Approach for Urban Rail Transit Operation With Stop-Skipping.
IEEE Trans. Intell. Transp. Syst., 2014

Optimization of Multitrain Operations in a Subway System.
IEEE Trans. Intell. Transp. Syst., 2014

Energy-Efficient Train Operation in Urban Rail Transit Using Real-Time Traffic Information.
IEEE Trans. Intell. Transp. Syst., 2014

Performance Improved Methods for Communication-Based Train Control Systems With Random Packet Drops.
IEEE Trans. Intell. Transp. Syst., 2014

IEEE International Conference on Intelligent Rail Transportation [Conference Report].
IEEE Intell. Transp. Syst. Mag., 2014

Design and performance tests in an integrated TD-LTE based train ground communication system.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Performance improvement in Communication-Based Train Control (CBTC) Systems using cognitive control.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

A novel handoff decision algorithm in TD-LTE based train-ground communication system.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

Method to improve the performance of communication-based train control (CBTC) systems with transmission delays and packet drops.
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

A novel communication-based train control (CBTC) system with coordinated multi-point transmission and reception.
Proceedings of the IEEE Global Communications Conference, 2014

Energy-efficient communication-based train control (CBTC) systems with random delay and packet drop.
Proceedings of the IEEE Global Communications Conference, 2014

2013
A Cooperative Scheduling Model for Timetable Optimization in Subway Systems.
IEEE Trans. Intell. Transp. Syst., 2013

A Subway Train Timetable Optimization Approach Based on Energy-Efficient Operation Strategy.
IEEE Trans. Intell. Transp. Syst., 2013

Finite-State Markov Modeling of Leaky Waveguide Channels in Communication-Based Train Control (CBTC) Systems.
IEEE Commun. Lett., 2013

A joint design of security and quality-of-service (QoS) provisioning in vehicular ad hoc networks with cooperative communications.
EURASIP J. Wirel. Commun. Netw., 2013

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Real-time scheduling for trains in urban rail transit systems using nonlinear optimization.
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013

Model-based test cases generation for Onboard system.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

A novel communication-based train control (CBTC) system with cooperative wireless relaying.
Proceedings of IEEE International Conference on Communications, 2013

Joint security and QoS provisioning in cooperative vehicular ad hoc networks.
Proceedings of IEEE International Conference on Communications, 2013

Finite-state Markov modeling of tunnel channels in communication-based train control (CBTC) systems.
Proceedings of IEEE International Conference on Communications, 2013

A delay tolerant control scheme for communication-based train control (CBTC) systems with unreliable wireless networks.
Proceedings of IEEE International Conference on Communications, 2013

An energy-efficient control scheme for communication-based train control (CBTC) systems with random packet drops.
Proceedings of IEEE International Conference on Communications, 2013

2012
Handoff Performance Improvements in MIMO-Enabled Communication-Based Train Control Systems.
IEEE Trans. Intell. Transp. Syst., 2012

Cross-Layer Handoff Design in MIMO-Enabled WLANs for Communication-Based Train Control (CBTC) Systems.
IEEE J. Sel. Areas Commun., 2012

An integrated error-detecting method based on expert knowledge for GPS data points measured in Qinghai-Tibet Railway.
Expert Syst. Appl., 2012

Handoff Management in Communication-Based Train Control Networks Using Stream Control Transmission Protocol and IEEE 802.11p WLANs.
EURASIP J. Wirel. Commun. Netw., 2012

Cross-Layer Handoff Design in Communication-Based Train Control (CBTC) Systems Using WLANs.
Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

Optimal Charging Control for Electric Vehicles in Smart Microgrids with Renewable Energy Sources.
Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

Energy efficient driving strategy for trains in MRT systems.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Component Based Design of Fault Tolerant Devices in Cyber Physical System.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Service availability analysis in communication-based train control (CBTC) systems using WLANs.
Proceedings of IEEE International Conference on Communications, 2012

2011
Cross-Layer Design for Video Transmissions in Metro Passenger Information Systems.
IEEE Trans. Veh. Technol., 2011

Computationally Inexpensive Tracking Control of High-Speed Trains With Traction/Braking Saturation.
IEEE Trans. Intell. Transp. Syst., 2011

An Introduction to Parallel Control and Management for High-Speed Railway Systems.
IEEE Trans. Intell. Transp. Syst., 2011

Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Stochastic charging management for plug-in electric vehicles in smart microgrids fueled by renewable energy sources.
Proceedings of the IEEE Online Conference on Green Communications, 2011

Energy saving for automatic train control in moving block signaling system.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Modelling and Verification of the System Requirement Specification of Train Control System Using SDL.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Safety Monitoring for ETCS with 4-valued LTL.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

Cross Layer Design in MIMO-Enabled Communication-Based Train Control Systems.
Proceedings of the Global Communications Conference, 2011

Neuroadaptive variable structure control of mass transit trains.
Proceedings of the American Control Conference, 2011

2010
Runtime Verification with Multi-valued Formula Rewriting.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

2009
Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL.
Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2007
The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

2006
Intelligent Railway Systems in China.
IEEE Intell. Syst., 2006


  Loading...