Sciweavers

898 search results - page 113 / 180
» Transitions of the Pre-Symmetry Set
Sort
View
CORR
2010
Springer
138views Education» more  CORR 2010»
14 years 10 months ago
Optimal Path Planning under Temporal Logic Constraints
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
Stephen L. Smith, Jana Tumova, Calin Belta, Daniel...
CORR
2010
Springer
118views Education» more  CORR 2010»
14 years 10 months ago
Asymptotic Traffic Flow in an Hyperbolic Network II: Non-uniform Traffic
In this work we study the asymptotic traffic behaviour in Gromov's hyperbolic spaces when the traffic decays exponentially with the distance. We prove that under general condi...
Yuliy Baryshnikov, Gabriel H. Tucci
DM
2008
75views more  DM 2008»
14 years 10 months ago
Homogeneous factorisations of graph products
A homogeneous factorisation of a digraph consists of a partition P = {P1, . . . , Pk} of the arc set A and two vertex-transitive subgroups M G Aut() such that M fixes each Pi set...
Michael Giudici, Cai Heng Li, Primoz Potocnik, Che...
AIM
2006
14 years 10 months ago
The Pyro Toolkit for AI and Robotics
This article introduces Pyro, an open source python robotics toolkit for exploring topics in AI and robotics. nt key abstractions that allow Pyro controllers to run unchanged on a...
Douglas S. Blank, Deepak Kumar, Lisa Meeden, Holly...
FMSD
2008
64views more  FMSD 2008»
14 years 10 months ago
Robust safety of timed automata
Timed automata are governed by an idealized semantics that assumes a perfectly precise behavior of the clocks. The traditional semantics is not robust because the slightest perturb...
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jea...