Sciweavers

532 search results - page 1 / 107
» Distributed, Modular HTL
Sort
View
RTSS
2009
IEEE
13 years 11 months ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
EMSOFT
2006
Springer
13 years 8 months ago
A hierarchical coordination language for interacting real-time tasks
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli...
DATE
2008
IEEE
157views Hardware» more  DATE 2008»
13 years 11 months ago
Logical Reliability of Interacting Real-Time Tasks
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. H...
ICRA
2010
IEEE
130views Robotics» more  ICRA 2010»
13 years 3 months ago
A distributed strategy for gait adaptation in modular robots
Abstract— In this paper we study online gait optimization for modular robots. The learning strategy we apply is distributed, independent on robot morphology, and easy to implemen...
David Johan Christensen, Ulrik Pagh Schultz, Kaspe...
SAB
2010
Springer
226views Optimization» more  SAB 2010»
13 years 3 months ago
Distributed Online Learning of Central Pattern Generators in Modular Robots
Abstract. In this paper we study distributed online learning of locomotion gaits for modular robots. The learning is based on a stochastic approximation method, SPSA, which optimiz...
David Johan Christensen, Alexander Spröwitz, ...