schillic

Computer scientist

Aalborg UniversityDenmark

Pinned Repositories

ClosedLoopReachability.jl
Reachability analysis for closed-loop control systems in Julia
Language:Polar44 6 752
LazySets.jl
Scalable symbolic-numeric set computations in Julia
Language:Julia226 9 1.5k32
MathematicalSystems.jl
Systems definitions in Julia
Language:Julia42 9 1106
ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
Language:Julia187 10 25117
AdaptiveMomentClosure
Parameter identification for chemical reaction networks using adaptive moment closure
Language:MATLAB0 2 00
AffineArithmetic.jl
Affine arithmetic in Julia
Language:Julia00
dreal
dReal: An SMT Solver for Nonlinear Theories of the Reals
Language:C++0 4 20
HA2Stateflow
A converter from a hybrid automaton model to a Stateflow model
Language:C3 2 00
Hydentify
Parameter identification for multiaffine systems
Language:MATLAB1 2 00
IntervalRootFinding.jl
Find all roots of a function in a guaranteed way with Julia
Language:Julia00

schillic's Repositories

schillic/HA2Stateflow
A converter from a hybrid automaton model to a Stateflow model
Language:C3 2 00
schillic/Hydentify
Parameter identification for multiaffine systems
Language:MATLAB1 2 00
schillic/AdaptiveMomentClosure
Parameter identification for chemical reaction networks using adaptive moment closure
Language:MATLAB0 2 00
schillic/AffineArithmetic.jl
Affine arithmetic in Julia
Language:Julia00
schillic/dreal
dReal: An SMT Solver for Nonlinear Theories of the Reals
Language:C++0 4 20
schillic/IntervalRootFinding.jl
Find all roots of a function in a guaranteed way with Julia
Language:Julia00
schillic/symQV
Verification of quantum programs
Language:Python0 0 00