JuliaReach/ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Language: Julia - Size: 10.5 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 205 - Forks: 17

INRIA/zelus

A synchronous language with ODEs

Language: OCaml - Size: 62.7 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 53 - Forks: 14

JuliaReach/SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia

Language: Julia - Size: 616 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 6 - Forks: 2

JuliaReach/ClosedLoopReachability.jl

Reachability analysis for closed-loop control systems in Julia

Language: Polar - Size: 9.15 MB - Last synced at: 1 day ago - Pushed at: 14 days ago - Stars: 47 - Forks: 3

verivital/nnv

Neural Network Verification Software Tool

Language: MATLAB - Size: 2.97 GB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 130 - Forks: 54

nadoukkadivin/tdc-toy-sims

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.

Language: Python - Size: 155 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0

TobiaMarcucci/pympc

Language: Python - Size: 25.7 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 61 - Forks: 26

tulip-control/tulip-control

Temporal Logic Planning toolbox

Language: Python - Size: 9.52 MB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 120 - Forks: 36

hypro/hypro

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

Language: C++ - Size: 344 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 34 - Forks: 7

WebAxol/rayven

Hybrid rendering engine that combines raycasting and raymarching. Offers all features of a conventional raycaster, but can render mirrors and complex backgrounds.

Language: TypeScript - Size: 16.4 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

ariadne-cps/ariadne

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

Language: C++ - Size: 20 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 29 - Forks: 9

mmousa-eng/research-hres-optimization

Optimizing a hybrid renewable energy system

Language: Python - Size: 146 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

mmousa-eng/research-solar-stirling-cooling

Hybrid solar Stirling and vortex tube cooling system analysis

Language: Python - Size: 14.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

vtramo/rtl-mc

Model Checking Linear Temporal Properties on Polyhedral Systems - Master's Thesis in Computer Science

Language: C++ - Size: 40 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

LS-Lab/KeYmaeraX-projects

Projects, models, and proofs in KeYmaera X

Language: Shell - Size: 955 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 7 - 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 at: 6 months ago - Pushed at: 6 months ago - Stars: 3 - Forks: 3

nosnoc/nosnoc

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

Language: MATLAB - Size: 88 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 54 - Forks: 11

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 at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

zucchi99/UPPAAL-Modeling-Ultrafiltration-Plant

Hybrid Modeling, Simulation, and Sub-Optimal Synthesis of a controller for the Ultrafiltration of Industrial Wastewater

Language: HTML - Size: 84.5 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - 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: 53.7 MB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 3 - 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 at: 8 months ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 1

5aurabhpathak/hi_en_hybrid_machine_translation

My master's thesis on Machine Translation

Language: Python - Size: 99.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 2

LS-Lab/KeYmaeraX-release

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

Language: Scala - Size: 260 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 75 - Forks: 37

4molybdenum2/cs-notes

Notes for MS CS classes at SBU

Size: 1.58 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

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 at: over 1 year ago - Pushed at: over 4 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 at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

LS-Lab/KeYmaera-release

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

Language: Java - Size: 19.5 MB - Last synced at: over 1 year ago - Pushed at: over 10 years ago - Stars: 8 - Forks: 4

JuliaReach/Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

Language: Julia - Size: 1.77 MB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 50 - Forks: 4

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 at: over 1 year ago - Pushed at: over 1 year 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 at: about 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

Kons-5/IST-MSim-Lab3

Lab 3 - Hybrid Systems

Language: TeX - Size: 12 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

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 at: about 2 years ago - Pushed at: about 2 years 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 at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 3

sergey-goncharov/hybrid-agda

Duration monad and hybrid semantics in cubical Agda

Language: Agda - Size: 59.6 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

miquelramirez/hybrid-mpc-planner

FS+ Planner packaged for deployment into simulators

Language: C++ - Size: 87.9 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

EthanJamesLew/SEE-Reach-py

A HL Symbolic Execution Engine Prototype for Reachability

Language: Python - Size: 72.3 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 0 - 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 at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

HydLa/webHydLa

a web interface of HydLa

Language: TypeScript - Size: 5.25 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 4

umangm/realsyn

Automated Controller Synthesis

Language: Python - Size: 1.55 MB - Last synced at: over 2 years ago - Pushed at: about 7 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 at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

nrfulton/scuba-release

Formal verification of a SCUBA ascent protocol.

Size: 14.6 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

modass/linearization

Linearization of non-linear dynamic systems for reachability analysis

Language: C++ - Size: 893 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

modass/simplex-architectures

Simplex-architectures prototype

Language: Jupyter Notebook - Size: 90.9 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

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 at: over 2 years ago - Pushed at: about 3 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 at: over 2 years ago - Pushed at: over 4 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 at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

forsyde/forsyde-atom

A shallow-embedded DSL for modeling cyber-physical systems

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

Inficial-Infotech/wallpaper Fork of manishvvasaniya/wallpaper

Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: over 5 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 at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 0