Sciweavers

1107 search results - page 48 / 222
» Dynamic Data-Driven Systems Approach for Simulation Based Op...
Sort
View
FORMATS
2006
Springer
13 years 11 months ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...
ICPR
2008
IEEE
14 years 2 months ago
Dynamic structure from motion based on nonlinear adaptive observers
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
Ola Dahl, Anders Heyden
ICRA
2007
IEEE
227views Robotics» more  ICRA 2007»
14 years 2 months ago
Inverse Dynamics Control with Floating Base and Constraints
— In this paper, we address the issues of compliant control of a robot under contact constraints with a goal of using joint space based pattern generators as movement primitives,...
Jun Nakanishi, Michael Mistry, Stefan Schaal
CGO
2003
IEEE
14 years 1 months ago
An Infrastructure for Adaptive Dynamic Optimization
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
Derek Bruening, Timothy Garnett, Saman P. Amarasin...
CSCW
2012
ACM
12 years 3 months ago
Towards self-optimizing collaborative systems
Two important performance metrics in collaborative systems are local and remote response times. Previous analytical and simulation work has shown that these response times depend ...
Sasa Junuzovic, Prasun Dewan