Cover Image

Some Computational Tools for Solving a Selection of Problems in Control Theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Demin, Alexander, Katsamaki, Christina, Rouillier, Fabrice
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation Mathematical Software Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

Parameter Estimation in ODE Models with Certified Polynomial System Solving
by: Demin, Alexander, et al.
Published: (2025)

Simple generators of rational function fields
by: Demin, Alexander, et al.
Published: (2026)

Groebner.jl: A package for Gröbner bases computations in Julia
by: Demin, Alexander, et al.
Published: (2023)

Exact hierarchical reductions of dynamical models via linear transformations
by: Demin, Alexander, et al.
Published: (2023)

Reading Rational Univariate Representations on lexicographic Groebner bases
by: Demin, Alexander, et al.
Published: (2024)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
by: Olivieri, Albani, et al.
Published: (2026)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
by: Heisinger, Maximilian, et al.
Published: (2025)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
by: Dzafic, Izudin, et al.
Published: (2025)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
by: Loday-Richaud, Michèle, et al.
Published: (2026)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
by: Durán, Antonio J., et al.
Published: (2013)

Generalised Burnside and Dixon algorithms for irreducible projective representations
by: Szabó, Attila
Published: (2025)

Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
by: Bessonov, Mariya, et al.
Published: (2022)

SignatureTensors.jl: A Package for Signature Tensors in Julia
by: Riffo, Gabriel, et al.
Published: (2026)

Antiassociative algebra in R: introducing the evitaicossa package
by: Hankinn, Robin K. S.
Published: (2024)

Fast Symbolic Integer-Linear Spectra
by: Luntzel, Jonny, et al.
Published: (2024)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
by: Verschelde, Jan, et al.
Published: (2024)

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
by: Wang, Sen, et al.
Published: (2023)

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
by: Gaudel, Bimal, et al.
Published: (2025)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
by: Aso-Mollar, Ángel, et al.
Published: (2025)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
by: Feng, Jie, et al.
Published: (2024)

Divide, Conquer and Verify: Improving Symbolic Execution Performance
by: Scherb, Christopher, et al.
Published: (2023)

Dissipative quadratizations of polynomial ODE systems
by: Cai, Yubo, et al.
Published: (2023)

OGRe: An Object-Oriented General Relativity Package for Mathematica
by: Shoshany, Barak
Published: (2021)

Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
by: Tabbara, Ihab, et al.
Published: (2025)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
by: De Luca, Marco, et al.
Published: (2026)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
by: Das, Ratnangshu, et al.
Published: (2025)

Efficient Symbolic Computation via Hash Consing
by: Zhu, Bowen, et al.
Published: (2025)

Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs
by: Gimelfarb, Michael, et al.
Published: (2024)

HeylandCircle: A Computational Framework for the Geometric Reconstruction of the Heyland Circle Diagram
by: Gupta, Anubhav, et al.
Published: (2025)

Factoring sparse polynomials fast
by: Demin, Alexander, et al.
Published: (2023)

Hierarchical Neuro-Symbolic Decision Transformer
by: Baheri, Ali, et al.
Published: (2025)

Analytical Lyapunov Function Discovery: An RL-based Generative Approach
by: Zou, Haohan, et al.
Published: (2025)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
by: Li, Zhengyu, et al.
Published: (2025)

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
by: Mårtensson, Erik, et al.
Published: (2025)

Algebraic structure behind Odrzywołek's EML operator
by: Stachowiak, Tomasz
Published: (2026)