3271 search results - page 489 / 655 » Controlled Multicast Framework |
131
click to vote
TSMC
1998
15 years 2 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
143
click to vote
JSA
2008
15 years 1 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
155
click to vote
ICRA
2010
IEEE
15 years 29 days ago
2010
IEEE
— We consider the problem of task assignment and execution in multirobot systems, by proposing a procedure for bid estimation in auction protocols. Auctions are of interest to mu...
117
click to vote
ICRA
2010
IEEE
15 years 29 days ago
2010
IEEE
— Modular robots can potentially assemble into a wide range of configurations to locomote in different environments. However, designing locomotion strategies for each configura...
103
click to vote
SAB
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...