A model-based development approach for the verification of real-time Java code

2011 ◽  
Vol 23 (13) ◽  
pp. 1583-1606 ◽  
Author(s):  
Niusha Hakimi Pour ◽  
Paul Strooper ◽  
Andy Wellings
Keyword(s):  
Real Time ◽  
Model Based ◽  
Development Approach ◽  
Java Code

scholarly journals A Probabilistic Model for Real-Time Semantic Prediction of Human Motion Intentions from RGBD-Data

Sensors ◽  
2021 ◽  
Vol 21 (12) ◽  
pp. 4141
Author(s):  
Wouter Houtman ◽  
Gosse Bijlenga ◽  
Elena Torta ◽  
René van de Molengraft
Keyword(s):  
Real Time ◽  
Collision Avoidance ◽  
Probabilistic Model ◽  
Real Life ◽  
Human Motion ◽  
Model Based ◽  
Multiple Hypotheses ◽  
Navigation Algorithms ◽  
The Right ◽  
Motion Behavior

For robots to execute their navigation tasks both fast and safely in the presence of humans, it is necessary to make predictions about the route those humans intend to follow. Within this work, a model-based method is proposed that relates human motion behavior perceived from RGBD input to the constraints imposed by the environment by considering typical human routing alternatives. Multiple hypotheses about routing options of a human towards local semantic goal locations are created and validated, including explicit collision avoidance routes. It is demonstrated, with real-time, real-life experiments, that a coarse discretization based on the semantics of the environment suffices to make a proper distinction between a person going, for example, to the left or the right on an intersection. As such, a scalable and explainable solution is presented, which is suitable for incorporation within navigation algorithms.

Sign in / Sign up

Export Citation Format

Share Document