4460 search results - page 679 / 892 » Formal methods for interactive systems |
142
Voted
IESS
2007
Springer
15 years 10 months ago
2007
Springer
This work investigates the use of reconfigurable devices as computing platform for self-organizing embedded systems. Those usually consist of a set of distributed, autonomous node...
146
click to vote
HAPTICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a novel bilateral telemanipulation control system called Pseudo-admittance, which is designed to mimic admittance control on systems where the master is an impedance-ty...
153
click to vote
ATAL
1995
Springer
15 years 8 months ago
1995
Springer
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
146
click to vote
ENGL
2008
15 years 4 months ago
2008
This report presents the development of tactile sensing-based control architecture in a multi-fingered humanoid robot arm for object manipulation tasks. With the aim to enhance the...
130
click to vote
FUIN
2000
15 years 4 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...