780 search results - page 20 / 156 » Stability of fast algorithms for structured linear systems |
AUTOMATICA
2006
14 years 10 months ago
2006
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
AUTOMATICA
2007
14 years 10 months ago
2007
The problem of assigning structural properties of a linear system through sensor selection is, for a given pair (A, B), to find an output pair (C, D) such that the resulting syst...
CAV
2004
Springer
15 years 3 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
100
click to vote
CRYPTO
2003
Springer
15 years 3 months ago
2003
Springer
Many popular stream ciphers apply a filter/combiner to the state of one or several LFSRs. Algebraic attacks on such ciphers [10, 11] are possible, if there is a multivariate relat...
100
click to vote
DEDS
1998
14 years 9 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...