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 条
  • [31] INDUSTRIAL APPLICATIONS OF PETRI NETS: SYSTEM MODELLING AND SIMULATION
    Jimenez, Emilio
    Perez, Mercedes
    Latorre, Ignacio
    INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 159 - +
  • [32] Trends in the robotic simulation industry
    Ahrens, G
    Pageau, G
    ASSEMBLY AUTOMATION, 2002, 22 (03) : 230 - 234
  • [33] Verifying Concurrent Data Structures by Simulation
    Colvin, Robert
    Doherty, Simon
    Groves, Lindsay
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 137 (02) : 93 - 110
  • [34] Verifying Attack Graphs through Simulation
    Hill, Zachary
    Nichols, William M.
    Papa, Mauricio
    Hale, John C.
    Hawrylak, Peter J.
    2017 RESILIENCE WEEK (RWS), 2017, : 64 - 67
  • [35] OPTIMIZATION OF INDUSTRIAL ROBOT WORK CELLS USING THE AUTOMATED VARIANT SIMULATION
    Rossmann, Juergen
    Wischnewski, Roland
    Lenk, Patrick
    7TH INDUSTRIAL SIMULATION CONFERENCE 2009, 2009, : 133 - +
  • [36] A Categorical Approach for Modeling and Verifying Dynamic Software Architecture
    Ling, Xiang
    2013 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C), 2013, : 169 - 176
  • [37] Flow analysis for verifying properties of concurrent software systems
    Dwyer, MB
    Clarke, LA
    Cobleigh, JM
    Naumovich, G
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2004, 13 (04) : 359 - 430
  • [38] Applications of Simulation-based Computer Aided Software Design Solution Using BPsim.SD
    Aksyonov, Konstantin
    Bykov, Eugene
    Aksyonova, Olga
    UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013), 2013, : 326 - 331
  • [39] A review of simulation software for energy systems: Design, functionality, and applications
    Liu, Zhengguang
    Luo, Haizhi
    Zhang, Yangkai
    Luo, Tengqi
    Yang, Xiaohu
    THERMAL SCIENCE AND ENGINEERING PROGRESS, 2024, 53
  • [40] A Framework for Formally Verifying Software Transactional Memory Algorithms
    Lesani, Mohsen
    Luchangco, Victor
    Moir, Mark
    CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 516 - 530
12345