Toolchain

Integrated Data Management for a Fleet of Search‐and‐rescue Robots

Haris Balta, Janusz Będkowski, Shashank Govindaraj, Karol Majek, Paweł Musialik, Daniel Serrano, Kostas Alexis, Roland Siegwart, Geert De Cubber

引用数: 103 • 2016

An End-to-End Workflow for Engineering of Biological Networks from High-Level Specifications

Jacob Beal, Ron Weiss, Douglas Densmore, Aaron Adler, Evan Appleton, Jonathan Babb, Swapnil Bhatia, Noah Davidsohn, Traci L. Haddock, Joseph Loyall, Richard Schantz, Viktor Vasilev, Fusun Yaman

引用数: 89 • 2012

Human‐robot Teaming for Rescue Missions: Team ViGIR's Approach to the 2013 DARPA Robotics Challenge Trials

Stefan Kohlbrecher, Alberto Romay, Alexander Stumpf, Anant Gupta, Oskar von Stryk, Felipe Bacim, Doug A. Bowman, Alex K. Goins, Ravi Balasubramanian, David C. Conner

引用数: 81 • 2014

Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering

Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll

引用数: 65 • 2010

Modeling and reusing robotic software architectures: The HyperFlex toolchain

Luca Gherardi, Davide Brugali

引用数: 49 • 2014

ROSMonitoring: A Runtime Verification Framework for ROS

Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi

引用数: 49 • 2020

Towards marine bloom trajectory prediction for AUV mission planning

Jnaneshwar Das, Kanna Rajany, Sergey Frolov, Frederic Pyy, John P. Ryan, David A. Caron, Gaurav S. Sukhatme

引用数: 47 • 2010

Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin

John Fitzgerald, Peter Gorm Larsen, Ken Pierce

引用数: 42 • 2019

The SmartMDSD Toolchain: An Integrated MDSD Workflow and Integrated Development Environment (IDE) for Robotics Software

D. Stampfer, Alex Lotz, Matthias Lutz, Christian Schlegel

引用数: 35 • 2016

Unmanned Ground and Aerial Vehicles in extended range indoor and outdoor missions

Francesco Cocchioni, Valerio Pierfelice, Alessandro Benini, Adriano Mancini, Emanuele Frontoni, Primo Zingaretti, Gianluca Ippoliti, Sauro Longhi

引用数: 33 • 2014

Crop Height and Plot Estimation for Phenotyping from Unmanned Aerial Vehicles using 3D LiDAR

Harnaik Dhami, Kevin Yu, Tianshu Xu, Qian Zhu, Kshitiz Dhakal, James K. Friel, Song Li, Pratap Tokekar

引用数: 28 • 2019

A Formal Safety Net for Waypoint-Following in Ground Robots

引用数: 27 • 2019

A BPMN-driven framework for Multi-Robot System development

Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi

引用数: 26 • 2022

PsALM: Specification of Dependable Robotic Missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione

引用数: 25 • 2019

Application of Munich Agile Concept for MBSE Based Development of Automated Guided Robot Based on Digital Twin-Data

Vahid Salehi

引用数: 23 • 2023

BRIDE - a toolchain for framework-independent development of industrial service robot applications

Alexander Bubeck, Florian Weißhardt, Alexander Verl

引用数: 23 • 2022

Leveraging Graphical User Interface Automation for Generic Robot Programming

Tudor B. Ionescu

引用数: 20 • 2020

HyperFlex: A Model Driven Toolchain for Designing and Configuring Software Control Systems for Autonomous Robots

Davide Brugali, Luca Gherardi

引用数: 19 • 2016

A Modeling Framework for Software Architecture Specification and Validation

Nicolas Gobillot, Charles Lesire, David Doose

引用数: 19 • 2014

A Design and Analysis Methodology for Component-Based Real-Time Architectures of Autonomous Systems

Nicolas Gobillot, Charles Lesire, David Doose

引用数: 18 • 2018