Sciweavers

13866 search results - page 298 / 2774
» Dynamical Systems Game
Sort
View
ICRA
2005
IEEE
90views Robotics» more  ICRA 2005»
16 years 8 days ago
Dynamic Ambiguities in Frictional Rigid-body Systems with Application to Climbing via Bracing
Abstract— Constructing climbing behaviors for hyperredundant robots that account for the system dynamics requires a model of robot dynamics under contact and friction. One common...
Aaron Greenfield, Alfred A. Rizzi, Howie Choset
LFCS
2007
Springer
16 years 24 days ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
IPPS
1998
IEEE
15 years 11 months ago
Dynamic Processor Allocation with the Solaris Operating System
The Loop-Level Process Control LLPC policy 9 dynamically adjusts the number of threads an application is allowed to execute based on the application's available parallelism a...
Kelvin K. Yue, David J. Lilja
WSC
2000
15 years 8 months ago
System dynamics modelling in supply chain management: research review
The use of System Dynamics Modeling in Supply Chain Management has only recently re-emerged after a lengthy slack period. Current research on System Dynamics Modelling in supply c...
Bernhard J. Angerhofer, Marios C. Angelides
ROBOTICA
2008
121views more  ROBOTICA 2008»
15 years 6 months ago
Kinematic and dynamic performance analysis of artificial legged systems
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
Manuel F. Silva, José António Tenrei...