Sciweavers

26 search results - page 1 / 6
» Balanced state-space representations: a polynomial algebraic...
Sort
View
CDC
2009
IEEE
168views Control Systems» more  CDC 2009»
13 years 10 months ago
Balanced state-space representations: a polynomial algebraic approach
Abstract— We show how to compute a minimal Riccatibalanced state map and a minimal Riccati-balanced state space representation starting from an image representation of a strictly...
Paolo Rapisarda, Harry L. Trentelman
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
13 years 11 months ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
DATE
2009
IEEE
112views Hardware» more  DATE 2009»
14 years 11 days ago
Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis
: Common sub-expression elimination (CSE) serves as a useful optimization technique in the synthesis of arithmetic datapaths described at RTL. However, CSE has a limited potential ...
Sivaram Gopalakrishnan, Priyank Kalla
ICCV
2001
IEEE
14 years 6 months ago
A Linear Dual-Space Approach to 3D Surface Reconstruction from Occluding Contours using Algebraic Surfaces
We present a linear approach to the 3D reconstruction problem from occluding contours using algebraic surfaces. The problem of noise and missing data in the occluding contours extr...
Kongbin Kang, Jean-Philippe Tarel, Richard Fishman...
ISSAC
2005
Springer
125views Mathematics» more  ISSAC 2005»
13 years 11 months ago
Generalized normal forms and polynomial system solving
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
Bernard Mourrain