Sciweavers

3605 search results - page 379 / 721
» System and simulation modeling using SysML
Sort
View
AROBOTS
2004
131views more  AROBOTS 2004»
15 years 4 months ago
Evolving Self-Organizing Behaviors for a Swarm-Bot
In this paper, we introduce a self-assembling and self-organizing artifact, called a swarm-bot, composed of a swarm of s-bots, mobile robots with the ability to connect to and to ...
Marco Dorigo, Vito Trianni, Erol Sahin, Roderich G...
APSEC
1996
IEEE
15 years 9 months ago
M-base : An Application Development Environment for End-user Computing based on Message Flow
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
Takeshi Chusho, Yuji Konishi, Masao Yoshioka
COOP
2004
15 years 6 months ago
Model Checking Groupware Protocols
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
Maurice H. ter Beek, Mieke Massink, Diego Latella,...
ICRA
2006
IEEE
165views Robotics» more  ICRA 2006»
15 years 11 months ago
Trajectory Tracking and Balance Stabilization Control of Autonomous Motorcycles
— In this paper, we present a trajectory tracking control algorithm for an autonomous motorcycle for the DARPA Grand Challenge. The mathematical dynamic model of the autonomous m...
Jingang Yi, Dezhen Song, Anthony Levandowski, Suha...
AAAI
1994
15 years 6 months ago
A Qualitative Physics Compiler
Predicting the behavior of physical systems is essential to both common sense and engineering tasks. It is made especially challenging by the lack of complete precise knowledge of...
Adam Farquhar