Sciweavers

2940 search results - page 134 / 588
» Relational Parametricity and Control
Sort
View
CDC
2010
IEEE
133views Control Systems» more  CDC 2010»
14 years 11 months ago
Robustness of funnel control in the gap metric
For m-input, m-output, finite-dimensional, linear systems satisfying the classical assumptions of adaptive control (i.e., (i) minimum phase, (ii) relative degree one and (iii) pos...
Achim Ilchmann, Markus Mueller
PERCOM
2006
ACM
16 years 4 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
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
15 years 11 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
ICRA
2007
IEEE
209views Robotics» more  ICRA 2007»
15 years 11 months ago
Autonomous Control of an Autonomous Underwater Vehicle Towing a Vector Sensor Array
— This paper is about the autonomous control of an autonomous underwater vehicle (AUV), and the particular considerations required to allow proper control while towing a 100-mete...
Michael R. Benjamin, David Battle, Donald P. Eicks...
ICDCSW
2005
IEEE
15 years 10 months ago
Specifying Information-Flow Controls
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
Howard Chivers, Jeremy Jacob