Automatic property identification via parameterized constraints

被引:0
|
作者
Debus, T [1 ]
Dupont, P [1 ]
Howe, R [1 ]
机构
[1] Boston Univ, Boston, MA 02215 USA
关键词
telemanipulators; property identification; constrained motion;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
During teleoperation, the automatic identification of remote environment properties has the potential of improving performance by providing task-specific feedback to the operator. Similarly, virtual training systems can be calibrated using such an automatic identification procedure. For those properties which can be described by parameterized constraint equations, this paper provides a method by which the active constraints can be determined during each portion of the remote manipulator's data stream. The parameterized properties can then be estimated from the appropriate data stream segments. The approach Is validated for peg-in-hole insertion using a desktop teleoperator system. The proposed segmentation procedure is compared with manual segmentation to estimate the geometric properties of the peg and hole.
引用
收藏
页码:1876 / 1881
页数:6
相关论文
共 50 条
  • [1] On the Aubin property of solution maps to parameterized variational systems with implicit constraints
    Gfrerer, Helmut
    Outrata, Jiri, V
    OPTIMIZATION, 2020, 69 (7-8) : 1681 - 1701
  • [2] Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints
    Kourtis, Georgios
    Dixon, Clare
    Fisher, Michael
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 50 (09) : 2458 - 2471
  • [3] Automatic identification of geometric constraints in mechanical assemblies
    Mullins, SH
    Anderson, DC
    COMPUTER-AIDED DESIGN, 1998, 30 (09) : 715 - 726
  • [4] Parameterized Property Testing of Functions
    Pallavoor, Ramesh Krishnan S.
    Raskhodnikova, Sofya
    Varma, Andnithin
    ACM TRANSACTIONS ON COMPUTATION THEORY, 2018, 9 (04)
  • [5] AUTOMATIC PLOSIVE IDENTIFICATION USING FUZZINESS IN PROPERTY SETS
    PAL, SK
    DUTTAMAJUMDER, D
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1978, 8 (04): : 302 - 308
  • [6] Automatic Parameterized Generation of Test
    Gangur, Mikulas
    DIVAI 2014: 10TH INTERNATIONAL SCIENTIFIC CONFERENCE ON DISTANCE LEARNING IN APPLIED INFORMATICS, 2014, : 55 - 64
  • [7] ENERGY CONSTRAINTS ON PARAMETERIZED MODELS.
    Witkin, Andrew
    Fleischer, Kurt
    Barr, Alan
    Computer Graphics (ACM), 1987, 21 (04): : 225 - 232
  • [8] PARAMETERIZED CONSTRAINTS FOR ELABORATION AND COMMUNICATION OF OBVIOUS
    CRITCHFI.HJ
    PROFESSIONAL GEOGRAPHER, 1973, 25 (02): : 175 - 175
  • [9] On the automatic validation of parameterized unity programs
    Bodeveix, JP
    Filali, M
    PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 807 - 819
  • [10] An Automatic Proving Approach to Parameterized Verification
    Li, Yongjian
    Duan, Kaiqiang
    Jansen, David N.
    Pang, Jun
    Zhang, Lijun
    Lv, Yi
    Cai, Shaowei
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018, 19 (04)