hurak
Associate professor of control engineering
Faculty of Electrical Engineering, Czech Technical University in PraguePrague, Czech Republic
hurak's Stars
JuliaNLSolvers/Optim.jl
Optimization functions for Julia
JuliaDiff/ForwardDiff.jl
Forward Mode Automatic Differentiation for Julia
KristofferC/TimerOutputs.jl
Formatted output of timed sections in Julia
juanmanzanero/fastest-lap
Fastest-lap is a vehicle dynamics simulator. It can be used to understand vehicle dynamics, to learn about driving techniques, to design car prototypes, or just for fun!
jump-dev/Convex.jl
A Julia package for disciplined convex programming
infiniteopt/InfiniteOpt.jl
An intuitive modeling interface for infinite-dimensional optimization problems.
JuliaDynamics/GoodScientificCodeWorkshop
A workshop on writing good scientific code: reproducible, re-traceable, readable, extendable, and well-documented.
SciML/LinearSolve.jl
LinearSolve.jl: High-Performance Unified Interface for Linear Solvers in Julia. Easily switch between factorization and Krylov methods, add preconditioners, and all in one interface.
JuliaDiff/SparseDiffTools.jl
Fast jacobian computation through sparsity exploitation and matrix coloring
JuliaDynamics/NonlinearDynamicsTextbook
Nonlinear Dynamics: A concise introduction interlaced with code
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
oxfordcontrol/Clarabel.jl
Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.
JuliaPolyhedra/Polyhedra.jl
Polyhedral Computation Interface
jump-dev/Pajarito.jl
A solver for mixed-integer convex optimization
pszufe/OpenStreetMapX.jl
OpenStreetMap (*.osm) support for Julia 1.0 and up
zekeriyasari/Causal.jl
Causal.jl - A modeling and simulation framework adopting causal modeling approach.
jump-dev/HiGHS.jl
A Julia interface to the HiGHS solver
jump-dev/GLPK.jl
A Julia interface to the GNU Linear Programming Kit
jump-dev/Cbc.jl
A Julia interface to the Coin-OR Branch and Cut solver (CBC)
jump-dev/SCS.jl
A Julia interface for the SCS conic programming solver
jump-dev/Pavito.jl
A gradient-based outer approximation solver for convex mixed-integer nonlinear programming (MINLP)
JuliaControl/RobustAndOptimalControl.jl
Robust and optimal design and analysis of linear control systems
JuliaSmoothOptimizers/Percival.jl
Implementation of an Augmented Lagrangian method
JuliaReach/ClosedLoopReachability.jl
Reachability analysis for closed-loop control systems in Julia
jump-dev/ECOS.jl
A Julia interface to the ECOS conic optimization solver
JuliaPolyhedra/CDDLib.jl
cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
greimel/pluto-course-template
Template for a course website based on https://computationalthinking.mit.edu
JuliaReach/JuliaCon-2021-Workshop-Its-All-Set
It's all Set: A hands-on introduction to JuliaReach
christiankral/ElectricalEngineering.isy
IPE style sheet with symbols for electrical engineering
bsamadi/PWATOOLS
A set of tools for piecewise affine (PWA) systems: approximation of nonlinear systems by PWA systems, stability analysis of PWA systems and controller synthesis for PWA systems