hybrid-systems

There are 3 repositories under hybrid-systems topic.

JuliaReach / ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
numerical-analysis hybrid-systems formal-verification cyber-physical-systems reachability-analysis rigorous-numerics differential-equations interval-arithmetic dynamical-systems control-systems verification ode julia automatic-control simulations set-propagation flowpipe
Language:Julia 206
verivital / nnv
Neural Network Verification Software Tool
neural-network verification autonomy cyber-physical cyber-physical-systems formal-methods formal-verification hybrid-systems neural-network-verification reachability reachability-analysis robustness-verification trustworthy-ai trustworthy-machine-learning assured-autonomy neural-network-certification safe-ai safe-autonomy
Language:MATLAB 133
tulip-control / tulip-control
Temporal Logic Planning toolbox
temporal-logic automata specification synthesis control-systems verification abstraction hybrid-systems state-machine feedback-systems python
Language:Python 121
LS-Lab / KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
hybrid-systems theorem-prover dynamic-logics dynamical-systems proof tactics mathematica differential-dynamic-logic differential-equations axiom cyber-physical-systems scala hybrid-games keymaera
Language:Scala 84
nosnoc / nosnoc
nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.
hybrid-systems nonsmooth-dynamical-systems nonsmooth-mechanics nonsmooth-optimization numerical-methods optimal-control optimization simulation switched-systems
Language:MATLAB 65
TobiaMarcucci / pympc
model-predictive-control linear-systems hybrid-systems computational-geometry
Language:Python 61
INRIA / zelus
A synchronous language with ODEs
zelus synchronous-language odes ocaml hybrid-systems
Language:OCaml 53
JuliaReach / Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
dynamical-systems control-systems formal-verification reachability-analysis hybrid-systems engineering control-theory verification cyber-physical-systems ode julia automatic-control simulations
Language:Julia 50
JuliaReach / ClosedLoopReachability.jl
Reachability analysis for closed-loop control systems in Julia
neural-network hybrid-systems differential-equations robustness robotics control-systems
Language:Polar 47
hypro / hypro
HyPro: A C++ state set representation library for the analysis of hybrid systems
hybrid-systems reachability-analysis flowpipe-construction hybrid-automata
Language:C++ 36
ariadne-cps / ariadne
C++ framework for rigorous computation on cyber-physical systems
cyber-physical-systems formal-verification hybrid-systems interval-arithmetic numerical-analysis reachability-analysis
Language:C++ 29
umangm / realsyn
Automated Controller Synthesis
hybrid-systems cyber-physical-systems controller-synthesis smt-solver z3-smt-solver yices cvc4
Language:Python 15
shuoyang2000 / neural_hybrid_cbf
Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems"
autonomous-racing control-barrier-functions hybrid-systems machine-learning neural-pde
Language:Python 13
AndrasHartmann / son-em
SON-EM - Algorithm for parameter estimation of hybrid time-varying parameter systems using Sum of Norms regularization and Expectation Maximization
system-identification hybrid-systems matlab algorithm convex-optimization expectation-maximization
Language:MATLAB 10
LS-Lab / KeYmaera-release
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
hybrid-systems theorem-prover dynamic-logics dynamical-systems proof differential-dynamic-logic differential-equations cyber-physical-systems mathematica java
Language:Java 8
qibolun / DryVR_0.2
DryVR 2.0 is a software for hybrid system verification
verification hybrid-systems
Language:Jupyter Notebook 8
HydLa / webHydLa
a web interface of HydLa
hydla modeling-language hybrid-systems
Language:TypeScript 7
LS-Lab / KeYmaeraX-projects
Projects, models, and proofs in KeYmaera X
keymaerax differential-dynamic-logic hybrid-systems hybrid-games dynamical-systems cyber-physical-systems proof
Language:Shell 7
shbz80 / model_learning
Code for the paper Data-efficient model learning and prediction for contact-rich manipulation tasks, RA-L, 2020
model-learning robotics gaussian-processes gmm-clustering hybrid-systems svm-classifier unscented-transformation
Language:Python 7
JuliaReach / SpaceExParser.jl
Parser for the SpaceEx modeling language in Julia
spaceex model-based-design hybrid-systems
Language:Julia 6
mengyuest / nn_roa_planner
[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.
control hybrid-systems lyapunov-functions region-of-attraction robotics
Language:Python 5
5aurabhpathak / hi_en_hybrid_machine_translation
My master's thesis on Machine Translation
ebmt hindi-english-translation hybrid-systems machine-translation moses natural-language-processing rbmt smt
Language:Python 3
forsyde / forsyde-atom
A shallow-embedded DSL for modeling cyber-physical systems
haskell cyber-physical-systems edsl hybrid-systems
Language:Haskell 3
HROlive / Quantum-Autumn-School
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.
high-performance-computing hybrid-systems jupyter-notebook python quantum-algorithms quantum-chemistry quantum-computing quantum-finance
Language:Jupyter Notebook 3
mkhaled87 / pFaces-AMYTISS
A tool for parallel automated controller synthesis for large-scale stochastic systems.
symbolic-models symbolic-controller automated-synthesis reactive-synthesis markov-decision-process hybrid-systems noise stochastisity disturbances parallel-algorithm
Language:C++ 3
SwayambhuNathRay / Parallel-Romberg-Integration
Faster Integration using parallel processing.
parallel-computing cuda openmp-parallelization mpi parallel-romberg-integration hybrid-systems
Language:Cuda 3
luislcc / LC-TP4
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
computational-logic formal-verification hybrid-systems
Language:Jupyter Notebook 2
miquelramirez / hybrid-fs
Hybrid-FS: A planner for controlling hybrid systems specified in Functional STRIPS
cplusplus-14 ai planning hybrid-systems kinodynamic-planning
Language:C++ 2
miquelramirez / hybrid-mpc-planner
FS+ Planner packaged for deployment into simulators
cplusplus-14 hybrid-systems model-predictive-control
Language:C++ 2
nrfulton / kyxAsLibraryExample
How to use KeYmaera X as a library in a Scala code base.
tutorial-code keymaerax theorem-proving hybrid-systems cyber-physical-systems
Language:Scala 2
modass / linearization
Linearization of non-linear dynamic systems for reachability analysis
formal-methods formal-verification hybrid-systems nonlinear-dynamics
Language:C++ 1
modass / simplex-architectures
Simplex-architectures prototype
controller-verification formal-verification hybrid-systems
Language:Jupyter Notebook 1
Musseffect / electrical-power-systems
csharp modeling-language power-systems-analysis antlr wpf symbolic-differentiation transients differential-algebraic-equations hybrid-systems
Language:C# 1
preyero / hate-speech-identities
Repository of the paper "Knowledge-Grounded Target Group Language Recognition in Hate Speech" (SEMANTiCS 2023).
deep-neural-networks hate-speech-detection hybrid-systems interpretable-ai knowledge-graph
Language:Python 1
sergey-goncharov / hybrid-agda
Duration monad and hybrid semantics in cubical Agda
agda cubical-type-theory hybrid-systems
Language:Agda 1
WebAxol / Mirroware
Mirroware is an advanced raycasting engine that offers mirrors. You can simulate ray reflections to create fun games and impressive scenes.
javascript mirror-effect mirrors optics-simulation pseudo-3d raycasting reflection rendering optics physically-based-rendering typescript computer-graphics hybrid-systems simulation simulator
Language:TypeScript 1

hybrid-systems

JuliaReach / ReachabilityAnalysis.jl

verivital / nnv

tulip-control / tulip-control

LS-Lab / KeYmaeraX-release

nosnoc / nosnoc

TobiaMarcucci / pympc

INRIA / zelus

JuliaReach / Reachability.jl

JuliaReach / ClosedLoopReachability.jl

hypro / hypro

ariadne-cps / ariadne

umangm / realsyn

shuoyang2000 / neural_hybrid_cbf

AndrasHartmann / son-em

LS-Lab / KeYmaera-release

qibolun / DryVR_0.2

HydLa / webHydLa

LS-Lab / KeYmaeraX-projects

shbz80 / model_learning

JuliaReach / SpaceExParser.jl

mengyuest / nn_roa_planner

5aurabhpathak / hi_en_hybrid_machine_translation

forsyde / forsyde-atom

HROlive / Quantum-Autumn-School

mkhaled87 / pFaces-AMYTISS

SwayambhuNathRay / Parallel-Romberg-Integration

luislcc / LC-TP4

miquelramirez / hybrid-fs

miquelramirez / hybrid-mpc-planner

nrfulton / kyxAsLibraryExample

modass / linearization

modass / simplex-architectures

Musseffect / electrical-power-systems

preyero / hate-speech-identities

sergey-goncharov / hybrid-agda

WebAxol / Mirroware