Independent verification & validation: a life cycle engineering process for quality software
Independent verification & validation: a life cycle engineering process for quality software
Verification of sequential and concurrent programs (2nd ed.)
Verification of sequential and concurrent programs (2nd ed.)
Real-Time Systems Design and Analysis: An Engineer's Handbook
Real-Time Systems Design and Analysis: An Engineer's Handbook
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation
| Hi-index | 0.00 |
This work elaborates on the topic of decision making for driverless city vehicles, particularly focusing on the aspects on how to develop a reliable approach which meets the requirements of safe city traffic. Decision making in this context refers to the problem of identifying the most appropriate driving maneuver to be performed in a given traffic situation. The overall decision making problem is decomposed into two consecutive stages. The first stage is safety-crucial, representing the decision regarding the set of feasible driving maneuvers. The second stage represents the decision regarding the most appropriate driving maneuver from the set of feasible ones. The developed decision making approach has been implemented in C++ and initially tested in a 3D simulation environment and, thereafter, in real-world experiments. The real-world experiments also included the integration of wireless communication between vehicles.