Runtime verification of train control systems with parameterized modal live sequence charts-Reference-Cited by-同舟云学术

Runtime verification of train control systems with parameterized modal live sequence charts

Published:2021-07 Issue: Volume:177 Page:110962
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Chai Ming,Wang Haifeng,Tang Tao,Liu Hongjie^ORCID

Funder

Beijing Natural Science Foundation

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference56 articles.

1. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., 2017. Monitoring for silent actions. In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), pp. 7:1–7:14.

2. A framework for parameterized monitorability;Aceto,2018

3. Determinizing monitors for HML with recursion;Aceto;J. Log. Algebraic Methods Program.,2020

4. Adventures in monitorability: From branching to linear time and back again;Aceto;Proc. ACM Program. Lang.,2019

5. An operational guide to monitorability;Aceto,2019

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Online hazard prediction of train operations with parametric hybrid automata based runtime verification;Reliability Engineering & System Safety;2024-01

2. A robust MPC approach with controller tuning for close following operation of virtually coupled train set;Transportation Research Part C: Emerging Technologies;2023-06

3. Model-Checking-Based Automated Test Case Generation for Z Formal Specification of an Urban Railway Interlocking System;2022 Fourth International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT);2022-12-26

4. Behavior Planning of Trains with Trajectory Predictioin;2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC);2022-10-08

5. Longitudinal Control Strategy Synthesis for Train Platoons Based on Priced Timed Game;2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC);2022-10-08