Sciweavers

207 search results - page 8 / 42
» Canonical Forms for Data-Specifications
Sort
View
HYBRID
2007
Springer
15 years 1 months ago
State Nullification of Switched Systems by Linear Output Feedback
We study the possibility to steer the state of a single-input single-output linear switched system to the origin in finite time by output feedback with finite memory. We show that ...
Gera Weiss
APWEB
2007
Springer
15 years 3 months ago
Untyped XQuery Canonization
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Li...
AUTOMATICA
2004
85views more  AUTOMATICA 2004»
14 years 9 months ago
Non-regular feedback linearization of nonlinear systems via a normal form algorithm
In this paper, the problem of non-regular static state feedback linearization of a ne nonlinear systems is considered. First of all, a new canonical form for non-regular feedback ...
Daizhan Cheng, Xiaoming Hu, Yuzhen Wang
FOCS
2000
IEEE
15 years 2 months ago
Computing the Determinant and Smith Form of an Integer Matrix
A probabilistic algorithm is presented to find the determinant of a nonsingular, integer matrix. For a matrix A ¡£¢ n¤ n the algorithm requires O¥ n3¦5 ¥ logn§ 4¦5§ bit...
Wayne Eberly, Mark Giesbrecht, Gilles Villard
IJBC
2008
85views more  IJBC 2008»
14 years 9 months ago
Center bifurcation for Two-Dimensional Border-Collision Normal Form
In this work we study some properties associated with the bordercollision bifurcations in a two-dimensional piecewise linear map in canonical form, related to the case in which a ...
Iryna Sushko, Laura Gardini