23 search results - page 1 / 5 » An algebraic framework for quadratic invariance |
CDC
2010
IEEE
12 years 11 months ago
2010
IEEE
In this paper, we present a general algebraic framework for analysing decentralized control systems. We consider systems defined by linear fractional functions over a commutative ...
ICIP
2008
IEEE
14 years 6 months ago
2008
IEEE
In this paper we address two closely related problems. The first is the object detection problem, i.e., the automatic decision of whether a given image represents a known object o...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...
SODA
2003
ACM
13 years 5 months ago
2003
ACM
This work examines algebraic techniques for comparing quadratic algebraic numbers, thus yielding methods for deciding key predicates in various geometric constructions. Our motiva...
ISSAC
2004
Springer
13 years 10 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...