autonomy-and-verification-uol / ROSMonitoringLinks
ROSMonitoring: a Runtime Verification Framework for ROS
☆41Updated 4 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☆36Updated 2 years ago
- ☆37Updated 2 months ago
- ☆67Updated 3 months ago
- Managed nodes (or lifecycle nodes, LN) package provides a mechanism to create LifecycleNode activation trees☆79Updated this week
- Preparation of Workshop for ROSCon 2024 in Odense☆55Updated 3 months ago
- ☆31Updated 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…☆103Updated 5 years ago
- Scenario Execution for Robotics☆64Updated 6 months ago
- ☆88Updated 3 months ago
- robot_folders helps you managing multiple source projects with their own workspaces mainly around the ROS ecosystem.☆49Updated 8 months ago
- A library of (software) watchdogs based on DDS Quality of Service (QoS) policies and ROS 2 lifecycle nodes.☆77Updated last year
- Various Space ROS demos.☆35Updated last month
- Material URJC Robotics Software Engineering Degree - Computer Vision. This package allows running different Gazebo worlds, including the …☆12Updated 11 months ago
- ☆40Updated last year
- Unifying the ROS command line tools☆72Updated last month
- Command-line tool for generating documentation for ROS 2 packages.☆48Updated 2 months ago
- Demonstration of ROS2 unit-tests with example of a line follower robot☆14Updated last year
- Custom scripts, packages, and notebooks for the ROS Dev Day 2021 talk☆86Updated 2 years ago
- Contains the behavior engine FlexBE.☆58Updated 8 months ago
- A bi-directional ROS2-ROS1 communication way☆35Updated 2 years ago
- Maintains a bond (i.e. heart beat ) between ROS nodes and provides feedback when the bond is broken☆41Updated 2 months ago
- System modes for ROS 2 and micro-ROS☆47Updated 4 months ago
- ☆118Updated 2 years ago
- Common packages for Ridgeback.☆30Updated 11 months ago
- ☆43Updated last year
- KT-BT: A Framework for Knowledge Transfer Through Behavior Trees in Multirobot Systems☆16Updated 11 months ago
- Robot and world DEScription temPLATEs in ROS 2☆37Updated 2 years ago
- A complete replacement for roscd in ros2.☆42Updated 4 months ago
- Github Action to set up ROS 2 on hosts☆99Updated this week
- Presentation slides inside robot simulations 🎥🤖☆64Updated 2 years ago