9626 search results - page 327 / 1926 » Invariant Based Programming |
176
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper the control of exible joint manipulators is studied in detail. A composite control algorithm is proposed for the exible joint robots, which consists of two main part...
142
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
170
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
In a number of industrial, space, or mobile systems applications, reaction forces and moments transmitted by a manipulator to its base are undesirable. Based on force and moment t...
186
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the task of change analysis of correlated multi-sensor systems. The goal of change analysis is to compute the anomaly score of each sensor when we know that t...
135
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...