lucid  0.0.2
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.

NEXT.VERSION - UNRELEASED

0.0.2

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
  • PSO optimizer
  • SoPlex optimizer
  • Monte Carlo sampling to use as a baseline
  • Online demo running in the Browser using WebAssembly
  • Ability to record internal statistics during tool execution via the Stats class
  • Ability to save results in .yaml, .json, .mat, .npz or .csv formats

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
  • Improved LP problem formulation
  • Improved documentation
  • Renamed num_oversample to lattice_resolution for clarity

Fixed

  • Race condition in logger creation
  • Bug in the LP formulation

0.0.1

Added

  • Initial release