4693 search results - page 241 / 939 » Verifying Hybrid Systems |
147
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— The paper studies the coordinated path following problem, namely, steering a group of unicycles to a given path while achieving an inter-vehicle formation pattern. A novel hybr...
188
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We investigate the performance of two approaches for matrix inversion based on Gaussian (LU factorization) and Gauss-Jordan eliminations. The target architecture is a cur...
142
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a hybrid artificial intelligent solution that helps to automatically generate proposals, aimed at improving the internal states of organization units from a Kno...
165
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...
167
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-l...