Sciweavers

526 search results - page 35 / 106
» Stochastic Controllability of Linear Systems With State Dela...
Sort
View
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 6 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 7 months ago
Stable Takens' Embeddings for Linear Dynamical Systems
Takens' Embedding Theorem remarkably established that concatenating M previous outputs of a dynamical system into a vector (called a delay coordinate map) can be a one-to-one...
Han Lun Yap, Christopher J. Rozell
AUTOMATICA
2007
145views more  AUTOMATICA 2007»
13 years 7 months ago
Decentralized adaptive output-feedback stabilization for large-scale stochastic nonlinear systems
In this paper, the problem of decentralized adaptive output-feedback stabilization is investigated for large-scale stochastic nonlinear systems with three types of uncertainties, ...
Shu-Jun Liu, Ji-Feng Zhang, Zhong-Ping Jiang
ICC
2007
IEEE
139views Communications» more  ICC 2007»
14 years 1 months ago
Throughput Maximization Transmission Control Scheme Using Precoding for MIMO Systems
— Multiple-input multiple-output (MIMO) systems that realize a high-speed data transmission with multiple antennas at both transmitter and receiver are drawing much attention. In...
Kenichi Kobayashi, Tomoaki Ohtsuki, Toshinobu Kane...
CDC
2009
IEEE
112views Control Systems» more  CDC 2009»
13 years 11 months ago
A Floquet-like factorization for linear periodic systems
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...
Ichiro Jikuya, Ichijo Hodaka