Sciweavers

1392 search results - page 19 / 279
» A Calculus for Dynamic Linking
Sort
View
KI
2010
Springer
13 years 3 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
13 years 6 months ago
Reduced complexity models in the identification of dynamical networks: Links with sparsification problems
In many applicative scenarios it is important to derive information about the topology and the internal connections of more dynamical systems interacting together. Examples can be ...
Donatello Materassi, Giacomo Innocenti, Laura Giar...
ICRA
2002
IEEE
127views Robotics» more  ICRA 2002»
14 years 1 months ago
Design and Control of a Three-Link Serial Manipulator for Lessons in Particle Dynamics
Design, control, and performance of a ball-throwing robot are examined in this paper. The objective of this project is to provide an interactive ball-throwing robotic arm for illu...
Mark A. Minor, Kent Jensen, Youngshik Kim
ESOP
2003
Springer
14 years 2 months ago
Flexible Models for Dynamic Linking
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisen...