System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata

Abdel-Latif Alshalalfah, Otmane Aït Mohamed. System-Level Modeling and Safety Analysis of Vehicular Coordinated Emergency Braking Under Degraded Wireless Connectivity Using Priced Timed Automata. In 27th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2020, Glasgow, Scotland, UK, November 23-25, 2020. pages 1-4, IEEE, 2020. [doi]

Authors

Abdel-Latif Alshalalfah

This author has not been identified. Look up 'Abdel-Latif Alshalalfah' in Google

Otmane Aït Mohamed

This author has not been identified. Look up 'Otmane Aït Mohamed' in Google