lucid  0.0.1
Lifting-based Uncertain Control Invariant Dynamics
Loading...
Searching...
No Matches
Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

0.0.2 - Unreleased

Added

  • Contour for gamma and eta planes when plotting the 2D barrier function
  • MACRO documentation
  • Windows support for HiGHS
  • Support for epsilon, b_kappa, b_norm, feature_sigma_l and set_scaling parameters in the configuration
  • Improved problem formulation
  • Monte Carlo sampling to use as a baseline
  • Online demo running in the Browser using WebAssembly

Changed

  • The default examples in the GUI have been updated to match the ones in the paper
  • Optimized the number of points required for plotting eta and gamma planes
  • Pylucid loads Gurobi dynamically at runtime, to avoid forcing its installation if it is not needed

Fixed

  • Race condition in logger creation

0.0.1

Added

  • Initial release