2377 search results - page 232 / 476 » Hybrid Systems in TLA |
192
click to vote
FPL
2004
Springer
15 years 12 months ago
2004
Springer
A high-performance reconfigurable coarse-grain data-path, part of a hybrid reconfigurable platform, is introduced. The data-path consists of coarse grain components that their flex...
148
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we report on a new stability analysis for hybrid legged locomotion systems based on factorization of return maps. We apply this analysis to a family of models of th...
172
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a new methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role assignment mechanism in which the rob...
145
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
169
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...