898 search results - page 27 / 180 » Transitions of the Pre-Symmetry Set |
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— This paper introduces the concept of gait transitions, acyclic feedforward motion patterns that allow a robot to switch from one gait to another. Legged robots often ut...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
119
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
AMC
2007
14 years 10 months ago
2007
A method for the determination of the trajectory of a ballistic missile over a rotating, spherical Earth given only the launch position and impact point has been developed. The it...
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...