Sciweavers

935 search results - page 2 / 187
» Adaptive Control of Time-Varying Mechanical Systems: Modelin...
Sort
View
ICRA
2000
IEEE
98views Robotics» more  ICRA 2000»
13 years 9 months ago
Quadruped Trotting with Passive Knees - Design, Control, and Experiments
A locking, unactuated knee is added to the Scout II quadruped robot and trotting gaits are studied. The mechanical design of the knee is presented, trotting algorithms are discuss...
Geoff Hawker, Martin Buehler
WORDS
2002
IEEE
13 years 10 months ago
An Adaptive Distributed System Based on Conditional Dependencies
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
Luci Pirmez, Luiz F. Rust da Costa Carmo, Reinaldo...
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
13 years 10 months ago
Design of insulating devices for in vitro synthetic circuits
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
Elisa Franco, Domitilla Del Vecchio, Richard M. Mu...
ESANN
2001
13 years 6 months ago
A divide-and-conquer learning architecture for predicting unknown motion
Time varying environments or model selection problems lead to crucial dilemmas in identification and control science. In this paper, we propose a modular prediction scheme consisti...
Patrice Wira, Jean-Philippe Urban, Julien Gresser
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
13 years 9 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock