Sciweavers

12115 search results - page 71 / 2423
» Bisimulation of Dynamical Systems
Sort
View
ICAS
2009
IEEE
106views Robotics» more  ICAS 2009»
14 years 3 months ago
Resource-Aware Contracts for Addressing Feature Interaction in Dynamic Adaptive Systems
Dynamic adaptive systems are becoming increasingly popular due to their ability to adapt to heterogeneous and changing environments. Such systems must avert adverse feature intera...
Yu Liu, René Meier
OPODIS
2007
13 years 10 months ago
Timed Quorum Systems for Large-Scale and Dynamic Environments
This paper presents Timed Quorum System (TQS), a quorum system for large-scale and dynamic systems. TQS provides guarantees that two quorums, accessed at instances of time that are...
Vincent Gramoli, Michel Raynal
TROB
2002
106views more  TROB 2002»
13 years 8 months ago
Visual servoing of an under-actuated dynamic rigid-body system: an image-based approach
Abstract--A new image-based control strategy for visual servoing of a class of under-actuated rigid body systems is presented. The proposed control design applies to "eye-in-h...
Tarek Hamel, Robert E. Mahony
IJBC
2008
98views more  IJBC 2008»
13 years 8 months ago
Slow Invariant Manifolds as Curvature of the Flow of Dynamical Systems
Considering trajectory curves, integral of n-dimensional dynamical systems, within the framework of Differential Geometry as curves in Euclidean n-space it will be established in ...
Jean-Marc Ginoux, Bruno Rossetto, Leon O. Chua
JAR
2008
107views more  JAR 2008»
13 years 8 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer