Provably safe navigation for mobile robots with limited field-of-views in unknown dynamic environments
Citations
Computationally Efficient Fail-safe Trajectory Planning for Self-driving Vehicles Using Convex Optimization
Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots
Towards the Verification of Safety-critical Autonomous Systems in Dynamic Environments
What lies in the shadows? Safe and computation-aware motion planning for autonomous vehicles using intent-aware dynamic shadow regions
References
Planning Algorithms: Introductory Material
The dynamic window approach to collision avoidance
Motion Planning in Dynamic Environments Using Velocity Obstacles
Reciprocal Velocity Obstacles for real-time multi-agent navigation
Related Papers (5)
Frequently Asked Questions (15)
Q2. What future works have the authors mentioned in the paper "Provably safe navigation for mobile robots with limited field-of-views in unknown dynamic environments" ?
Passive motion safety has been tackled using a variant of the Inevitable Collision State ( ICS ) concept called Braking ICS [ 3 ], i. e. states such that, whatever the future braking trajectory followed by the robot, a collision occurs before it is at rest.
Q3. What are the two main problems addressed in the paper?
For instance, the occlusion problem, i.e. the existence of regions that are hidden by other objects, is addressed in [21] and [5].
Q4. What is the contribution of this paper?
The contribution of this paper is an extension of [17] that deals with limited field-of-views, occlusions and unknown future behaviour of the objects.
Q5. What is the earliest relevant work on the subject?
The earliest relevant works addressed the so-called “Asteroid Avoidance Problem”: in 3D, [20] shows that collision avoidance is always possible if therobot’s velocity is greater than the asteroids’ velocities.
Q6. What is the simplest way to ensure that adm. control is safe?
PASSAVOID features two important steps: computing the kernel K(s0) (line #2) and checking whether the state s(δt) is δ-p-safe (line #6).
Q7. How is a state trajectory derived from a control trajectory?
Starting from an initial state s0 at time 0, a state trajectory s̃, i.e. a timesequence of states, is derived from a control trajectory ũ by integrating (1); s̃(s0, ũ, t) denotes the state reached at time t.
Q8. What is the braking trajectories used in the blind crowd scenario?
The parameters for this scenario were set as follows: vmax = 15m.s−1 (maximum velocity of A and of the moving objects), ξmax = π/3rad, uαmax = 7m.s−2, uξmax = 1.54rad.s−1.
Q9. What is the final time complexity of PASSAVOID?
Given that the complexity of ICSb-CHECK grows linearly with nb (the size of the set of braking trajectories), no (number of objects) and nt (number of the time steps used to represent the model of the future), the final time complexity of PASSAVOID is O(nsnbnont).
Q10. What is the braking trajectory of A?
The set of braking trajectories E used by ICSb-CHECK comprised one δ-braking trajectory defined by a constant minimum linear deceleration uα = −uαmax .
Q11. What is the behaviour of a braking system?
In this scenario, when driven by PASSAVOID, A exhibits the following behaviour in order to always remain in p-safe states:1) the increasing approach of Bm forces A to gradually decrease its velocity until it stops.
Q12. What is the boundary between the two?
W is partitioned in three subsets: (1) FOV, (2) FOVc, the part which is unseen (FOVc = W \\ cl(FOV)) and (3) ∂FOV, the boundary between the two.
Q13. What is the definition of a motion safety level?
Such a motion safety level assume that the moving objects have cognitive abilities and are not hostile (which happens to be true in many situations).
Q14. What is the assumption on the initial state being -p-safe?
Concerning the assumption on the initial state being δ-p-safe, it is satisfied when A is at rest, and the null control is admissible.
Q15. What is the name of the ICS checker?
An efficient Braking ICS-Checker (henceforth called ICSb-CHECK) is also presented in [3], it checks whether a given state is a Braking ICS or not for a given model of the future.