Computer-Aided Compositional Design and Verification for Modular Robots

被引:7
|
作者
Tosun, Tarik [1 ]
Jing, Gangyuan [2 ]
Kress-Gazit, Hadas [2 ]
Yim, Mark [1 ]
机构
[1] Univ Penn, Philadelphia, PA 19104 USA
[2] Cornell Univ, Ithaca, NY USA
来源
关键词
D O I
10.1007/978-3-319-51532-8_15
中图分类号
TP24 [机器人技术];
学科分类号
080202 ; 1405 ;
摘要
引用
收藏
页码:237 / 252
页数:16
相关论文
共 50 条
  • [1] THE MODULAR FRAMEWORK OF COMPUTER-AIDED VERIFICATION
    SHUREK, G
    GRUMBERG, O
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 214 - 223
  • [2] Computer-aided fixture design verification
    Kang, Y
    Rong, Y
    [J]. PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON FRONTIERS OF DESIGN AND MANUFACTURING, VOL 1, 2002, : 360 - 366
  • [3] Computer-aided fixture design verification
    Kang, Y
    Rong, Y
    Yang, J
    Ma, W
    [J]. ASSEMBLY AUTOMATION, 2002, 22 (04) : 350 - 359
  • [4] Computer-aided verification
    Clarke, EM
    Kurshan, RP
    [J]. IEEE SPECTRUM, 1996, 33 (06) : 61 - 67
  • [5] A MODULAR MODELLING ENVIRONMENT FOR COMPUTER-AIDED PROCESS DESIGN
    Jones, Mark Nicholas
    Jones, Simon Anthony
    Sin, Gurkan
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF COMPUTER-AIDED PROCESS DESIGN, 2019, 47 : 23 - 28
  • [6] COMPUTER-AIDED PROCESS ANALYSIS AND DESIGN - MODULAR APPROACH
    JOHNSON, AI
    [J]. BRITISH CHEMICAL ENGINEERING AND PROCESS TECHNOLOGY, 1972, 17 (01): : 28 - &
  • [7] Computer-aided design and Computer-aided engineering
    Kolbasin, Alexander
    Husu, Oksana
    [J]. INTERNATIONAL SCIENCE CONFERENCE SPBWOSCE-2017 BUSINESS TECHNOLOGIES FOR SUSTAINABLE URBAN DEVELOPMENT, 2018, 170
  • [8] A method for verification of computer-aided design model errors
    Yang, J
    Han, S
    Park, S
    [J]. JOURNAL OF ENGINEERING DESIGN, 2005, 16 (03) : 337 - 352
  • [9] COMPUTER-AIDED DESIGN AND COMPUTER-AIDED MANUFACTURING
    WEINBERGSTABER, M
    [J]. DU-DIE ZEITSCHRIFT DER KULTUR, 1984, (02): : 89 - 89
  • [10] Computer-aided fixture design system for comprehensive modular fixtures
    Hou, JL
    Trappey, AJC
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2001, 39 (16) : 3703 - 3725