Sciweavers

1663 search results - page 75 / 333
» Verification and validation of simulation models
Sort
View
ICRA
2005
IEEE
107views Robotics» more  ICRA 2005»
15 years 3 months ago
Wheel Torque Control in Rough Terrain - Modeling and Simulation
Abstract - This paper presents a method for wheel-ground contact angle measurement and a traction control strategy minimizing slip in rough terrain. The slip minimization algorithm...
Pierre Lamon, Roland Siegwart
JASSS
1998
82views more  JASSS 1998»
14 years 9 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
ER
2010
Springer
144views Database» more  ER 2010»
14 years 8 months ago
Building Dynamic Models of Service Compositions with Simulation of Provision Resources
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
Dragan Ivanovic, Martin Treiber, Manuel Carro, Sch...
PLDI
2009
ACM
15 years 10 months ago
A decision procedure for subset constraints over regular languages
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
Pieter Hooimeijer, Westley Weimer
ICRA
2002
IEEE
152views Robotics» more  ICRA 2002»
15 years 2 months ago
Needle Insertion Modelling and Simulation
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
Simon P. DiMaio, S. E. Salcudean