Titlebook: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi; Third International Simon Collart-Du

Inertia

Crohns-disease

Connected or Autonomous Trains? and train to train communication will support distributed control algorithms, while on board artificial intelligence will provide autonomous control decisions. Already installed systems, like ERTMS-ETCS, are actually distributed systems that span over geographical areas and are able to safely contr

比目鱼

物种起源

Lipoprotein(A)

Performance Evaluation of Metro Regulations Using Probabilistic Model-Checkingation to the whole network, metro operators use regulation algorithms that adapt speeds and departure dates of trains. Regulation algorithms are ad-hoc tools tuned to cope with characteristics of tracks, rolling stock, and passengers habits. However, there is no universal optimal regulation adapted

结构

Automated Planning of ETCS Tracksand planning time which is exacerbated by the complex planning rules laid down in ETCS regulations mandatory for new tracks. In a project performed for DB Netz AG we explore the possibility of automating a large part of the ETCS rail track planning process. We report on our experience in building a

耕种

Mundane

Safe and Time-Optimal Control for Railway Gamesormal model of railway scheduling as a stochastic timed game and using the tool ., we synthesise the most permissive control strategy for operating the lights and points at the railway scenario such that we guarantee system’s safety (avoidance of train collisions). Among all such safe strategies, we

可憎

HUMID

Efficient Data Validation for Geographical Interlocking Systemsles for IXLs can be specified by temporal logic formulas interpreted on Kripke structure representations of the IXL configuration. Violations of configuration rules can be specified using formulas from a well-defined subset of LTL. By decomposing the complete configuration model into sub-models corr