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»
14 years 7 days 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»
14 years 1 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 2 months 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 8 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»
14 years 1 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