embedded-software-laboratory/p-dmpc

Prioritized Distributed Model Predictive Control for Networked Motion Planning

Language: MATLAB - Size: 18.4 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 20 - Forks: 3

embedded-software-laboratory/SLQISC

Subleq Assembler, Computer Circuit and other tools for teaching

Language: VHDL - Size: 1.37 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 4 - Forks: 0

embedded-software-laboratory/novelty-detection-analysis-system

Language: Python - Size: 69.9 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1

embedded-software-laboratory/tsltools Fork of Barnard-PL-Labs/tsltools

Library and tools for the TSL specification format

Language: Haskell - Size: 3.4 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

embedded-software-laboratory/Rosless-Lanelet2 Fork of fzi-forschungszentrum-informatik/Lanelet2

Map handling framework for automated driving without ROS dependency

Language: C++ - Size: 5.47 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 8 - Forks: 1

embedded-software-laboratory/embeddedRTPS

Portable implementation of the RTPS/DDS protocol for embedded devices.

Language: C++ - Size: 883 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 146 - Forks: 38

embedded-software-laboratory/z3 Fork of Z3Prover/z3

The Z3 Theorem Prover

Language: C++ - Size: 119 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

embedded-software-laboratory/TSA-FMICS22

Source code and benchmarks for the FMICS22 submission.

Language: C++ - Size: 3.73 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

embedded-software-laboratory/Summary-ETFA22

Source code and benchmarks for the ETFA22 submission.

Language: Smalltalk - Size: 5.37 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

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.

Language: C++ - Size: 679 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/F1-NextGen-Low-Level-Controller

Low level controller for F1-NextGen

Language: C - Size: 31.3 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/micro_ros_espidf_component Fork of micro-ROS/micro_ros_espidf_component

micro-ROS ESP32 IDF component and sample code

Size: 438 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/IntegrationService-UDPBridge

Language: C++ - Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

embedded-software-laboratory/Dataset-Converter

A tool to convert datasets into scenarios for the CPM Lab.

Language: C++ - Size: 5.14 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

embedded-software-laboratory/clam-pi Fork of seahorn/clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Language: C - Size: 3.63 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/CPM-Scenario

Library for handling CPM scenario files.

Language: C++ - Size: 247 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

embedded-software-laboratory/cardiovascular-and-respiratory-model

Language: MATLAB - Size: 11.3 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

embedded-software-laboratory/ArcadeBT

Language: C++ - Size: 5.99 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

embedded-software-laboratory/cpm_lab

Language: C++ - Size: 25.6 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 23 - Forks: 4

embedded-software-laboratory/control-in-networked-vehicles

Language: MATLAB - Size: 452 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 2

embedded-software-laboratory/embeddedRTPS-STM32

Language: C - Size: 49.8 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 14

embedded-software-laboratory/sequential-convex-programming

Language: MATLAB - Size: 5.01 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 29 - Forks: 7

embedded-software-laboratory/RF-for-ARDS-classification

Random Forest implementation for the classification of ARDS in ICU time-series data

Language: Python - Size: 23.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/mros2-esp32 Fork of mROS-base/mros2-esp32

reference implementation of mROS 2 for ESP32 boards

Language: C - Size: 489 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/uti_msgs

Language: CMake - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/F1-NextGen-Mid-Level-Controller

Language: C - Size: 71.3 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/lexy Fork of foonathan/lexy

C++ parsing DSL

Language: C++ - Size: 3.35 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

embedded-software-laboratory/embeddedRTPS-Linux

Language: HTML - Size: 3.2 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1

embedded-software-laboratory/crab-pi Fork of seahorn/crab

A library for building abstract interpretation-based analyses

Language: C++ - Size: 6.24 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

embedded-software-laboratory/STLLVM-Examples

Examples of STLLVM generated by the LLVM IR compiler

Language: LLVM - Size: 28.3 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

embedded-software-laboratory/receding-horizon-graph-search

Language: MATLAB - Size: 402 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0