#

flowpipe

Here are 2 public repositories matching this topic...

JuliaReach / ReachabilityAnalysis.jl

Methods to compute sets of states reachable by dynamical systems

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 Mar 5, 2022
Julia

BracketJohn / flowp

Flowpipe approximation for general Linear Hybrid Automata

approximation hybrid automata-theory flowpipe

Updated Aug 8, 2018
Python

Improve this page

Add a description, image, and links to the flowpipe 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 flowpipe topic, visit your repo's landing page and select "manage topics."