Sciweavers

3823 search results - page 35 / 765
» Stability of Hybrid Systems
Sort
View
HYBRID
1998
Springer
14 years 27 days ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta
SIAMCO
2000
89views more  SIAMCO 2000»
13 years 8 months ago
Stability Radius and Internal Versus External Stability in Banach Spaces: An Evolution Semigroup Approach
In this paper the theory of evolution semigroups is developed and used to provide a framework to study the stability of general linear control systems. These include autonomous and...
Stephen Clark, Yuri Latushkin, Stephen Montgomery-...
INFOCOM
2003
IEEE
14 years 1 months ago
YAPPERS: A Peer-to-Peer Lookup Service over Arbitrary Topology
— Existing peer-to-peer search networks generally fall into two categories: Gnutella-style systems that use arbitrary topology and rely on controlled flooding for search, and sy...
Prasanna Ganesan, Qixiang Sun, Hector Garcia-Molin...
HYBRID
2007
Springer
14 years 16 days ago
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
We present a new algorithm for the reachability analysis of multi-affine hybrid systems. In our previous work on reachability analysis and that of our collaborators [1
Spring Berman, Ádám M. Halász...
ICRA
2007
IEEE
122views Robotics» more  ICRA 2007»
14 years 3 months ago
Force Redistribution in a Quadruped Running Trot
Abstract— In this paper, an attitude control strategy is developed for a high-speed quadruped trot. The forces in the trot are redistributed among the legs to stabilize the pitch...
Luther R. Palmer, David E. Orin