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 条
  • [21] Robotic Surgery: The Impact of Simulation and Other Innovative Platforms on Performance and Training
    Azadi, Shirin
    Green, Isabel C.
    Arnold, Anne
    Truong, Mireille
    Potts, Jacqueline
    Martino, Martin A.
    JOURNAL OF MINIMALLY INVASIVE GYNECOLOGY, 2021, 28 (03) : 490 - 495
  • [22] Real-Time Physics Simulation System for Marine Robotic Platforms
    Rozo Osorio, David
    Mario Londono, Jorge
    2017 IEEE 3RD COLOMBIAN CONFERENCE ON AUTOMATIC CONTROL (CCAC), 2017,
  • [23] Dynamic Load Emulation for Robotic Hardware-in-the-loop Simulation Platforms
    Emami, M. Reza
    Martin, Adrian
    2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5, 2008, : 1664 - 1669
  • [24] Real-Time Physics Simulation System for Marine Robotic Platforms
    Rozo Osorio, David
    Mario Londono, Jorge
    2017 IEEE 3RD COLOMBIAN CONFERENCE ON AUTOMATIC CONTROL (CCAC), 2017,
  • [25] On the Simulation of Robotic Motion Platforms with Digital Filters for Virtual Reality Applications
    Casas, Sergio
    Portales, Cristina
    Rueda, Silvia
    Fernandez, Marcos
    REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL, 2017, 14 (04): : 455 - 466
  • [26] Improving education in developing countries using robotic platforms
    Ponce, Pedro
    Molina, Arturo
    Lopez Caudana, Edgar Omar
    Baltazar Reyes, German
    Mazon Parra, Nancy
    INTERNATIONAL JOURNAL OF INTERACTIVE DESIGN AND MANUFACTURING - IJIDEM, 2019, 13 (04): : 1401 - 1422
  • [27] A Reusable Verification Environment for NoC Platforms Using UVM
    Eissa, Ahmed S.
    Ibrahem, Moamen A.
    Elmohr, Mahmoud A.
    Zamzam, Yasmin
    El-Yamany, Ahmed
    El-Ashry, Sameh
    Khamis, Mostafa
    Shalaby, Ahmed
    17TH IEEE INTERNATIONAL CONFERENCE ON SMART TECHNOLOGIES - IEEE EUROCON 2017 CONFERENCE PROCEEDINGS, 2017, : 239 - 242
  • [28] Improving education in developing countries using robotic platforms
    Pedro Ponce
    Arturo Molina
    Edgar Omar Lopez Caudana
    German Baltazar Reyes
    Nancy Mazon Parra
    International Journal on Interactive Design and Manufacturing (IJIDeM), 2019, 13 : 1401 - 1422
  • [29] Modelling and Simulation of Robotic Luggage Transport at OPO Airport
    Pereira, Miguel
    Silva, Manuel F.
    Siqueira, Andre
    ROBOTICS IN NATURAL SETTINGS, CLAWAR 2022, 2023, 530 : 487 - 500
  • [30] MODELLING AND SIMULATION OF A ROBOTIC SYSTEM FOR LOWER LIMB REHABILITATION
    Gherman, Bogdan
    Birlescu, Iosif
    Tucan, Paul
    Vaida, Calin
    Pisla, Adrian
    Pisla, Doina
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2018, VOL 5B, 2018,
12345