Sciweavers

297 search results - page 5 / 60
» Issues in Temporal Reasoning for Autonomous Control Systems
Sort
View
IJCAI
1989
13 years 8 months ago
A Model for Projection and Action
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
Keiji Kanazawa, Thomas Dean
FROCOS
2005
Springer
14 years 16 days ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus
TIME
1994
IEEE
13 years 11 months ago
Managing Large Temporal Delays in a Model Based Control System
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
Fano Ramparany
JIRS
2007
134views more  JIRS 2007»
13 years 6 months ago
Improving Robustness of Mobile Robots Using Model-based Reasoning
Retaining functionality of a mobile robot in the presence of faults is of particular interest in autonomous robotics. From our experiences in robotics we know that hardware is one ...
Michael W. Hofbaur, Johannes Köb, Gerald Stei...
PERCOM
2006
ACM
14 years 6 months ago
Balancing Autonomy and User Control in Context-Aware Systems - a Survey
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...
Bob Hardian, Jadwiga Indulska, Karen Henricksen