Access the full text.
Sign up today, get DeepDyve free for 14 days.
B. Boyer, Kevin Corre, Axel Legay, Sean Sedwards (2013)
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library
Group Abstraction for Assisted Navigation of Social Activities in Intelligent Environments
A. Colombo, D. Fontanelli, Axel Legay, L. Palopoli, Sean Sedwards (2013)
Motion planning in crowds using statistical model checking to enhance the social force model52nd IEEE Conference on Decision and Control
Maren Bennewitz, Wolfram Burgard, S. Thrun (2002)
Finding and Optimizing Solvable Priority Schemes for Decoupled Path Planning Techniques for Teams of Mobile RobotsRobotics Auton. Syst., 41
(2009)
Assignment Problems, Revised Reprint: . Other titles in applied mathematics. Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104)
S. Faria, D. Provete, C. Thurman, J. McNamara (2017)
Phylogenetic patterns and the adaptive evolution of osmoregulation in fiddler crabs (Brachyura, Uca)PLoS ONE, 12
F. Farina, D. Fontanelli, A. Garulli, Antonio Giannitrapani, D. Prattichizzo (2016)
When Helbing meets Laumond: The Headed Social Force Model2016 IEEE 55th Conference on Decision and Control (CDC)
Alexandre Alahi, Kratarth Goel, Vignesh Ramanathan, Alexandre Robicquet, Li Fei-Fei, S. Savarese (2016)
Social LSTM: Human Trajectory Prediction in Crowded Spaces2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)
Vishnu Desaraju, J. How (2012)
Decentralized path planning for multi-agent teams with complex constraintsAutonomous Robots, 32
A Wald (1945)
Sequential tests of statistical hypothesesAnn Math Stat, 16
(2015)
Prioritized planning for road vehicles coordination
D Helbing, I Farkas, P Molnár, T Vicsek (2002)
Pedestrian and evacuation dynamics
Yong Zhang, D. Gong, Jianhua Zhang (2013)
Robot path planning in uncertain environment using multi-objective particle swarm optimizationNeurocomputing, 103
A. Poncela, C. Urdiales, E. Pérez, F. Hernández (2009)
A New Efficiency-Weighted Strategy for Continuous Human/Robot Cooperation in NavigationIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 39
C. Galindo, Javier González, J. Fernández-Madrigal (2006)
Control Architecture for Human–Robot Integration: Application to a Robotic WheelchairIEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), 36
Jean-Arcady Meyer, David Filliat (2003)
Map-based navigation in mobile robots: II. A review of map-learning and path-planning strategiesCognitive Systems Research, 4
Hongwei Mo, Lifang Xu (2015)
Research of biogeography particle swarm optimization for robot path planningNeurocomputing, 148
Michal Cáp, P. Novák, Martin Selecký, J. Faigl, Jiff Vokffnek (2013)
Asynchronous decentralized prioritized planning for coordination in multi-robot system2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
F. Farina, D. Fontanelli, A. Garulli, Antonio Giannitrapani, D. Prattichizzo (2017)
Walking Ahead: The Headed Social Force ModelPLoS ONE, 12
(2015)
and M
(2017)
ACANTO project web site
Michal Cáp, P. Novák, A. Kleiner, Martin Selecký (2014)
Prioritized Planning Algorithms for Trajectory Coordination of Multiple Mobile RobotsIEEE Transactions on Automation Science and Engineering, 12
David Arthur, Sergei Vassilvitskii (2007)
k-means++: the advantages of careful seeding
J. MacQueen (1967)
Some methods for classification and analysis of multivariate observations, 1
H. Kress-Gazit, Georgios Fainekos, George Pappas (2009)
Temporal-Logic-Based Reactive Mission and Motion PlanningIEEE Transactions on Robotics, 25
PLASMA-lab SMC library web site
(2017)
ETH Zürich BIWI walking pedestrians open dataset web site
Keith O'Hara, T. Balch (2004)
Pervasive Sensor-less Networks for Cooperative Multi-robot Tasks
J. Mcqueen (1967)
Some methods for classi cation and analysis of multivariate observations
D. Helbing, P. Molnár (1995)
Social force model for pedestrian dynamics.Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics, 51 5
R. Khan, B. Ghosh (1972)
Sequential Tests of Statistical Hypotheses.Journal of the American Statistical Association, 72
Thomas Given-Wilson, Axel Legay, Sean Sedwards (2017)
Information Security, Privacy, and Trust in Social Robotic Assistants for Older Adults
David Filliat, Jean-Arcady Meyer (2003)
Map-based navigation in mobile robots: I. A review of localization strategiesCognitive Systems Research, 4
Maha Salem, G. Lakatos, F. Amirabdollahian, K. Dautenhahn (2015)
Would You Trust a (Faulty) Robot? Effects of Error, Task Type and Personality on Human-Robot Cooperation and Trust2015 10th ACM/IEEE International Conference on Human-Robot Interaction (HRI)
M. Mamei, F. Zambonelli (2005)
Physical deployment of digital pheromones through RFID technologyProceedings 2005 IEEE Swarm Intelligence Symposium, 2005. SIS 2005.
D. Parisi, M. Gilman, H. Moldovan (2009)
A modification of the Social Force Model can reproduce experimental data of pedestrian flows in normal conditionsPhysica A-statistical Mechanics and Its Applications, 388
C. Baier, J. Katoen (2008)
Principles of model checking
Pete Trautman, Jeremy Ma, R. Murray, Andreas Krause (2015)
Robot navigation in dense human crowds: Statistical models and experimental studies of human–robot cooperationThe International Journal of Robotics Research, 34
T. Hérault, Richard Lassaigne, F. Magniette, Sylvain Peyronnet (2004)
Approximate Probabilistic Model Checking
Shervin Nouyan, Alexandre Campo, M. Dorigo (2008)
Path formation in a robot swarmSwarm Intelligence, 2
H. Kuhn (1955)
The Hungarian method for the assignment problemNaval Research Logistics (NRL), 52
Weina Ge, R. Collins, Barry Ruback (2012)
Vision-Based Analysis of Small Groups in Pedestrian CrowdsIEEE Transactions on Pattern Analysis and Machine Intelligence, 34
D. Helbing, I. Farkas, T. Vicsek (1999)
Freezing by heating in a driven mesoscopic systemPhysical review letters, 84 6
M. Andreetto, S. Divan, D. Fontanelli, L. Palopoli (2017)
Path Following With Authority Sharing Between Humans and Passive Robotic Walkers Equipped With Low-Cost ActuatorsIEEE Robotics and Automation Letters, 2
D. Helbing, I. Farkas, T. Vicsek (2000)
Simulating dynamical features of escape panicNature, 407
D. Helbing, I. Farkas, P. Molnár, T. Vicsek (2002)
Simulation of pedestrian crowds in normal and evacuation situations
M. Okamoto (1959)
Some inequalities relating to the partial sum of binomial probabilitiesAnnals of the Institute of Statistical Mathematics, 10
Håkan Younes, R. Simmons (2002)
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
The ACANTO project is developing robotic assistants to aid the confidence and recovery of older adults. A key requirement of these assistants is aiding with navigation in complex and potentially chaotic environments. Prior work has addressed this for a single user, using a single robotic assistant in an intelligent environment. However, for therapeutic purposes, ACANTO supports social groups and group activities. ACANTO’s robotic assistants must, therefore, be able to plan the motion of groups of older adults walking together. This requires an efficient navigation solution that can handle large numbers of users and that can operate rapidly on embedded computing devices. To increase user confidence, the solution must encourage group cohesion without trying to impose its own rigid structure; it must try to maintain the natural (de facto) group structure despite unpredictable behaviours and environmental conditions. Our on-the-fly group motion planner addresses these challenges by: using intelligent environment information to develop behavioural traces, clustering traces to determine groups, constructing a predictive model of the groups as a whole, and finding an optimal suggested trajectory using statistical model checking. In this work, we describe our proposed approach in detail and validate some of its novel aspects on the ETH Zürich pedestrian motion dataset.
Journal of Reliable Intelligent Environments – Springer Journals
Published: May 25, 2018
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.