Sciweavers

59 search results - page 2 / 12
» Bounds and algebraic algorithms in differential algebra: the...
Sort
View
JC
2006
105views more  JC 2006»
13 years 5 months ago
On the complexity of the resolvent representation of some prime differential ideals
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...
Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solern&oa...
AAECC
1998
Springer
167views Algorithms» more  AAECC 1998»
13 years 5 months ago
Generalized Bezout Identity
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
J. F. Pommaret, Alban Quadrat
CDC
2009
IEEE
211views Control Systems» more  CDC 2009»
13 years 10 months ago
On stability of linear switched differential algebraic equations
Abstract— This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal t...
Daniel Liberzon, Stephan Trenn
AB
2007
Springer
13 years 9 months ago
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
Alexandre Sedoglavic
HYBRID
2010
Springer
14 years 9 days ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan