Sciweavers

887 search results - page 32 / 178
» Representing Systems with Hidden State
Sort
View
ISCAS
2007
IEEE
75views Hardware» more  ISCAS 2007»
15 years 11 months ago
State-Space Analysis of Power Complementary Analog Filters
Abstract— This paper presents a new analysis of power complementary analog filters using the state-space representation. Our analysis is based on the bounded-real Riccati equati...
Shunsuke Koshita, Masahide Abe, Masayuki Kawamata
CAV
1998
Springer
98views Hardware» more  CAV 1998»
15 years 9 months ago
Verification of Timed Systems Using POSETs
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
Wendy Belluomini, Chris J. Myers
ICASSP
2011
IEEE
14 years 8 months ago
Learning and inference algorithms for partially observed structured switching vector autoregressive models
We present learning and inference algorithms for a versatile class of partially observed vector autoregressive (VAR) models for multivariate time-series data. VAR models can captu...
Balakrishnan Varadarajan, Sanjeev Khudanpur
FGCS
2006
83views more  FGCS 2006»
15 years 4 months ago
Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...
Anne Benoit, Brigitte Plateau, William J. Stewart
CDC
2009
IEEE
151views Control Systems» more  CDC 2009»
15 years 9 months ago
An algorithm for event-based optimal feedback control
— We present an algorithm for an event based approach to the global optimal control of nonlinear systems with coarsely quantized state measurement. The quantized measurements ind...
Lars Grüne, Florian Mueller