Sciweavers

1357 search results - page 14 / 272
» Compositional analysis for linear systems
Sort
View
99
Voted
JSAC
2008
75views more  JSAC 2008»
15 years 2 months ago
Evolution analysis of low-cost iterative equalization in coded linear systems with cyclic prefixes
This paper is concerned with the low-cost iterative equalization/detection principles for coded linear systems with cyclic prefixes. Turbo frequency-domain-equalization (FDE) is ap...
Xiaojun Yuan, Qinghua Guo, Xiaodong Wang, Li Ping
92
Voted
ISCAS
2007
IEEE
128views Hardware» more  ISCAS 2007»
15 years 9 months ago
Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real Transformations
Abstract— This paper discusses the behavior of the secondorder modes of linear continuous-time systems under variable transformations with positive-real functions. We first disc...
Shunsuke Koshita, Yousuke Mizukami, Taketo Konno, ...
104
Voted
CDC
2008
IEEE
142views Control Systems» more  CDC 2008»
15 years 3 months ago
Stability analysis of linear hyperbolic systems with switching parameters and boundary conditions
Abstract— We study asymptotic stability of an infinite dimensional system that switches between a finite set of modes. Each mode is governed by a system of one-dimensional, lin...
Saurabh Amin, Falk M. Hante, Alexandre M. Bayen
CAV
2004
Springer
93views Hardware» more  CAV 2004»
15 years 8 months ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—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...
Farn Wang
CDC
2009
IEEE
15 years 7 months ago
Schur-based decomposition for reachability analysis of linear time-invariant systems
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
Shahab Kaynama, Meeko Oishi