The Fail-Safe Operation of Collaborative Driving Systems-Reference-Cited by-同舟云学术

The Fail-Safe Operation of Collaborative Driving Systems

Published:2014-12-16 Issue:1 Volume:20 Page:88-101
ISSN:1547-2450
Container-title:Journal of Intelligent Transportation Systems
language:en
Short-container-title:Journal of Intelligent Transportation Systems

Author:

Lin Shou-Pon¹,Maxemchuk Nicholas F.¹

Affiliation:

1. Department of Electrical Engineering, Columbia University, New York, New York, USA

Publisher

Informa UK Limited

Subject

Applied Mathematics,Computer Science Applications,Aerospace Engineering,Automotive Engineering,Information Systems,Software,Control and Systems Engineering

Link

https://www.tandfonline.com/doi/pdf/10.1080/15472450.2014.889932

Reference56 articles.

1. IEEE 1588 style synchronization over wireless link

2. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours

3. Timed Automata

4. A theory of timed automata

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

1. A rigorous multi-population multi-lane hybrid traffic model for dissipation of waves via autonomous vehicles;The European Physical Journal Special Topics;2022-05-23

2. Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints;International Journal of Software Engineering and Knowledge Engineering;2022-04

3. VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance;International Journal on Software Tools for Technology Transfer;2020-06-30

4. Simulating collective decision-making for autonomous vehicles coordination enabled by vehicular networks: A computational social choice perspective;Simulation Modelling Practice and Theory;2020-01

5. VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs;Model Checking Software;2019