Sciweavers

2670 search results - page 273 / 534
» Modeling systems with internal state using evolino
Sort
View
TACAS
1998
Springer
98views Algorithms» more  TACAS 1998»
15 years 10 months ago
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
Miroslav N. Velev, Randal E. Bryant
HPCN
1997
Springer
15 years 10 months ago
High Performance Discrete Event Simulations to Evaluate Complex Industrial Systems
We have developed a Modelling and Simulation platform for technical evaluation of Electronic Toll Collection on Motor Highways. This platform is used in a project of the Dutch gov...
Alfons G. Hoekstra, Leo Dorst, Martin Bergman, Jos...
ENTCS
2008
153views more  ENTCS 2008»
15 years 6 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
15 years 11 months ago
An Execution Control System for Autonomous Robots
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
François Felix Ingrand, Frederic Py
ICRA
2009
IEEE
227views Robotics» more  ICRA 2009»
16 years 1 months ago
Adaptive autonomous control using online value iteration with gaussian processes
— In this paper, we present a novel approach to controlling a robotic system online from scratch based on the reinforcement learning principle. In contrast to other approaches, o...
Axel Rottmann, Wolfram Burgard