Sciweavers

261 search results - page 11 / 53
» Alternative Bloat Control Methods
Sort
View
HYBRID
2004
Springer
15 years 3 months ago
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
Amit Bhatia, Emilio Frazzoli
RTSS
1996
IEEE
15 years 1 months ago
Visual assessment of a real-time system design: a case study on a CNC controller
In this paper we describe our experiments on a realtime system design, focusing on design alternatives such as scheduling jitter, sensor-to-output latency, intertask communication...
Namyun Kim, Minsoo Ryu, Seongsoo Hong, Manas Sakse...
IJCAI
1993
14 years 11 months ago
An Inductive Approach to Learning Search Control Rules for Planning
One method for reducing the time required for plan generation is to learn search control rules from experience. Most of the recent work in learning search control knowledge has co...
Christopher Leckie, Ingrid Zukerman
60
Voted
IROS
2007
IEEE
95views Robotics» more  IROS 2007»
15 years 4 months ago
Load estimation and control using learned dynamics models
— Classic adaptive control methods for handling varying loads rely on an analytically derived model of the robot’s dynamics. However, in many situations, it is not feasible or ...
Georgios Petkos, Sethu Vijayakumar
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 2 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra