Safety provisions for human/robot interactions using stochastic discrete abstractions

IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010 - Conference Proceedings

Volumn , Issue , 2010, Pages 2175-2180

  Asaula, Ruslan ^a   Fontanelli, Daniele ^a   Palopoli, Luigi ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE ABSTRACTION; DISCRETE TIME MARKOV CHAINS; DISCRETE TIME SYSTEM; HUMAN MOTIONS; HUMAN OPERATOR; INITIAL POINT; ROBOTIC MANIPULATORS; WORKING ENVIRONMENT;

ABSTRACTING; ACCIDENTS; DISCRETE TIME CONTROL SYSTEMS; FORECASTING; MANIPULATORS; MARKOV PROCESSES; STOCHASTIC SYSTEMS;

INTELLIGENT ROBOTS;

EID: 78651505252     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IROS.2010.5651150     Document Type: Conference Paper

References (23)

1. J. Versace, "A review of the severity index," in Proc. 15th Stapp Car Crash Conference, 1971, pp. 771-796.
2. A. D. Santis, B. Siciliano, A. Luca, and A. Bicchi., "An atlas of physical human-robot interaction," Mechanism and Machine Theory, vol. 43, no. 3, pp. 253-270, 2008.
3. D. of Labour, "Robot safety," 1987.
4. E. Cheung and V. Lumelsky, "Proximity sensing in robot manipulator motion planning: system and implementation issues," IEEE transactions on Robotics and Automation, vol. 5, no. 6, pp. 740-751, 1989.
5. M. Frigola, A. Casals, and J. Amat, "Human-robot interaction based on a sensitive bumper skin," in Proc. IEEE/RSJ Intel. Conf. on Intelligent Robots and Systems, Beijing, China, October 2006, pp. 283-287.
6. A. Bicchi and G. Tonietti, "Fast and soft arm tactics: Dealing with the safety-performance trade-off in robot arms design and control," IEEE Robotics and Automation Magazine, vol. 11, no. 2, pp. 22-33, 2004.
7. S. Wolf and G. Hirzinger, "A new variable stiffness design: Matching requirements of the next robot generation," in Proc. IEEE Intl. Conf. on Robotics and Automation, May 2008, pp. 1741-1746.
8. D. Kulić and E. Croft, "Pre-collision safety strategies for human-robot interaction," Autonomous Robots, vol. 22, no. 2, pp. 149-164, 2007.
9. Y. Ricquebourg and P. Bouthemy, "Real-time tracking of moving persons by exploiting spatio-temporal image slices," IEEE Trans. Pattern Analysis and Machine Intelligence, vol. 22, no. 8, pp. 797-808, 2000.
10. R. Singer, "Estimating optimal tracking filter performance for manned maneuvering targets," IEEE Trans. Aerospace and Electronic Systems, vol. 6, no. 4, pp. 473-483, July 1970.
11. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," Automatica, vol. 44, no. 10, pp. 2508-2516, 2008.
12. C. Baier, B. Haverkort, H. Hermanns, and J. Katoen, "Model-checking algorithms for continuous-time Markov chains," IEEE Transactions on Software Engineering, vol. 29, no. 6, pp. 524-541, June 2003.
13. M. Kwiatkowska, G. Norman, and D. Parker, "Controller dependability analysis by probabilistic model checking," Control Engineering Practice, vol. 15, no. 11, pp. 1427-1434, 2007, special Issue on Manufacturing Plant Control: Challenges and Issues - INCOM 2004, 11th IFAC INCOM'04 Symposium on Information Control Problems in Manufacturing.
14. J. Hu, M. Prandini, and S. Sastry, "Aircraft conflict prediction in the presence of a spatially correlated wind field," IEEE Transactions on Intelligent Transportation Systems, vol. 6, no. 3, pp. 326-340, 2005.
15. R. Asaula, D. Fontanelli, and L. Palopoli, "A Probabilistic Methodology for Predicting Injuries to Human Operators in Automated Production lines," in Proc. IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA), Mallorca, Spain, 22-26 September 2009, pp. 1-8.
16. G. Arechavaleta, J. Laumond, H. Hicheur, and A. Berthoz, "On the nonholonomic nature of human locomotion," Autonomous Robots, vol. 25, no. 1, pp. 25-35, 2008.
17. X. Li and V. Jilkov, "Survey of maneuvering target tracking. Part I: Dynamic models," IEEE Transactions on Aerospace and Electronic Systems, vol. 39, no. 4, pp. 1333-1364, 2003.
18. H. Wang and H. Yue, "A rational spline model approximation and control of output probability density functions for dynamic stochastic systems," Trans. of the Institute of Measurements and Control, August 2003.
19. E. Lehmann and J. Romano, Testing statistical hypotheses. Springer Verlag, 2005.
20. Y. Bar-Shalom, X. Li, and T. Kirubarajan, Estimation with applications to tracking and navigation. Wiley-Interscience, 2001.
21. H. Kushner and P. Dupuis, Numerical Methods for Stochastic Control Problems in Continuous Time. Sringer Verlag, 2001.
22. R. Durrett, Stochastic Calculus. CRC Press, 1996.
23. J. E. Bresenham, "Algorithm for computer control of a digital plotter," IBM Journal of Research and Development, vol. 4, no. 1, p. 25, 1965.