autonomy-and-verification-uol / ROSMonitoringLinks
ROSMonitoring: a Runtime Verification Framework for ROS
☆44Updated 9 months ago
Alternatives and similar repositories for ROSMonitoring
Users that are interested in ROSMonitoring are comparing it to the libraries listed below
Sorting:
- Parametric nonlinear battery model for ROS robot simulations in Gazebo☆38Updated 3 years ago
- ☆38Updated 8 months ago
- Managed nodes (or lifecycle nodes, LN) package provides a mechanism to create LifecycleNode activation trees☆82Updated last month
- Various Space ROS demos.☆41Updated 2 weeks ago
- Examples on Using ROS 2 Deliberation Technologies☆57Updated last month
- Common packages for Ridgeback.☆31Updated last month
- ☆71Updated last week
- Unifying the ROS command line tools☆74Updated 2 months ago
- A bi-directional ROS2-ROS1 communication way☆35Updated 3 years ago
- Github Action to set up ROS 2 on hosts☆101Updated last week
- A library of (software) watchdogs based on DDS Quality of Service (QoS) policies and ROS 2 lifecycle nodes.☆82Updated last year
- Robot and world DEScription temPLATEs in ROS 2☆37Updated 3 years ago
- Replication package of the paper titled "How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems" pu…☆104Updated 4 months ago
- A mini racetrack world for developing and testing robots with AWS RoboMaker and Gazebo simulations.☆50Updated 3 years ago
- Examples for individual ROS2 functionalities inc. Subscribers, Publishers, Timers, Services, Parameters. ...☆72Updated 3 weeks ago
- This repository contains the code for the Realistic Multi-Robot Coordination (ReMRoC) Framework.☆62Updated last month
- Maritime simulation with ignition tutorial☆30Updated last year
- robot_folders helps you managing multiple source projects with their own workspaces mainly around the ROS ecosystem.☆49Updated last year
- ☆128Updated 2 years ago
- The vda5050_msgs package contains the datatypes (json objects) specified by the VDA "Arbeitskreis Schlüsseltechnologien" in their recomm…☆30Updated 4 months ago
- ☆102Updated last month
- Github Action to convert ROS packages to Debian packages☆75Updated last month
- A complete replacement for roscd in ros2.☆48Updated 10 months ago
- Demonstration of ROS2 unit-tests with example of a line follower robot☆14Updated last year
- ☆38Updated 2 years ago
- ☆33Updated 4 years ago
- Checks ROS packages for correct license declaration☆55Updated 3 months ago
- ☆33Updated last year
- Custom scripts, packages, and notebooks for the ROS Dev Day 2021 talk☆94Updated 3 years ago
- ☆43Updated last year