Sciweavers

4894 search results - page 203 / 979
» Dynamic Abstraction Planning
Sort
View
CSR
2010
Springer
15 years 9 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët
HYBRID
2000
Springer
15 years 8 months ago
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
Xenofon D. Koutsoukos, Panos J. Antsaklis
IJIS
2002
112views more  IJIS 2002»
15 years 4 months ago
Integrating fuzzy topological maps and fuzzy geometric maps for behavior-based robots
ior-based robots, planning is necessary to elaborate abstract plans that resolve complex navigational tasks. Usually maps of the environment are used to plan the robot motion and t...
Eugenio Aguirre, Antonio González
OOPSLA
2004
Springer
15 years 9 months ago
Generic ownership: practical ownership control in programming languages
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...
Alex Potanin, James Noble, Robert Biddle
WSCG
2001
66views more  WSCG 2001»
15 years 5 months ago
Supporting the Search for the Optimal Location of Facilities
the problem of locating services in a given context requires a methematical abstraction so that its complexity can be managed by means of an iterative search through context simul...
Alberto Biancardi, R. De Lotto, Elena Ferrari