4 citations · 6 across the 3 of their papers we have counts for
4 papers
Equivalence Checking and Intersection of Deterministic Timed Finite State Machines
Davide Bresolin, Khaled El-Fakih, Tiziano Villa +1
There has been a growing interest in defining models of automata enriched with time, such as finite automata extended with clocks (timed automata). In this paper, we study determin…
The Quotient in Preorder Theories
Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa +1
Seeking the largest solution to an expression of the form A x <= B is a common task in several domains of engineering and computer science. This largest solution is commonly called…
Higher Order Method for Differential Inclusions
Sanja Zivanovic Gonzalez, Pieter Collins, Luca Geretti +2
Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute valid…
Hardware realization of residue number system algorithms by Boolean functions minimization
Danila Gorodecky, Tiziano Villa
Residue number systems (RNS) represent numbers by their remainders modulo a set of relatively prime numbers. This paper pro- poses an efficient hardware implementation of modular m…