Sciweavers

89 search results - page 14 / 18
» Application of Model Reference Adaptive Control to Industria...
Sort
View
ICRA
2005
IEEE
125views Robotics» more  ICRA 2005»
14 years 9 days ago
Path Planning for Variable Resolution Minimal-Energy Curves of Constant Length
— We present a new approach to path planning for flexible wires. We introduce a method for computing stable configurations of a wire subject to manipulation constraints. These ...
Mark Moll, Lydia E. Kavraki
FSR
2003
Springer
251views Robotics» more  FSR 2003»
13 years 12 months ago
Distributed Search and Rescue with Robot and Sensor Teams
We develop a network of distributed mobile sensor systems as a solution to the emergency response problem. The mobile sensors are inside a building and they form a connected ad-ho...
George Kantor, Sanjiv Singh, Ronald A. Peterson, D...
EMSOFT
2006
Springer
13 years 10 months ago
An analysis framework for network-code programs
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
ICARCV
2006
IEEE
145views Robotics» more  ICARCV 2006»
14 years 22 days ago
Dynamic Modeling of Linear Object Deformation Considering Contact with Obstacles
— This paper describes the dynamic modeling of linear object deformation considering geometrical constraints and contact with obstacles. Deformable linear objects such as cables ...
Hidefumi Wakamatsu, Tatsuya Yamasaki, Shinichi Hir...
MODELS
2010
Springer
13 years 5 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng