hybrid-systems

Here are 48 public repositories matching this topic...

verivital / nnv

Neural Network Verification Software Tool

neural-network verification reachability formal-methods hybrid-systems formal-verification cyber-physical autonomy cyber-physical-systems reachability-analysis robustness-verification trustworthy-machine-learning neural-network-verification trustworthy-ai safe-ai safe-autonomy neural-network-certification assured-autonomy

Updated Feb 5, 2025
MATLAB

LS-Lab / KeYmaeraX-release

Star

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

scala proof mathematica tactics dynamical-systems differential-equations hybrid-systems theorem-prover axiom cyber-physical-systems dynamic-logics differential-dynamic-logic keymaera hybrid-games

Updated Sep 24, 2024
Scala

tulip-control / tulip-control

Star

Temporal Logic Planning toolbox

python automata state-machine verification specification abstraction synthesis temporal-logic control-systems hybrid-systems feedback-systems

Updated Nov 30, 2024
Python

TobiaMarcucci / pympc

Star

computational-geometry linear-systems hybrid-systems model-predictive-control

Updated Aug 2, 2024
Python

JuliaReach / ReachabilityAnalysis.jl

Star

Computing reachable states of dynamical systems in Julia

julia verification ode simulations dynamical-systems control-systems differential-equations interval-arithmetic hybrid-systems formal-verification numerical-analysis cyber-physical-systems reachability-analysis automatic-control flowpipe rigorous-numerics set-propagation

Updated Jan 31, 2025
Julia

INRIA / zelus

Star

A synchronous language with ODEs

ocaml hybrid-systems synchronous-language odes zelus

Updated Feb 7, 2025
OCaml

nosnoc / nosnoc

Star

nosnoc is an open source software package for NOnSmooth Numerical Optimal Control.

simulation optimization numerical-methods optimal-control hybrid-systems nonsmooth-dynamical-systems switched-systems nonsmooth-optimization nonsmooth-mechanics

Updated Jan 28, 2025
MATLAB

ariadne-cps / ariadne

Star

C++ framework for rigorous computation on cyber-physical systems

interval-arithmetic hybrid-systems formal-verification numerical-analysis cyber-physical-systems reachability-analysis

Updated Feb 7, 2025
C++

LS-Lab / KeYmaeraX-projects

Star

Projects, models, and proofs in KeYmaera X

proof dynamical-systems hybrid-systems keymaerax cyber-physical-systems differential-dynamic-logic hybrid-games

Updated Aug 30, 2024
Shell

hypro / hypro

Star

HyPro: A C++ state set representation library for the analysis of hybrid systems

hybrid-systems reachability-analysis flowpipe-construction hybrid-automata

Updated Feb 5, 2025
C++

umangm / realsyn

Star

Automated Controller Synthesis

hybrid-systems smt-solver cvc4 yices cyber-physical-systems z3-smt-solver controller-synthesis

Updated Jun 27, 2018
Python

LS-Lab / KeYmaera-release

Star

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

java proof mathematica dynamical-systems differential-equations hybrid-systems theorem-prover cyber-physical-systems dynamic-logics differential-dynamic-logic

Updated Dec 15, 2014
Java

JuliaReach / Reachability.jl

Star

Reachability and Safety of Nondeterministic Dynamical Systems

engineering julia verification ode simulations dynamical-systems control-systems hybrid-systems formal-verification control-theory cyber-physical-systems reachability-analysis automatic-control

Updated May 22, 2021
Julia

HydLa / webHydLa

Star

a web interface of HydLa

modeling-language hybrid-systems hydla

Updated Aug 31, 2024
TypeScript

JuliaReach / ClosedLoopReachability.jl

Star

Reachability analysis for closed-loop control systems in Julia

neural-network robotics control-systems differential-equations hybrid-systems robustness

Updated Jan 25, 2025
Polar

mkhaled87 / pFaces-AMYTISS

Star

A tool for parallel automated controller synthesis for large-scale stochastic systems.

noise parallel-algorithm hybrid-systems reactive-synthesis automated-synthesis markov-decision-process symbolic-models disturbances symbolic-controller stochastisity

Updated Dec 1, 2024
C++

qibolun / DryVR_0.2

Star

DryVR 2.0 is a software for hybrid system verification

verification hybrid-systems

Updated Sep 27, 2021
Jupyter Notebook

TobiasHolicki / IQCs-for-Discrete-Time-Impulsive-Uncertainties

Star

IQC Based Analysis and Estimator Design for Discrete-Time Systems Affected by Impulsive Uncertainties

analysis estimation hybrid-systems linear-matrix-inequalities robust-control

Updated May 5, 2023
MATLAB

forsyde / forsyde-atom

Star

A shallow-embedded DSL for modeling cyber-physical systems

haskell edsl hybrid-systems cyber-physical-systems

Updated Nov 12, 2024
Haskell

5aurabhpathak / hi_en_hybrid_machine_translation

Star

My master's thesis on Machine Translation

natural-language-processing machine-translation hybrid-systems smt moses rbmt hindi-english-translation ebmt

Updated Aug 26, 2024
Python

Improve this page

Add a description, image, and links to the hybrid-systems topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hybrid-systems topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

hybrid-systems

Here are 48 public repositories matching this topic...

verivital / nnv

LS-Lab / KeYmaeraX-release

tulip-control / tulip-control

TobiaMarcucci / pympc

JuliaReach / ReachabilityAnalysis.jl

INRIA / zelus

nosnoc / nosnoc

ariadne-cps / ariadne

LS-Lab / KeYmaeraX-projects

hypro / hypro

umangm / realsyn

LS-Lab / KeYmaera-release

JuliaReach / Reachability.jl

HydLa / webHydLa

JuliaReach / ClosedLoopReachability.jl

mkhaled87 / pFaces-AMYTISS

qibolun / DryVR_0.2

TobiasHolicki / IQCs-for-Discrete-Time-Impulsive-Uncertainties

forsyde / forsyde-atom

5aurabhpathak / hi_en_hybrid_machine_translation

Improve this page

Add this topic to your repo