Sciweavers

2137 search results - page 208 / 428
» Control of a Car-Like Robot Using a Dynamic Model
Sort
View
160
Voted
FMSB
2008
138views Formal Methods» more  FMSB 2008»
15 years 5 months ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
157
Voted
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
15 years 3 months ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
113
Voted
HYBRID
2009
Springer
15 years 7 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
IROS
2007
IEEE
156views Robotics» more  IROS 2007»
15 years 10 months ago
A 1-DOF assistive exoskeleton with virtual negative damping: effects on the kinematic response of the lower limbs
Abstract— We propose a novel control method for lowerlimb assist that produces a virtual modification of the mechanical impedance of the human limbs. This effect is accomplished...
Gabriel Aguirre-Ollinger, J. Edward Colgate, Micha...
ROBOCUP
2004
Springer
122views Robotics» more  ROBOCUP 2004»
15 years 9 months ago
A Vision Based System for Goal-Directed Obstacle Avoidance
We present a complete system for obstacle avoidance for a mobile robot. It was used in the RoboCup 2003 obstacle avoidance challenge in the Sony Four Legged League. The system enab...
Jan Hoffmann, Matthias Jüngel, Martin Lö...