JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Language: Julia - Size: 9.56 MB - Last synced: about 5 hours ago - Pushed: 25 days ago - Stars: 187 - Forks: 17

4molybdenum2/cs-notes

Notes for MS CS classes at SBU

Size: 1.58 MB - Last synced: 19 days ago - Pushed: 19 days ago - Stars: 0 - Forks: 0

JuliaReach/SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia

Language: Julia - Size: 550 KB - Last synced: 26 days ago - Pushed: 26 days ago - Stars: 7 - Forks: 1

tulip-control/tulip-control

Temporal Logic Planning toolbox

Language: Python - Size: 9.51 MB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 108 - Forks: 35

JuliaReach/ClosedLoopReachability.jl

Reachability analysis for closed-loop control systems in Julia

Language: Polar - Size: 8.07 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 44 - Forks: 2

ariadne-cps/ariadne

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

Language: C++ - Size: 19.1 MB - Last synced: about 13 hours ago - Pushed: about 14 hours ago - Stars: 25 - Forks: 9

verivital/nnv

Neural Network Verification Software Tool

Size: 2.64 GB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 100 - Forks: 48

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

Language: Jupyter Notebook - Size: 342 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

exbibyte/coursework_ltl_fragment_planning 📦

feasible policy generator for nondeterministic system with LTL constraints

Language: Rust - Size: 973 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

nurkanovic/nosnoc

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

Language: MATLAB - Size: 83.1 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 44 - Forks: 9

INRIA/zelus

A synchronous language with ODEs

Language: OCaml - Size: 60.9 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 46 - Forks: 12

forsyde/forsyde-atom

A shallow-embedded DSL for modeling cyber-physical systems

Language: Haskell - Size: 11.5 MB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 2

LS-Lab/KeYmaeraX-projects

Projects, models, and proofs in KeYmaera X

Language: Shell - Size: 951 KB - Last synced: 2 months ago - Pushed: 5 months ago - Stars: 5 - Forks: 8

LS-Lab/KeYmaera-release

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

Language: Java - Size: 19.5 MB - Last synced: 2 months ago - Pushed: over 9 years ago - Stars: 8 - Forks: 4

LS-Lab/KeYmaeraX-release

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

Language: Scala - Size: 256 MB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 71 - Forks: 36

shuoyang2000/neural_hybrid_cbf

Code for "Learning Local Control Barrier Functions for Safety Control of Hybrid Systems" by S. Yang, Y. Chen, X. Yin, R. Mangharam

Language: Python - Size: 35.2 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

mengyuest/nn_roa_planner

[L4DC2023] A neural network policy learning framework to stabilize hybrid systems for robots.

Language: Python - Size: 14 MB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

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.

Language: Jupyter Notebook - Size: 49.6 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

hypro/hypro

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

Language: C++ - Size: 331 MB - Last synced: 7 months ago - Pushed: 9 months ago - Stars: 27 - Forks: 8

mkhaled87/pFaces-AMYTISS

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

Language: C++ - Size: 26.4 MB - Last synced: 8 months ago - Pushed: about 1 year ago - Stars: 3 - Forks: 3

wind-m05/Hybrid-control-course

Project from an introductory course in hybrid systems focussed on stability and performance.

Language: MATLAB - Size: 647 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

qibolun/DryVR_0.2

DryVR 2.0 is a software for hybrid system verification

Language: Jupyter Notebook - Size: 22.9 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 7 - Forks: 3

preyero/hate-speech-identities

Repository of the paper "Knowledge-Grounded Target Group Language Recognition in Hate Speech" (SEMANTiCS 2023).

Language: Python - Size: 24.7 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

sergey-goncharov/hybrid-agda

Duration monad and hybrid semantics in cubical Agda

Language: Agda - Size: 59.6 KB - Last synced: 10 months ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

5aurabhpathak/hi_en_hybrid_machine_translation

My master's thesis on Machine Translation

Language: Python - Size: 91.8 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 3 - Forks: 2

miquelramirez/hybrid-mpc-planner

FS+ Planner packaged for deployment into simulators

Language: C++ - Size: 87.9 KB - Last synced: 11 months ago - Pushed: over 4 years ago - Stars: 2 - Forks: 1

TobiaMarcucci/pympc

Language: Python - Size: 25.8 MB - Last synced: 10 months ago - Pushed: about 5 years ago - Stars: 41 - Forks: 23

WebAxol/Mirroware

Mirroware is a hybrid between two rendering systems: it takes the idea of traditional raycasting and combines it with raytracing concepts, such as reflections. This is the perfect combination between retro and modern graphics!

Language: TypeScript - Size: 7.17 MB - Last synced: 5 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

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

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

Language: MATLAB - Size: 62.5 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

HydLa/webHydLa

a web interface of HydLa

Language: TypeScript - Size: 5.25 MB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 7 - Forks: 4

umangm/realsyn

Automated Controller Synthesis

Language: Python - Size: 1.55 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 13 - Forks: 5

nrfulton/kyxAsLibraryExample

How to use KeYmaera X as a library in a Scala code base.

Language: Scala - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

nrfulton/scuba-release

Formal verification of a SCUBA ascent protocol.

Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 1

JuliaReach/Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

Language: Julia - Size: 1.77 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 50 - Forks: 4

modass/linearization

Linearization of non-linear dynamic systems for reachability analysis

Language: C++ - Size: 893 KB - Last synced: 11 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

modass/simplex-architectures

Simplex-architectures prototype

Language: Jupyter Notebook - Size: 90.9 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

AndrasHartmann/son-em

SON-EM - Algorithm for parameter estimation of hybrid time-varying parameter systems using Sum of Norms regularization and Expectation Maximization

Language: Matlab - Size: 23.4 KB - Last synced: over 1 year ago - Pushed: about 6 years ago - Stars: 7 - Forks: 1

shbz80/model_learning

Code for the paper Data-efficient model learning and prediction for contact-rich manipulation tasks, RA-L, 2020

Language: Python - Size: 1.78 MB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

ariadne-cps/release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems

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

njusegzyf/BarrierCertificateGenerationTool

Tool for Barrier Certificate Generation of Hybrid Systems via Bilinear Programming

Language: Matlab - Size: 1.01 MB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

Inficial-Infotech/wallpaper Fork of manishvvasaniya/wallpaper

Size: 65.4 KB - Last synced: 12 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

miquelramirez/hybrid-fs

Hybrid-FS: A planner for controlling hybrid systems specified in Functional STRIPS

Language: C++ - Size: 637 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 2 - Forks: 0