Sciweavers

261 search results - page 11 / 53
» Alternative Bloat Control Methods
Sort
View
HYBRID
2004
Springer
14 years 28 days 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
13 years 11 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
13 years 8 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
IROS
2007
IEEE
95views Robotics» more  IROS 2007»
14 years 1 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»
14 years 23 days 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