The latest versions of Artelys Knitro and CasADi are now compatible!

30 May 2023

— CasADi is an open-source tool for general numerical optimization with a strong focus on optimal control and its versions 3.6.2 and higher are now compatible with Artelys Knitro 13.2.
What is CasADi?

CasADi initially focused on using a syntax akin to Computer Algebra Systems (CAS) and has now encapsulated this expertise in a general-purpose tool for gradient-based numerical optimization. The user can set up, solve, and perform forward and adjoint sensitivity analysis for systems of Ordinary Differential Equations (ODE) or Differential-Algebraic Equations (DAE) as well as formulate and solve Non-Linear Programs (NLP, MINLP) and Optimal Control Problems (OCP) using the derivative information generated by AD.

It facilitates rapid and efficient implementation of various methods for numerical optimal control, both in an offline context and for Non-linear Model Predictive Control (NMPC).

CasADi’s backbone is a symbolic framework implementing forward and reverse mode of ADon expression graphs to construct gradients, large-and-sparse Jacobians and Hessians.

Interface with Artelys Knitro

For each problem mentioned above, CasADi is able to call relevant solvers, such as Artelys Knitro, a high-performance tool dedicated to NLP/MINLP. This is especially useful to solve high-dimensional nonlinear problems that occur in robotics, for example when performing trajectory planning.

For instance, in a previous news we mentioned an article from the Biomimetic Robotics Lab of the Massachusetts Institute of Technology (MIT) where the authors use CasADi and Knitro for real-time control of their legged robots: the MIT Mini Cheetah and the MIT Humanoid.

The great news is: versions v3.6.2 and higher of CasADI are now compatible with the latest version of Knitro (v13.2)!

Version 13.2 of Artelys Knitro offers many improvements compared to the last version supported in CasADi, some of which are especially relevant in this context:

  • Many NLP/MINLP improvements
  • New parallelism features on Branch-and-Bound and linear solvers
  • Improved presolve including bound tightening and detection of redundant constraints
  • New MIP cuts and improved cut generation and selection strategies
  • Improved multi-start heuristics
Applications

The applications of CasADi in science and engineering involve system design, parameter estimation, Model Predictive Control (MPC) or Moving Horizon Estimation (MHE) in many fields, either directly or embedded in software packages.

In The MIT Mini Cheetah use case mentioned earlier, the authors implemented a NMPC to find optimal landing postures, requiring nonlinear trajectory optimization with contact complementary constraints. Because real-time performance is so important in the short duration of a fall, Knitro was used for its speed, reliable convergence and ability to handle complementarity constraints.

In this article, the authors tackle the topical problem of trajectory generation for autonomous Micro-Aerial-Vehicles. A new formulation is proposed for multirotors trajectory generation that, unlike previous formulations, takes into account gravity, aerodynamic drag as well as obstacles and path constraints. The result is an NLP modeled in CasADi and solved with Knitro. Thanks to their approach and to Knitro, the authors are now able to cold start their optimization and converge to an optimal solution.

This use case also resorts to CasADi to plan multi-contact motions for legged robots to traverse uneven surfaces. Due to perturbations that may arise in real world (e.g. environment changes), online motion planning becomes essential. To this end, the authors use Receding Horizon Planning (RHP) which aims at constantly updating the motion plan. RHP requires the resolution of trajectory optimization problems, which are high-dimensional nonlinear problems, hence why Knitro was chosen as solver.

In this thesis, the race strategy of FIA Formula E is optimized. In this series, energy management is crucial. Defining the best trajectory using only GPS data of the track boundaries is a highly nonlinear problem. Therefore, CasADi and Knitro have been used to compute the optimal energy distribution in a single lap first, and then over the entire race.

Discover more Artelys Knitro use cases on this page and more applications of CasADi in this article.

If you want to know more about Artelys Knitro, check out our dedicated webpage.

EEX launches auctions for French Biogas Guarantees of Origin

EEX launches auctions for French Biogas Guarantees of Origin

— The European Energy Exchange (EEX), in collaboration with the French Ministry of Energy, is introducing auctions for biogas Guarantees of Origin (GOs). Artelys provides the market-clearing technology to optimize the auction process, supporting renewable energy certification and decarbonization efforts.

read more
Innovative grid technologies can improve renewable energy integration in the Latvian grid by up to 40%

Innovative grid technologies can improve renewable energy integration in the Latvian grid by up to 40%

—The power grid faces challenges in managing the increasing amounts of new wind and solar power generation. Grid Enhancing Technologies (GETs) are essential for optimizing the use of the existing infrastructure. Artelys carried out a study for Latvian Transmission System Operator (TSO) AST to assess the renewable generation hosting capacity of the transmission grid and to evaluate the benefits that GETs can provide to renewable integration. The study performed simulations using the open-source optimal flow tool, PowSyBI Metrix. Results show that Grid Enhancing Technologies can increase Renewable Energy Sources (RES) hosting capacity by up to 40% and were announced in the following press release.

read more

subscribe to our newsletters

The collected data will be exclusively processed by the company Artelys for the purpose of keeping you informed about the services and products marketed by our company.

🛈

DOCUMENTATION

FOLLOW US

        

© ARTELYS • All rights reserved • Legal mentions

Pin It on Pinterest

Share This