Verifying Industrial Robotic Applications Using Simulation Software

被引：0
作者：
Kwak, Daniel [1 ]
Mikhail, Maged [1 ]
机构：
[1] Purdue Univ Northwest, Dept Engn Technol, Hammond, IN 46323 USA
来源：
IEEE SOUTHEASTCON 2020 | 2020年
关键词：
robotics; integration; simulation; verification; industrial robotic applications;
D O I：
10.1109/southeastcon44009.2020.9249719
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页数：2
相关论文
共 50 条
  • [21] Process simulation development for industrial rolling applications
    Lambert, D
    Jepson, PR
    Pihlainen, H
    MODELING, CONTROL AND OPTIMIZATION IN FERROUS AND NONFERROUS INDUSTRY, 2003, : 529 - 543
  • [22] StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems
    Lin, Yixiao
    Mitra, Sayan
    ACM SIGPLAN NOTICES, 2015, 50 (05)
  • [23] CAPE-OPEN: Interoperability in Industrial Flowsheet Simulation Software
    van Baten, Jasper
    Pons, Michel
    CHEMIE INGENIEUR TECHNIK, 2014, 86 (07) : 1052 - 1064
  • [24] Automata based modelling and simulation - Application in an industrial software environment
    Deligiannis, Vasileios
    Manesis, Stamatis
    ICINCO 2006: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, 2006, : 193 - 196
  • [25] Robotic industrial automation simulation-optimization for resolving conflict and deadlock
    Fazlollahtabar, Hamed
    Saidi-Mehrabad, Mohammad
    Masehian, Ellips
    ASSEMBLY AUTOMATION, 2021, 41 (04) : 477 - 485
  • [26] Investigations on power quality issues in industrial distribution systems using the power system blockset simulation software
    Al-Haddad, K
    Dessaint, LA
    Tou, M
    Champagne, R
    8TH INTERNATIONAL CONFERENCE ON HARMONICS AND QUALITY OF POWER, PROCEEDINGS, VOLS 1 AND 2, 1998, : 114 - 121
  • [27] AISRA: Anthropomorphic Robotic Hand for Small-Scale Industrial Applications
    Devaraja, Rahul Raj
    Maskeliunas, Rytis
    Damasevicius, Robertas
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2020, PT I, 2020, 12249 : 746 - 759
  • [28] Languages for formalizing, visualizing and verifying software architectures
    van Ommering, R
    Krikhaar, R
    Feijs, L
    COMPUTER LANGUAGES, 2001, 27 (1-3): : 3 - 18
  • [29] A novel multi-brand robotic software interface for industrial additive manufacturing cells
    Zhu, Carlos Ye
    Pires, J. Norberto
    Azar, Amin
    INDUSTRIAL ROBOT-THE INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH AND APPLICATION, 2020, 47 (04): : 581 - 592
  • [30] Verifying Learning-Based Robotic Navigation Systems
    Amir, Guy
    Corsi, Davide
    Yerushalmi, Raz
    Marzari, Luca
    Harel, David
    Farinelli, Alessandro
    Katz, Guy
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 : 607 - 627
12345