Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles

 Yrvann Emzivat , Javier Ibañez-Guzmán , Hervé Illy , Philippe Martinet , Olivier Roux
ITSC 2018 - 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, United States. pp.1-8, ⟨10.1109/ITSC.2018.8569903⟩
Communication dans un congrès hal-01966844v1
Image document

Probabilistic Time Petri Nets

 Yrvann Emzivat , Benoit Delahaye , Didier Lime , Olivier Henri Roux
37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
Communication dans un congrès hal-01590900v1
Image document

Dynamic Driving Task Fallback for an Automated Driving System whose Ability to Monitor the Driving Environment has been Compromised

 Yrvann Emzivat , Javier Ibanez-Guzman , Philippe Martinet , Olivier Henri Roux
IEEE Intelligent Vehicles Symposium, Jun 2017, Redondo Beach, United States
Communication dans un congrès hal-01724931v1
Image document

Adaptability of Automated Driving Systems to the Hazardous Nature of Road Networks

 Yrvann Emzivat , Javier Ibanez-Guzman , Philippe Martinet , Olivier Henri Roux
IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. ⟨10.1109/itsc.2017.8317638⟩
Communication dans un congrès hal-01724933v1
Page :