1,669 research outputs found
Selective electroplating of etched circuits
Selective electroplating of etched circuit
Grounding power on actions and mental attitudes
International audienceThe main objective of this work is to develop a logic called IAL (Intentional Agency Logic) in which we can reason about mental states of agents, action occurrences, and agentive and group powers. IAL will be exploited for a formal analysis of different forms of power such as an agent i's power of achieving a certain result and an agent i's power over another agent j (alias social power)
A State-Dependent Damping Method to Reduce Collision Force and Its Variability
This paper investigates the effect of biologically inspired angle-dependent damping profile in a robotic joint primarily on the magnitude and the variability of the peak collision force. Joints such as the knee that experience collision forces are known to have an angle-dependent damping profile. In this paper, we have quantified and compared three damping profiles. Our numerical and experimental results show that the proposed hyperbolic angle-dependent damping profile can minimize both the magnitude and the variability of the peak collision force(average magnitude and variability reduction of 26% and 47% compared to the peak constant damping profile). Very often, the variability of the force across the collision between the robot and the environment cause uncertainty about the state variables of the robotic joint. We show that by increasing the slope of the proposed hyperbolic angle-dependent damping profile, we can also reduce the variability and the magnitude of post-collision peak displacement and peak velocity compared to those of constant damping profile. This was achieved while reducing the mean root square of power consumed by the robotic joint
Dynamic context logic
International audienceBuilding on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories
- …