Issues

• Merit functions in optimisation

  bugsolvers
  ariadne-cps/ariadne#813 · Filter by author pietercollins opened on Feb 11, 2025
  

• ValidatedBoundsTaylorModelFunction issues during evolution

  dynamicsfunction
  Bug

  ariadne-cps/ariadne#811 · Filter by author lgeretti opened on Feb 6, 2025
  

• Issues with transitions and large sets with small steps

  hybrid
  Bug

  ariadne-cps/ariadne#808 · Filter by author lgeretti opened on Feb 6, 2025
  

• Discrete time hybrid automaton class in Python

  enhancementhybrid
  Feature

  ariadne-cps/ariadne#804 · Filter by author lgeretti opened on Feb 6, 2025
  

• Implement Matrix determinant

  algebraenhancementpriority:major
  Feature

  ariadne-cps/ariadne#803 · Filter by author lgeretti opened on Feb 6, 2025

• Function algebra dispatching

  algebradeficiencyfunction
  ariadne-cps/ariadne#798 · Filter by author pietercollins opened on Jan 7, 2025
  

• Uniform array class

  ariadne-cps/ariadne#793 · Filter by author pietercollins opened on Nov 30, 2024

• Support Interval Taylor models

  enhancement
  ariadne-cps/ariadne#790 · Filter by author lgeretti opened on Nov 13, 2024
  1

  

• Use aggregate initialization for configurations

  enhancementpriority:low
  ariadne-cps/ariadne#789 · Filter by author pietercollins opened on Nov 6, 2024
  

• Validated expressions and expression patches

  ariadne-cps/ariadne#787 · Filter by author pietercollins opened on Oct 28, 2024

• Test for invalid urgent events

  hybridpriority:low
  ariadne-cps/ariadne#785 · Filter by author pietercollins opened on Oct 15, 2024
  

• Undefined variables in examples

  ariadne-cps/ariadne#781 · Filter by author MKapuria opened on Sep 24, 2024
  1

• Implement neuro-symbolic reach-avoid in a verification module

  enhancementpythonverification
  ariadne-cps/ariadne#780 · Filter by author lgeretti opened on Jul 21, 2024
  

• Fix bugs in nonlinear optimisation solvers

  bugsolvers
  ariadne-cps/ariadne#765 · Filter by author pietercollins opened on Oct 19, 2023
  

• Naming and documentation of optimisation solvers

  docssolvers
  ariadne-cps/ariadne#761 · Filter by author pietercollins opened on Oct 5, 2023
  

• Python extraction of HybridEnclosure from HybridEnclosureListSet segfaults

  bugpython
  ariadne-cps/ariadne#759 · Filter by author lgeretti opened on Sep 4, 2023 · Fix bugs
  

• Segmentation fault and extracting solution

  ariadne-cps/ariadne#757 · Filter by author pastankaitis opened on Aug 16, 2023
  2

  

• Improving grid method scalability

  dynamicsenhancement
  ariadne-cps/ariadne#754 · Filter by author okrima opened on Jul 1, 2023
  1

  

• Simplify results of Integrators

  deficiencysolvers
  ariadne-cps/ariadne#753 · Filter by author pietercollins opened on Jun 29, 2023
  

• Implement constraint-based tuning of reachability properties

  enhancementverification
  ariadne-cps/ariadne#747 · Filter by author lgeretti opened on Apr 21, 2023
  

• Add drawer.hpp to ariadne.hpp

  deficiency
  ariadne-cps/ariadne#745 · Filter by author lgeretti opened on Mar 31, 2023
  

• Implement inner Enclosure approximations

  dynamicsenhancement
  ariadne-cps/ariadne#744 · Filter by author lgeretti opened on Mar 31, 2023
  

• shared_ptr::unique not available anymore in C++20

  deficiencypriority:critical
  ariadne-cps/ariadne#738 · Filter by author lgeretti opened on Feb 23, 2023
  2

  

• Support algebraic assignments in DifferentialInclusion

  dynamicsenhancement
  ariadne-cps/ariadne#731 · Filter by author lgeretti opened on Jan 29, 2023
  

• Make DifferentialInclusionEvolver implement EvolverInterface

  enhancement
  ariadne-cps/ariadne#730 · Filter by author lgeretti opened on Jan 26, 2023 · Efficiency and improved internal organization