Summary

This technical document outlines a significant update and expansion within the TaylorSeriesBounderIntegrator project. The primary objectives include introducing a new TaylorSeriesBounderIntegrator designed to identify bounds from an expansion without requiring a separate Bounder object at the start, and to integrate Python bindings for variables like 2D Projection fields. Additionally, the code now supports polynomial predicates in symbolic expressions, implements a GradedTaylorPicardIterator to avoid initial Bounder usage, and allows graphics backend switching through the command line interface. The project also expands to support hybrid automata, allowing for C and Python integration, refined refinement strategies for step sizes, and the addition of animated GIF plots for PDEs. Notable features such as allowing the midpoint as a point effective for simulation input, adding missing bindings for Verifier safety checks, and implementing new Plotting functions for Hybrid figures were successfully added. Furthermore, the implementation includes a modification to prevent vector field and map constructions from function inputs, ensuring that compilation errors are avoided during Release builds. The code has been significantly streamlined by simplifying the IntegratorInterface to include only one flow step, and deprecated functions have been removed. These enhancements collectively improve the stability, robustness, and functionality of the solver engine for complex dynamical systems and hybrid systems.

Title

Ariadne

Description

Ariadne

Keywords

feature, python, release, bindings, support, hybrid, version, using, changes, ariadne, library, change, behavior, step, more, systems, simulator

NS Lookup

A 89.46.106.28

Dates

Created 2026-04-15

Updated 2026-04-15

Summarized 2026-04-16