Sciweavers

2838 search results - page 89 / 568
» Verifying Controlled Components
Sort
View
CDC
2010
IEEE
152views Control Systems» more  CDC 2010»
14 years 9 months ago
Asymptotic achievability for linear time invariant state space systems
Abstract-- We consider here the problem of finding a controller such that when interconnected to the plant, we obtain a system which is asymptotically equivalent to a desired syste...
Harsh Vinjamoor, Arjan van der Schaft
SOCRATES
2008
117views Education» more  SOCRATES 2008»
15 years 3 months ago
E-learning by Doing with Computational Logic
E-learning by doing is an important e-learning process, that provides several advantages but that requires a high interactivity degree, not always supported in e-learning contexts...
Federico Chesani, Anna Ciampolini, Paola Mello
ICNSC
2007
IEEE
15 years 8 months ago
Unstable Object Stabilization and Control Using a DD Robot Manipulator
— This paper addresses the issue of robotic manipulation of multi-DOF inverted pendulums. A control scheme is designed using Lyaponov stability theory for both the robot position...
Zhao-Hui Jiang, Kouya Kamise
ICRA
2006
IEEE
130views Robotics» more  ICRA 2006»
15 years 8 months ago
Time Optimal Control for Quadruped Walking Robots
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
Hisashi Osumi, Shogo Kamiya, Hirokazu Kato, Kazuno...
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 3 months ago
Experimental verification of formation control with distributed cameras
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
He Bai, Karen D. Chapin, John Wason, John T. Wen