Control engineering of autonomous cognitive vehicles -a practical tutorial, pp.1-31, 1920. ,
, Taxonomy and definitions for terms related to driving automation systems for onroad motor vehicles, vol.19, p.39, 2016.
La sûreté de fonctionnement: méthodes pour maîtriser les risques, vol.9, p.46, 2001. ,
A scenario-adaptive driving behavior prediction approach to urban autonomous driving, Applied Sciences, vol.7, issue.4, p.100, 2017. ,
, on the framework for the deployment of Intelligent Transport Systems in the field of road transport and for interfaces with other modes of transport, Official Journal of the European Union, p.17, 2010.
Intelligent Transportation Systems, IEEE Vehicular Technology Magazine, vol.5, p.17, 2010. ,
Bilan de l'accidentalité de l'année 2016, Observatoire National Interministériel de la Sécurité Routière ,
Critical reasons for crashes investigated in the National Motor Vehicle Crash Causation Survey, vol.18, 2015. ,
, Nouvelle France industrielle -Véhicule autonome. Government of the French Republic, 2014.
Intelligent Systems: Architecture, Design and Control, 1921. ,
Ability and skill grpahs for system modeling, online monitoring and decision support for vehicle guidance systems, IEEE Intelligent Vehicles Symposium, p.21, 2015. ,
Perception, planning, control and coordination for autonomous vehicles, Machines, vol.5, issue.1, 1921. ,
A functional architecture for autonomous driving, Proceedings of the First International Workshop on Automotive Software Architecture, p.21, 2015. ,
Dynamic vision for perception and contorl of motion, 1921. ,
Towards a functional system architecture for automated vehicles, vol.21, p.22, 2017. ,
Handbook of intelligent vehicles, 1921. ,
All Weather Perception: Joint Data Association, Tracking, and Classification for Autonomous Ground Vehicles, vol.111, p.113, 2016. ,
Features of intelligence required by unmanned ground vehicles, pp.243-252, 2001. ,
Defining and substantiating the terms scene, situation and scenario for automated driving, IEEE Intelligent Transportation Systems Conference, 2015. ,
Autonomous integrity monitoring of navigation maps on board intelligent vehicles, p.24, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01092628
Nissan IDS Concept: Nissan's vision for the future of EVs an autonomous driving, p.24, 2015. ,
A review of motion planning techniques for automated vehicles, IEEE Transactions on Intelligent Transportation Systems, vol.17, issue.4, p.25, 2016. ,
A survey on motion predicion and risk assessment for intelligent vehicles, ROBOMECH Journal, vol.1, p.25, 2014. ,
Challenges and approaches to realizing autonomous vehicle safety. RAND Corporation, p.25, 2017. ,
Effects of adaptive cruise control and highly automated driving on workload and situation awareness: a review of the empirical evidence, Transportation Research Part F: Traffic Psychology and Behaviour, vol.27, p.25, 2014. ,
Adaptive cruise control design for active congestion avoidance, Transportation Research Part C: Emerging Technologies, vol.16, issue.6, p.26, 2008. ,
Drivers' understanding of adaptive cruise control limitations, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, vol.53, p.118, 2009. ,
Department of Transportation National Highway Traffic Safety Administration (NHTSA), ODI Resume on the subject of Automatic Vehicle Control Systems. Investigation PE 16-007, p.26, 2016. ,
Examining accident reports involving autonomous vehicles in California, PLoS one, vol.12, pp.1-20, 1926. ,
Copilot: monitoring embedded systems, Innovations in Systems and Software Engineering, vol.9, p.29, 2013. ,
Autonomous vehicle safety: An interdisciplinary challenge, IEEE Intelligent Transportation Systems Magazine, vol.9, issue.1, p.30, 2017. ,
A perception-driven autonomous urban vehicle, Journal of Field Robotics, vol.25, issue.10, p.113, 2008. ,
, Preliminary statement of policy concerning automated vehicles. National Highway Traffic Safety Administration, p.35, 2013.
Legal consequences of an increase in vehicle automation, Report F. Die Bundestanstalt für Straßenwesen, p.35, 2009. ,
A critical view of driver behavior models: What do we know, what should we do, p.36, 1985. ,
Dependability of computer systems: concepts, limits, improvements, Sixth International Symposium on Software Reliability Engineering, p.45, 1995. ,
, Terms and definitions related to quality of service and network performance including dependability, p.46, 1994.
Applying systems thinking to analyze and learn from events, Safety Science, vol.49, issue.1, p.47, 2011. ,
A reference model of information assurance and security, Eighth International Conference on Availability, Reliability and Security (ARES), p.47, 2013. ,
Safety-critical systems, formal methods and standards, Software Engineering Journal, vol.8, issue.4, p.56, 1993. ,
Tolérance aux fautes dans les systèmes autonomes, p.48, 2007. ,
Safeware: System Safety and Computers, 1995. ,
Failure mode, effects and criticality analysis of 85T dumpers in open cast mines, International Journal of Innovative Research and Development, vol.1, issue.5, p.50, 2012. ,
Failure mode, effect and criticality analysis, Electronic Systems Effectiveness and Life Cycle Costing, p.50, 1983. ,
, , p.51, 1981.
A review of research on risk and safety modelling in civil aviation, Journal of Air Transport Management, vol.14, issue.4, p.52, 2008. ,
A new accident model for engineering safer systems, Safety science, vol.42, issue.4, p.52, 2004. ,
Risk management in a dynamic society: a modelling problem, Safety science, vol.27, issue.2, p.52, 1997. ,
The functional resonance accident model, Proceedings of Cognitive System Engineering in Process Plant, p.52, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00614254
Normal accidents: Living with high risk technologies, p.52, 2011. ,
Ensuring Safety of Systems of Systems, Citeseer, p.52, 2007. ,
The drawbacks in using the term 'system of systems, Biomedical Instrumentation & Technology, vol.47, issue.2, p.52, 2013. ,
Modeling and hazard analysis using STPA, Conference of the International Association for the Advancement of Space Safety, p.53, 2010. ,
A story about formal methods adoption by a railway signaling manufacturer, FM 2006: Formal Methods, p.53, 2006. ,
Modèles et algorithmes pour la vérification des systèmes temporisés, p.53, 2002. ,
Automated formal methods enter the mainstream, Communications of the Computer Society of India, vol.13, p.56, 2007. ,
Abstract interpretation based formal methods and future challenges, p.54, 2001. ,
Model checking and the state explosion problem, Tools for Practical Software Verification, p.55, 2012. ,
Formal methods and the certification of critical systems, SRI International, vol.55, p.56, 1993. ,
Seven more myths of formal methods, IEEE Software, vol.12, issue.4, p.55, 1995. ,
The practice of formal methods in safetycritical systems, Journal of Systems and Software, vol.28, issue.1, p.57, 1995. ,
Confessions of a formal methodist, Proceedings of the seventh Australian workshop conference on Safety critical systems and software, p.56, 2003. ,
Formal methods: Practice and experience, ACM Computing Surveys (CSUR), vol.41, issue.4, p.56, 2009. ,
The use of industrial-strength formal methods, The Twenty-First Annual International Computer Software and Applications Conference (COMPSAC), p.57, 1997. ,
Use of Formal Methods at Amazon Web Services, p.57, 2014. ,
Experience with formal methods in protocol development, ACM SIGCOMM Computer Communication Review, vol.21, issue.2, p.57, 1991. ,
Vehicle dynamics and control, p.57, 2011. ,
The dynamic window approach to collision avoidance, IEEE Robotics & Automation Magazine, vol.4, issue.1, p.57, 1997. ,
Research advances in intelligent collision avoidance and adaptive cruise control, IEEE Transactions on Intelligent Transportation Systems, vol.4, issue.3, pp.143-153, 2003. ,
An analysis of driver's steering behaviour during auditory or haptic warnings for the designing of lane departure warning system, JSAE Review, vol.24, issue.1, pp.65-70, 2003. ,
Development, evaluation and introduction of a lane keeping assistance system, IEEE Intelligent Vehicles Symposium, p.58, 2004. ,
Affordable visual driver monitoring system for fatigue and monotony, IEEE International Conference on Systems, Mans and Cybernetics, vol.7, p.58, 2004. ,
Adaptive cruise control: Hybrid, distributed, and now formally verified, International Symposium on Formal Methods, vol.6664, p.58, 2011. ,
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control, 53rd Annual Conference on Decision and Control (CDC), p.59, 2014. ,
Driving to safety: How many miles of driving would it take to demonstrate autonomosu vehicle reliability, Transportation Research Part A: Policy and Practice, p.59, 2016. ,
Testing and validating high level components for automated driving: simulation framework for traffic scenarios, Intelligent Vehicles Symposium, p.59, 2016. ,
Datadriven simulation and parametrization of traffic scenarios for the development of advanced driver assistance systems, Information Fusion (Fusion), pp, p.59, 2015. ,
Challenges in autonomous vehicle testing and validation, SAE International Journal Transportation Safety, p.59, 2016. ,
How to reach complete safety requirement refinement for autonomous vehicles, Critical Automotive Applications: Robustness & Safety, p.59, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01190734
On a formal model of safe and scalable self-driving cars, p.60, 2017. ,
Analyse des risques pour la conception d'un systeème de conduite automatisèe avec stamp, 2A-Risques liés aux nouveaux usages-architectures robustes 1, p.60, 2016. ,
Experimental evaluation and formal analysis of high-level tasks with dynamic obstacle anticipation on a full sized autonomous vehicle, Journal of Field Robotics, vol.34, issue.5, p.60, 2017. ,
A conceptual safety supervisor deinifion and evaluation framework for autonomous systems, International Conference on Computer Safety, Reliability and Security, vol.10488, p.60, 2017. ,
Road to safe autonomy with data and formal reasoning, p.60, 2017. ,
An MPC-based approach to provable system-wide safety and liveness of autonomous ground traffic, p.60, 2014. ,
A formally verified checker of the safe distance traffic rules for autonomous vehicles, NASA Formal Methods Symposium, vol.9690, p.60, 2016. ,
Formal verification of autonomous vehicle platooning, Science of Computer Programming, vol.148, p.60, 2017. ,
Ethical decision making during automated vehicle crashes, Transportation Research Record: Journal of the Transportation Research Board, p.60, 2014. ,
Safe, multi-agent, reinforcement learning for autonomous driving, p.60, 2016. ,
Towards proving the adversarial robustness of deep neural networks, p.60, 2017. ,
Automated synthesis of safe autonomous vehicle control under perception uncertainty, NASA Formal Methods, vol.9690, p.60, 2016. ,
Concrete problems for autonomous vehicle safety: advantages of Bayesian deep learning, Internation Joint Conferences on Artificial Intelligence, p.60, 2017. ,
Introduction to the numerical solutions of Markov chains, p.63, 1994. ,
Markov decision processes: discrete stochastic dynamic programming, p.63, 1994. ,
Automatic verification of real-time systems with discrete probability distributions, Theoretical Computer Science, vol.282, issue.1, p.63, 2002. ,
On probabilistic automata in continuous time, Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on, p.63, 2010. ,
Stochastic timed automata, Logical Methods in Computer Science, vol.10, issue.4, p.63, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01102368
Probabilistic model checking of deadline properties in the IEEE 1394 FireWire root contention protocol, Formal Aspects of Computing, vol.14, issue.3, pp.295-318, 2003. ,
Prism 4.0: Verification of probabilistic real-time systems, Computer aided verification, vol.6806, p.63, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648035
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Trans. Comput. Syst, vol.2, issue.2, p.63, 1984. ,
Discrete time stochastic Petri nets, IEEE Trans. Software Eng, vol.11, issue.4, p.63, 1985. ,
Using stochastic state classes in quantitative evaluation of dense-time reactive systems, IEEE Trans. Software Eng, vol.35, issue.5, p.63, 2009. ,
Modeling and verification of time dependent systems using time Petri nets, IEEE trans. on Soft. Eng, vol.63, issue.3, p.83, 1991. ,
An enumerative approach for analyzing time Petri nets, Information Processing: proceedings of the IFIP congress 1983, vol.9, p.83, 1983. ,
Extended stochastic Petri nets: Applications and analysis, p.64, 1984. ,
State class constructions for branching analysis of time Petri nets, TACAS'2003, vol.2619, p.87, 2003. ,
Principles of model checking, vol.77, p.80, 2008. ,
Model checking for probabilistic timed automata, Formal Methods in System Design, vol.43, issue.2, p.92, 2013. ,
Towards dependable autonomous driving vehicles: a system-level approach, ACM SIGBED Review, vol.10, issue.1, p.101, 2013. ,
Control strategy selection for autonomous vehicles in a dynamic environment, International Conference on Systems, Man and Cybernetics, p.93, 2005. ,
A real-time, multi-sensor architecture for fusion of delayed observations: application to vehicle localization, Intelligent Transportation Systems Conference, p.93, 2006. ,
Probabilistic analysis of correctness of high-level robot behaviour with sensor error, Robotics: Science and Systems, p.94, 2011. ,
Optimal temporal logic planning in probabilistic semantic maps, International Conference on Robotics and Automation, p.94, 2016. ,
Autonomous vehicle perception: The technology of today and tomorrow, Transportation Research Part C: Emerging Technologies, p.94, 2018. ,
Automotive radar and lidar systems for next generation driver assistance functions, Advances in Radio Science, vol.3, p.94, 2005. ,
Perception, information processing and modeling: Critical stages for autonomous driving applications, Annual Reviews in Control, p.94, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01671375
Formalizing classes of information fusion systems, Information Fusion, vol.5, issue.3, p.95, 2004. ,
Category theory-based synthesis of a higher-level fusion algorithm: An example," in Information Fusion, p.95, 2006. ,
Petri net-based real-time scheduling of timeconstrained single-arm cluster tools with activity time variation, International Conference on Robotics and Automation, p.95, 2012. ,
Supervisor design and simplification for automated manufacturing systems using colored Petri nets, International Conference on Robotics and Automation, p.95, 2015. ,
Probabilistic time Petri nets," in Application and Theory of Petri Nets and Concurrency, p.95, 2016. ,
Are we ready for autonomous driving? the KITTI vision benchmark suite, Conference on Computer Vision and Pattern Recognition, p.96, 2012. ,
Are all objects equal? Deep spatio-temporal importance prediction in driving videos, Pattern Recognition, p.97, 2017. ,
Toward principles for the design of ontologies used for knowledge sharing, International Journal of Human-Computer Studies, p.97, 1995. ,
Situation Understanding and Risk Assessment Framework for Preventive Driver Assistance, p.97, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01421917
Multisensor data fusion: A review of the state-of-the-art, Information Fusion, vol.14, issue.1, p.107, 2013. ,
Sensor models and multisensor integration, International Journal of Robotics Research, vol.7, issue.6, p.102, 1988. ,
Credibilist occupancy grids for vehicle perception in dynamic environments, International Conference on Robotics and Automation, p.102, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00615303
Probabilistic analysis of dynamic scenes and collision risks assessment to improve driving safety, Intelligent Transport Systems Magazine, vol.3, issue.4, p.102, 2011. ,
Data fusion using improved Dempster-Shafer evidence theory for vehicle detection, Fuzzy Systems and Knowledge Discovery, p.103, 2007. ,
A road-matching method for precise vehicle localization using belief theory and Kalman filtering, Autonomous Robots, vol.19, issue.2, p.103, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00172637
Romeo: A parametric model-checker for Petri nets with stopwatches, Tools and Algorithms for the Construction and Analysis of Systems, vol.103, p.112, 2009. ,
The expressive power of time Petri nets, Theoretical Computer Science, vol.474, issue.103, pp.1-20, 2013. ,
Multisensor data fusion: A review of the state-of-the-art, Information Fusion, vol.14, issue.1, pp.28-44, 2013. ,
, Toward replicable and measurable robotics research, vol.22, p.107, 2015.
Information evaluation in fusion: a case study," in Information Processing and Management of Uncertainty in Knowledge-Based Systems, p.107, 2004. ,
Taxonomy and definitions for terms related to driving automation systems for on-road motor vehicles, vol.110, p.126, 2016. ,
Robust on-vehicle realtime visual detection of American and European speed limit signs, Intelligent Vehicles Symposium, p.111, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00422588
Lane estimation for autonomous vehicles using vision and lidar, p.111, 2010. ,
A review on moving object detection and tracking, International Journal of Computational Intelligence Research, vol.5, issue.3, p.111, 2015. ,
Visibility estimation from a moving vehicle using the ralph vision system, Intelligent Transportation Systems Conference, p.111, 1997. ,
Influences of weather phenomena on automotive laser radar systems, Advances in Radio Science, vol.9, p.111, 2011. ,
Effects of adaptive cruise control and highly automated driving on workload and situation awareness: A review of the empirical evidence, Transportation Research Part F: Traffic Psychology and Behaviour, vol.27, p.117, 2014. ,
Monotony of road environment and driver fatigue: a simulator study, Accident Analysis & Prevention, vol.35, issue.3, p.117, 2003. ,
Take over! How long does it take to get the driver back into the loop?, Proceedings of the Human Factors and Ergonomics Society Annual Meeting, vol.57, pp.1938-1942, 2013. ,
Please take over! an analysis and strategy for a driver take over request during autonomous driving, Intelligent Vehicles Symposium (IV), p.118, 2015. ,
Collision avoidance with automatic braking and swerving, IFAC, vol.47, issue.3, p.118, 2014. ,
Safety verification of autonomous vehicles for coordinated evasive maneuvers, Intelligent Vehicles Symposium, p.119, 2010. ,
Risk assessment at road intersections: Comparing intention and expectation, Intelligent Vehicles Symposium, p.119, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00743219
Real-time motion planning for agile autonomous vehicles, American Control Conference, vol.1, p.119, 2001. ,
Model based controller synthesis using reachability analysis that guarantees the safety of autonomous vehicles in a convoy, International Conference on Vehicular Electronics and Safety, p.119, 2012. ,
Enabling safe autonomous driving in real-world city traffic using multiple criteria decision making, p.119, 2011. ,
Multiagent systems: A survey from a machine learning perspective, Autonomous Robots, p.119, 2000. ,
Multiagent systems: a modern approach to distributed artificial intelligence, p.119, 1999. ,
A review of intelligent systems software for autonomous vehicles, 2007 IEEE Symposium on Computational Intelligence in Security and Defense Applications, p.119, 2007. ,
Autonomous vehicle control systems-a review of decision making, Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering, vol.225, issue.2, p.119, 2011. ,
Time-to-collision and collision avoidance systems, vol.127, p.143, 1993. ,
Probabilistic grid-based collision risk prediction for driving application, p.129, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01011808
The worst-time-to-collision metric for situation identification, Intelligent Vehicles Symposium (IV), 2016. ,
, IEEE, p.129, 2016.
Ethical decision making during automated vehicle crashes, Transportation Research Record: Journal of the Transportation Research Board, issue.2424, p.132, 2014. ,
Safeware: System Safety and Computers, p.134, 1995. ,
A cognitive approach to situation awareness: Theory and application, ch. Drivers' hazard perception ability: Situation awareness on the road, p.134, 2004. ,
Recognition of dangerous situations within a cooperative group of vehicles, Intelligent Vehicles Symposium, p.134, 2009. ,
, Dangerous road section analysis method and dangerous road section analysis device
, System for correcting and providing real-time dangerous road-section information based on device in the car and its method
, Sections of road traffic safety hazard screening methods and systems
Identifying hazardous road locations: hot spots versus hot zones, Transactions on Computational Science VI, p.134, 2009. ,
Identification of hazardous road locations of traffic accidents by means of kernel density estimation and cluster significance evaluation, Accident Analysis & Prevention, vol.55, issue.134, pp.265-273, 2013. ,
Comparison of planar and network k-functions in traffic accident analysis, Journal of Transport Geography, vol.12, issue.2, p.134, 2004. ,
Applying linear analysis methods to gis-supported procedures for preventing traffic accidents: Case study of konya, Safety Science, vol.48, issue.6, p.134, 2010. ,