Sciweavers

4118 search results - page 442 / 824
» Mechanisms for usage control
Sort
View
KI
2009
Springer
16 years 2 months ago
The Scared Robot: Motivations in a Simulated Robot Arm
This paper investigates potential effects of a motivational module on a robotic arm, which is controlled based on the biologicalinspired SURE REACH system. The motivational module...
Martin V. Butz, Gerulf K. M. Pedersen
SSS
2009
Springer
144views Control Systems» more  SSS 2009»
16 years 2 months ago
Churn-Resilient Replication Strategy for Peer-to-Peer Distributed Hash-Tables
Abstract. DHT-based P2P systems provide a fault-tolerant and scalable mean to store data blocks in a fully distributed way. Unfortunately, recent studies have shown that if connect...
Sergey Legtchenko, Sébastien Monnet, Pierre...
CDC
2008
IEEE
116views Control Systems» more  CDC 2008»
16 years 2 months ago
Stability of Zeno equilibria in Lagrangian hybrid systems
— This paper presents both necessary and sufficient conditions for the stability of Zeno equilibria in Lagrangian hybrid systems, i.e., hybrid systems that model mechanical syst...
Yizhar Or, Aaron D. Ames
CDC
2008
IEEE
124views Control Systems» more  CDC 2008»
16 years 2 months ago
A passive 2DOF walker: Finding gait cycles using virtual holonomic constraints
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...
Leonid B. Freidovich, Uwe Mettin, Anton S. Shiriae...
HASE
2008
IEEE
16 years 2 months ago
A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
Chunying Zhao, Kang Zhang