Sciweavers

2116 search results - page 76 / 424
» On Probabilistic Alternating Simulations
Sort
View
ADMI
2010
Springer
14 years 11 months ago
Probabilistic Modeling of Mobile Agents' Trajectories
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...
Stepán Urban, Michal Jakob, Michal Pechouce...
ANTSW
2010
Springer
14 years 8 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
14 years 7 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
ICRA
2010
IEEE
158views Robotics» more  ICRA 2010»
14 years 7 months ago
Localization of probabilistic robot formations in SLAM
This paper presents an EKF-based approach to the problem of robot formation pose tracking in SLAM when a previously built feature-based stochastic map of a navigation area is avail...
Maria Teresa Lazaro, José A. Castellanos
ESA
2009
Springer
104views Algorithms» more  ESA 2009»
15 years 2 months ago
Hyperbolic Dovetailing
A familiar quandary arises when there are several possible alternatives for the solution of a problem, but no way of knowing which, if any, are viable for a particular problem inst...
David G. Kirkpatrick