114 search results - page 1 / 23 » Symbolic computation of differential equivalences |
AUTOMATICA
2008
13 years 4 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
EURODAC
1995
IEEE
13 years 8 months ago
1995
IEEE
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...
AMC
2005
13 years 4 months ago
2005
This paper presents a new symbolic algorithm to compute the singular initial value problem of second-order ordinary differential equations using Adomian decomposition method. The ...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
SIAMREV
2010
12 years 11 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...