Search Results - RepositoryStats

16

193

mit

10

Computing reachable states of dynamical systems in Julia

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

Created 2019-12-03

1,924 commits to master branch, last one 26 days ago

nnv verivital

49

115

unknown

8

Neural Network Verification Software Tool

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

Created 2018-08-20

1,835 commits to master branch, last one 17 days ago

tulip-control tulip-control

35

114

bsd-3-clause

15

Temporal Logic Planning toolbox

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

Created 2013-10-30

4,130 commits to main branch, last one 2 months ago

KeYmaeraX-release LS-Lab

39

78

gpl-2.0

14

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

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

Created 2015-08-26

16,739 commits to master branch, last one 3 months ago

pympc TobiaMarcucci

25

54

unknown

5

This repository has no description...

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

Created 2017-05-10

253 commits to master branch, last one 4 months ago

nosnoc nosnoc

11

53

bsd-2-clause

5

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

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

Created 2022-03-15

266 commits to main branch, last one about a month ago

zelus INRIA

13

50

other

10

A synchronous language with ODEs

odes ocaml zelus hybrid-systems synchronous-language

Created 2020-05-30

2,226 commits to main branch, last one about a month ago

Reachability.jl JuliaReach

4

50

mit

7

Reachability and Safety of Nondeterministic Dynamical Systems

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

Created 2017-10-12

1,287 commits to master branch, last one 3 years ago

ClosedLoopReachability.jl JuliaReach

3

44

mit

6

Reachability analysis for closed-loop control systems in Julia

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

Created 2020-01-30

942 commits to master branch, last one 26 days ago