57 search results - page 1 / 12 » A Type System for Required Excluded Elements in CLS |
CORR
2009
Springer
13 years 3 months ago
2009
Springer
CORR
2009
Springer
13 years 3 months ago
2009
Springer
claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through a...
CSMR
2005
IEEE
13 years 11 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
IROS
2006
IEEE
13 years 11 months ago
2006
IEEE
— This paper proposes power assist controllers that realize control input minimization using resonance of passive elements. To satisfy the objective, two types of systems are con...
ICRA
2002
IEEE
13 years 10 months ago
2002
IEEE
— A new type of master-slave control methodology, which has the merits of both unilateral and bilateral ones, is proposed. The methodology is built on switching the unilateral fe...