1495 search results - page 4 / 299 » Modeling and controllability for a class of hybrid mechanica... |
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
HAPTICS
2003
IEEE
14 years 23 days ago
2003
IEEE
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...
TROB
2002
13 years 7 months ago
2002
Dynamic control of constrained mechanical systems, such as robotic manipulators under end-effector constraints, parallel manipulators, and multifingered robotic hands under closure...
HYBRID
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...