Hybrid-FS: A planner for controlling hybrid systems specified in Functional STRIPS
-
Updated
Nov 22, 2018 - C++
Hybrid-FS: A planner for controlling hybrid systems specified in Functional STRIPS
Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems" by S. Yang, Y. Chen, X. Yin, R. Mangharam
Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos
A little js tool for solution of hybrid dynamical systems. Can solve systems of differential-algebraic equations of index 1 and 0 in implicit form.
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.
Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
Tool for Barrier Certificate Generation of Hybrid Systems via Bilinear Programming
A HL Symbolic Execution Engine Prototype for Reachability
Simplex-architectures prototype
Repository of the paper "Knowledge-Grounded Target Group Language Recognition in Hate Speech" (SEMANTiCS 2023).
Linearization of non-linear dynamic systems for reachability analysis
How to use KeYmaera X as a library in a Scala code base.
Project from an introductory course in hybrid systems focussed on stability and performance.
ENCCS is now again joining forces with the Wallenberg Centre of Quantum Technologies (WACQT) and the Nordic/Baltic NordIQuEst project to deliver a three-day autumn school covering the fundamentals of quantum computing.
Duration monad and hybrid semantics in cubical Agda
feasible policy generator for nondeterministic system with LTL constraints
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."