Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

被引：0
|
作者：
Cavalcanti, Ana [1 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5GH, N Yorkshire, England
来源：
RIGOROUS STATE-BASED METHODS, ABZ 2020 | 2020年 / 12071卷
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.1007/978-3-030-48077-6_1
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：3 / 5
页数：3
相关论文
共 50 条
  • [1] Visualisation, simulation & control of a robotic system using internet technology
    Calkin, DW
    Parkin, RM
    Safaric, R
    Czarnecki, CA
    1998 5TH INTERNATIONAL WORKSHOP ON ADVANCED MOTION CONTROL - PROCEEDINGS: AMC '98 - COIMBRA, 1998, : 399 - 404
  • [2] Modelling, Simulation and Control of the Walking of Biped Robotic Devices-Part I : Modelling and Simulation Using Autolev
    Menga, Giuseppe
    Ghirardi, Marco
    INVENTIONS, 2016, 1 (01)
  • [3] RoboChart: modelling and verification of the functional behaviour of robotic applications
    Alvaro Miyazawa
    Pedro Ribeiro
    Wei Li
    Ana Cavalcanti
    Jon Timmis
    Jim Woodcock
    Software & Systems Modeling, 2019, 18 : 3097 - 3149
  • [4] Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
    Foughali, Mohammed
    Berthomieu, Bernard
    Dal Zilio, Silvano
    Hladik, Pierre-Emmanuel
    Ingrand, Felix
    Mallet, Anthony
    2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 2 - 9
  • [5] RoboChart: modelling and verification of the functional behaviour of robotic applications
    Miyazawa, Alvaro
    Ribeiro, Pedro
    Li, Wei
    Cavalcanti, Ana
    Timmis, Jon
    Woodcock, Jim
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (05): : 3097 - 3149
  • [6] Modelling, Simulation and Analysis of Robotic Applications
    Sampaio, Augusto
    SBES'18: PROCEEDINGS OF THE XXXII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2018, : 3 - 3
  • [7] Dynamic modelling and simulation of robotic manipulator
    Cohodar, Maida
    Kulenovic, Malik
    Voloder, Avdo
    ANNALS OF DAAAM FOR 2007 & PROCEEDINGS OF THE 18TH INTERNATIONAL DAAAM SYMPOSIUM: INTELLIGENT MANUFACTURING & AUTOMATION: FOCUS ON CREATIVITY, RESPONSIBILITY, AND ETHICS OF ENGINEERS, 2007, : 165 - 166
  • [8] Modelling and simulation of a robotic work cell
    Sekala, A.
    Gwiazda, A.
    Kost, G.
    Banas, W.
    MODTECH INTERNATIONAL CONFERENCE - MODERN TECHNOLOGIES IN INDUSTRIAL ENGINEERING V, 2017, 227
  • [9] Verification experiment of robotic planetary compound milling technology
    Li C.
    Wang X.
    Yan P.
    Feng L.
    Cheng M.
    Jiao L.
    Xie L.
    Liu Z.
    Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 2021, 53 (01): : 16 - 22
  • [10] Using Docker, an Industry Standard Technology to Run GATE Simulation on Multiple Platforms
    Samson, Arnaud
    Gaudin, Emilie
    Lecomte, Roger
    Fontaine, Rejean
    2018 IEEE NUCLEAR SCIENCE SYMPOSIUM AND MEDICAL IMAGING CONFERENCE PROCEEDINGS (NSS/MIC), 2018,
12345