3 papers
cs.FL2026
Commutative algebras of series
Lorenzo Clemente
We consider a large family of product operations of formal power series in noncommuting indeterminates, the classes of automata they define, and the respective equivalence problems…
cs.FL2025
The commutativity problem for effective varieties of formal series, and applications
Lorenzo Clemente
A formal series in noncommuting variables over the rationals is a mapping . We say that a series is commutative if the value in the output does not depend…
cs.FL2025
Algorithmic analysis of systems with affine input and polynomial state
Lorenzo Clemente
The goal of this paper is to provide exact and terminating algorithms for the formal analysis of deterministic continuous-time control systems with affine input and polynomial stat…