| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Motion planning in crowds using statistical model checking to enhance the social force model
Abstract : Crowded environments pose a challenge to the comfort and safety of those with impaired ability. To address this challenge we have developed an efficient algorithm that may be embedded in a portable device. The algorithm anticipates undesirable circumstances in real time, by verifying simulation traces of local crowd dynamics against temporal logical formulae. The model incorporates the objectives of the user, pre-existing knowledge of the environment and real time sensor data. The algorithm is thus able to suggest a course of action to achieve the user's changing goals, while minimising the probability of problems for the user and others in the environment. To demonstrate our algorithm we have implemented it in an autonomous computing device that we show is able to negotiate complex virtual environments. The performance of our implementation demonstrates that our technology can be successfully applied in a portable device or robot.
Keywords :
Standards
assisted living
control engineering computing
formal verification
handicapped aids
path planning
pedestrians
Heuristic algorithms
Force
temporal logical formulae
statistical model checking
Probabilistic logic
Model checking
Prediction algorithms
probability
virtual reality
autonomous computing device
complex virtual environments
crowded environments
impaired ability comfort
impaired ability safety
local crowd dynamics
motion planning
portable device
real time sensor data
social force model
Cited literature [21 references]
https://hal.inria.fr/hal-01088031
Contributor : Sean Sedwards <>
Submitted on : Thursday, November 27, 2014 - 11:28:02 AM
Last modification on : Friday, July 10, 2020 - 4:26:16 PM
Document(s) archivé(s) le : Monday, March 2, 2015 - 9:21:54 AM
Contributor : Sean Sedwards <>
Submitted on : Thursday, November 27, 2014 - 11:28:02 AM
Last modification on : Friday, July 10, 2020 - 4:26:16 PM
Document(s) archivé(s) le : Monday, March 2, 2015 - 9:21:54 AM
File
Colombo-et-al2013.pdf
Files produced by the author(s)