Temporal Logic Planning toolbox
Automated Controller Synthesis
Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"
Code for the paper Data-efficient model learning and prediction for contact-rich manipulation tasks, RA-L, 2020
[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.
My master's thesis on Machine Translation
Repository of the paper "Knowledge-Grounded Target Group Language Recognition in Hate Speech" (SEMANTiCS 2023).
A HL Symbolic Execution Engine Prototype for Reachability
toy sims for wip tidal drift communication (tdc) model: toolkit for multi-domain signal/flux propagation models for biolelectronic, bio and geophysical hybrid systems: incl. auto validation, reproducible ex, code.
Hybrid solar Stirling and vortex tube cooling system analysis
Optimizing a hybrid renewable energy system
Add a description, image, and links to the hybrid-systems topic page so that developers can more easily learn about it.
To associate your repository with the hybrid-systems topic, visit your repo's landing page and select "manage topics."