Inertia
发表于 2025-3-25 07:09:49
http://reply.papertrans.cn/83/8265/826425/826425_21.png
Crohns-disease
发表于 2025-3-25 11:20:35
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
比目鱼
发表于 2025-3-25 12:47:41
http://reply.papertrans.cn/83/8265/826425/826425_23.png
物种起源
发表于 2025-3-25 17:59:53
http://reply.papertrans.cn/83/8265/826425/826425_24.png
Lipoprotein(A)
发表于 2025-3-25 23:37:29
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
结构
发表于 2025-3-26 02:35:01
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
耕种
发表于 2025-3-26 05:15:40
http://reply.papertrans.cn/83/8265/826425/826425_27.png
Mundane
发表于 2025-3-26 10:13:41
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
可憎
发表于 2025-3-26 15:18:10
http://reply.papertrans.cn/83/8265/826425/826425_29.png
HUMID
发表于 2025-3-26 18:06:48
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