Sciweavers

164 search results - page 11 / 33
» Audit-based compliance control
Sort
View
SACMAT
2010
ACM
14 years 9 days ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
ICRA
2009
IEEE
115views Robotics» more  ICRA 2009»
14 years 2 months ago
Modeling and control of the monopedal robot Thumper
— A hybrid controller that induces stable running gaits on a monopedal robot is developed. The robot features a rigid leg with a revolute knee and a heavy torso with center of ma...
Ioannis Poulakakis, Jessy W. Grizzle
HAPTICS
2002
IEEE
14 years 13 days ago
Rotary Haptic Knob for Vehicular Instrument Controls
Instrument controls in motor vehicles have haptic properties (force and compliance) designed to enhance the ease of use. In conventional control knobs, these properties are obtain...
Mircea Badescu, Charles Wampler, Constantinos Mavr...
ICRA
2010
IEEE
727views Robotics» more  ICRA 2010»
13 years 6 months ago
Ankle and hip balance control strategies with transitions
— A method for implementing the ankle and hip balance control strategies, well known from studies on human balance control, is suggested. The moment of the acting disturbance for...
Yoshikazu Kanamiya, Shun Ota, Daisuke Sato
ICRA
2008
IEEE
118views Robotics» more  ICRA 2008»
14 years 1 months ago
New aspects of input shaping control to damp oscillations of a compliant force sensor
— Compliance in robot mounted force/torque sensors is useful for soft mating of parts. However it generates nearly undamped oscillations when moving the end-effector in free spac...
Amine Kamel, Friedrich Lange, Gerd Hirzinger