Andrea Zanelli's repositories

prometeo

An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing

Language:PythonLicense:BSD-2-ClauseStargazers:613Issues:15Issues:10

feasible_sqp

A solver for nonlinear programming based on a sequential quadratic programming strategy with feasible intermediate iterates.

Language:AMPLStargazers:14Issues:3Issues:0

nmpc_system_optimizer_lyapunov

Code associated with the paper "A Lyapunov Function for the Combined System-Optimizer Dynamics in Nonlinear Model Predictive Control" - Andrea Zanelli, Quoc Tran Dinh, Moritz Diehl.

Language:PythonStargazers:7Issues:3Issues:0
Language:CLicense:LGPL-2.1Stargazers:2Issues:4Issues:0

ptmpc

Python implementation of partially tightened MPC

Language:PythonStargazers:1Issues:3Issues:0

weave

Unofficial fork of Weave (tools for including C/C++ code within Python code) for Python 3 support

Language:C++License:NOASSERTIONStargazers:1Issues:2Issues:0

.tmux

Oh My Tmux! My pretty + versatile tmux configuration that just works (imho the best tmux configuration)

License:MITStargazers:0Issues:3Issues:0

acado

ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization.

Language:C++License:LGPL-3.0Stargazers:0Issues:3Issues:0

acados

Fast and embedded solvers for nonlinear optimal control

Language:CLicense:NOASSERTIONStargazers:0Issues:4Issues:4
Language:CStargazers:0Issues:2Issues:0

BC-RTI

The chain of masses problem is solved using block condensing and qpDUNES within ACADO

Language:C++License:LGPL-3.0Stargazers:0Issues:3Issues:0
Language:AssemblyLicense:NOASSERTIONStargazers:0Issues:4Issues:0

casadi

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

Language:C++License:LGPL-3.0Stargazers:0Issues:1Issues:0

ctree

A C-family AST implementation designed to be an IR for DSL compilers.

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

forcesnlp-examples

Public examples for FORCES NLP

Language:CLicense:MITStargazers:0Issues:3Issues:0

gym

A toolkit for developing and comparing reinforcement learning algorithms.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hpmpc

Library for High-Performance implementation of solvers for MPC.

Language:CLicense:LGPL-2.1Stargazers:0Issues:3Issues:0

ms-eetc

Multiple shooting for computationally efficient train trajectory optimization

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

mypy

Optional static typing for Python 2 and 3 (PEP484)

Language:PythonLicense:NOASSERTIONStargazers:0Issues:3Issues:0

Nim

Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in the order of priority).

Language:NimLicense:NOASSERTIONStargazers:0Issues:3Issues:0

OCPQP-benchmark

Benchmark of QP solvers for Optimal Control

Language:MatlabStargazers:0Issues:3Issues:0

py3c

A Python 2/3 compatibility layer for C extensions

Language:CLicense:MITStargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:2Issues:0

qpOASES

Open-source C++ implementation of the recently proposed online active set strategy

Language:C++License:LGPL-2.1Stargazers:0Issues:2Issues:0

rtd-sphinx-themes-examples

A project illustrating different Sphinx themes locally and on Read the Docs

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

vim_tmux_conf

vim and tmux configuration files

Language:Vim scriptStargazers:0Issues:0Issues:0

zoro-NMPC-2021

Zero-Order Robust Nonlinear Model Predictive Control with Ellipsoidal Uncertainty Sets

Stargazers:0Issues:0Issues:0