4 papers
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…
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…
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 on…
Weighted basic parallel processes and combinatorial enumeration
Lorenzo Clemente
We study weighted basic parallel processes (WBPP), a nonlinear recursive generalisation of weighted finite automata inspired from process algebra and Petri net theory. Our main res…