Numerical methods for stochastic control problems in continuous time
Numerical methods for stochastic control problems in continuous time
Real-Time Tracking of Moving Persons by Exploiting Spatio-Temporal Image Slices
IEEE Transactions on Pattern Analysis and Machine Intelligence
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
SIAM Journal on Control and Optimization
Approximately bisimilar symbolic models for nonlinear control systems
Automatica (Journal of IFAC)
Aircraft conflict prediction in the presence of a spatially correlated wind field
IEEE Transactions on Intelligent Transportation Systems
Hi-index | 0.00 |
Mobile robots are increasingly utilised in automated plants to the purpose of moving wares and material between the different production lines and logistic areas. In this context, the presence of human operators in the facility is frequently allowed to carry out or supervise some phases of the production. The problem arises of how to make the coexistence possible with controlled risks for the operator and without affecting the productivity with frequent interruptions. In this paper we propose a solution to this problem based on a probabilistic technique. A system of visual sensor (mounted on the mobile robots) detects the presence of a human operator and a discrete abstraction (essentially a discrete-time Markov chain) is used to predict his/her motion and hence find the probability of an accidental injury. For the computation of the latter, we combine the probability of having a collision with a given speed with the probability of receiving an injury out of the collision (taken from physiological models suggested by the automotive literature).