338 search results - page 44 / 68 » Differential equations for algebraic functions |
FORMATS
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
AUTOMATICA
2000
13 years 7 months ago
2000
The use of linear quadratic theory in bumpless transfer is discussed and a modification to a similar scheme proposed in [9] is suggested. Formulae are given for a feedback element...
ISSAC
2004
Springer
14 years 23 days ago
2004
Springer
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
ENTCS
2007
13 years 7 months ago
2007
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether de...
ENTCS
2006
13 years 7 months ago
2006
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...