Sciweavers

901 search results - page 56 / 181
» Analyzing linear mergers
Sort
View
PARA
2004
Springer
15 years 4 months ago
Parallelization of GSL: Performance of Case Studies
In this paper we explore the parallelization of the scientific library from GNU both on shared-memory and distributed-memory architectures. A pair of classical operations, arising...
José Ignacio Aliaga, Francisco Almeida, Jos...
BIRTHDAY
2003
Springer
15 years 4 months ago
Petri Net Analysis Using Invariant Generation
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
HYBRID
2003
Springer
15 years 4 months ago
Hybrid Control Design for a Wheeled Mobile Robot
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
Thomas Bak, Jan Bendtsen, Anders P. Ravn
ICRA
2002
IEEE
109views Robotics» more  ICRA 2002»
15 years 4 months ago
A Realtime Pattern Generator for Biped Walking
For realtime walking control of a biped robot, we analyze the dynamics of a three-dimensional inverted pendulum whose motions are constrained onto an arbitrarily defined plane. T...
Shuuji Kajita, Fumio Kanehiro, Kenji Kaneko, Kiyos...
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
15 years 3 months ago
Stability and robustness conditions using frequency dependent half planes
— This paper presents a sufficient condition that establishes closed loop stability for linear time invariant dynamical systems with transfer functions that are analytic in the ...
Krister Jacobsson, Lachlan L. H. Andrew, Ao Tang