3458 search results - page 22 / 692 » Abstracting Control |
FM
1999
Springer
14 years 27 days ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— We present an adaptive control approach combining forward kinematics model learning methods with the operational space control approach. This combination endows the rob...
JIRS
1998
13 years 8 months ago
1998
Abstract. The paper deals with the application of model reference adaptive control to robot impedance control, which is actually a technique of steering the end-effector on a presc...
AGP
1993
IEEE
14 years 23 days ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...