A probabilistic methodology for predicting injuries to human operators in automated production lines

ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation

Volumn , Issue , 2009, Pages

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

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENTAL INJURIES; AUTOMATED PRODUCTIONS; CO-EXISTENCE; CONTROLLED RISK; DISCRETE ABSTRACTION; DISCRETE TIME MARKOV CHAINS; HUMAN OPERATOR; PROBABILISTIC METHODOLOGY; PROBABILISTIC TECHNIQUE; PROBLEM-BASED; PRODUCTION LINE; VISUAL SENSOR;

FACTORY AUTOMATION; MARKOV PROCESSES; MOBILE ROBOTS; PROBABILITY; SEMICONDUCTOR QUANTUM DOTS;

PHYSIOLOGICAL MODELS;

EID: 77949897878     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2009.5347119     Document Type: Conference Paper

References (14)

1. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen. Model-checking algorithms for continuous-time markov chains. Software Engineering, IEEE Transactions on, 29(6):524-541, June 2003.
2. R.V. Bostelman, T.H. Hongm, R. Madhavan, and T. Y. Chang. Safety standard advancement toward mobile robot use near humans. In Proc. of Intl. Conf. on Safety of Industrial Automated Systems (RIA SIAS), Chicago, IL, US, September 26-28 2005.
3. Richards D. Hill J. Cuerden, R. Pedestrians and their survivability at different impact speeds. In Proceedings of the 20th International Technical Conference on the Enhanced Safety of Vehicles, Lyon, France, 2007.
4. R. Durrett. Stochastic Calculus. CRC Press, 1996.
5. D. Fox, W. Burgard, S. Thrun, and A.B. Cremers. A hybrid collision avoidance method for mobile robots. In Proc. of Intl. Conf. on Robotics and Automation, volume 2, pages 1238-1243, Leuven, Belgium, May 16-20 1998.
6. Kevin A. Grasse. Simulation and bisimulation of nonlinear control systems with admissible classes of inputs and disturbances. SIAM Journal on Control and Optimization, 46(2):562-584, 2007.
7. S. Sastry. J. Hu, M. Prandini. Aircraft conflict detection in presence of a spatially correlated wind field. In IEEE Trans. on Intelligent Transportation Systems, 2005.
8. H.J. Kushner and Pail Dupuis. Numerical Methods for Stochastic Control Problems in Continuous Time. Sringer Verlag, 2001.
9. M. Kwiatkowska, G. Norman, D. Parker, and J. Sproston. Modeling and Verification of Real-Time Systems: Formalisms and Software Tools, chapter Verification of Real-Time Probabilistic Systems, pages 249-288. John Wiley & Sons, 2008.
10. X.R. Li and V.P. Jilkov. Survey of maneuvering target tracking. Part I: Dynamic models. IEEE Transactions on Aerospace and Electronic Systems, 39(4):1333, 2003.
11. Giordano Pola, Antoine Girard, and Paulo Tabuada. Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10):2508-2516, 2008.
12. C. Pradalier, J. Hermosillo, C. Koike, C. Braillon, P. Bessìere, and C. Laugier. The cycab: a car-like robot navigating autonomously and safely among pedestrians. Robotics and Autonomous Systems, 50:51-67, 2005.
13. Y. Ricquebourg and P. Bouthemy. Real-time tracking of moving persons by exploiting spatio-temporal image slices. IEEE Trans. Pattern Analysis and Machine Intelligence, 22(8):797-808, 2000.
14. R. Singer. Estimating optimal tracking filter performance for manned maneuvering targets. IEEE Trans. Aerospace and Electronic Systems, 6(4):473-483, July 1970.