Pinned Repositories
cardiovascular-and-respiratory-model
control-in-networked-vehicles
cpm_lab
embeddedRTPS
Portable implementation of the RTPS/DDS protocol for embedded devices.
embeddedRTPS-Linux
embeddedRTPS-STM32
lexy
C++ parsing DSL
p-dmpc
Prioritized Distributed Model Predictive Control for Networked Trajectory Planning
Rosless-Lanelet2
Map handling framework for automated driving without ROS dependency
sequential-convex-programming
i11, RWTH Aachen's Repositories
embedded-software-laboratory/embeddedRTPS
Portable implementation of the RTPS/DDS protocol for embedded devices.
embedded-software-laboratory/sequential-convex-programming
embedded-software-laboratory/embeddedRTPS-STM32
embedded-software-laboratory/cpm_lab
embedded-software-laboratory/p-dmpc
Prioritized Distributed Model Predictive Control for Networked Trajectory Planning
embedded-software-laboratory/embeddedRTPS-Linux
embedded-software-laboratory/control-in-networked-vehicles
embedded-software-laboratory/Rosless-Lanelet2
Map handling framework for automated driving without ROS dependency
embedded-software-laboratory/lexy
C++ parsing DSL
embedded-software-laboratory/cardiovascular-and-respiratory-model
embedded-software-laboratory/IntegrationService-UDPBridge
embedded-software-laboratory/novelty-detection-analysis-system
Novelty Detection analysis system to detect and imputate data inconsistencies in ICU datasets.
embedded-software-laboratory/RF-for-ARDS-classification
Random Forest implementation for the classification of ARDS in ICU time-series data
embedded-software-laboratory/F1-NextGen-Mid-Level-Controller
embedded-software-laboratory/Summary-ETFA22
Source code and benchmarks for the ETFA22 submission.
embedded-software-laboratory/TSA-FMICS22
Source code and benchmarks for the FMICS22 submission.
embedded-software-laboratory/ArcadeBT
embedded-software-laboratory/clam-pi
Static Analyzer for LLVM bitcode based on Abstract Interpretation
embedded-software-laboratory/CPM-Scenario
Library for handling CPM scenario files.
embedded-software-laboratory/crab-pi
A library for building abstract interpretation-based analyses
embedded-software-laboratory/Dataset-Converter
A tool to convert datasets into scenarios for the CPM Lab.
embedded-software-laboratory/F1-NextGen-Low-Level-Controller
Low level controller for F1-NextGen
embedded-software-laboratory/micro_ros_espidf_component
micro-ROS ESP32 IDF component and sample code
embedded-software-laboratory/mros2-esp32
reference implementation of mROS 2 for ESP32 boards
embedded-software-laboratory/ssl-vehicle-tracking
Provides ROS2 packages with which vehicles can be tracked on a pressure sensitive surface layer. This is divided into wheel detection and tracking as well as vehicle detection.
embedded-software-laboratory/STLLVM-Examples
Examples of STLLVM generated by the LLVM IR compiler
embedded-software-laboratory/tsltools
Library and tools for the TSL specification format
embedded-software-laboratory/uti_msgs
embedded-software-laboratory/z3
The Z3 Theorem Prover