Sciweavers

1323 search results - page 30 / 265
» Moment-Linear Stochastic Systems
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
13 years 8 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
CDC
2008
IEEE
116views Control Systems» more  CDC 2008»
14 years 5 months ago
General duality between optimal control and estimation
— Optimal control and estimation are dual in the LQG setting, as Kalman discovered, however this duality has proven difficult to extend beyond LQG. Here we obtain a more natural...
Emanuel Todorov
BIOCOMP
2010
13 years 9 months ago
A Model Reduction Technique for Stochastic Biochemical Kinetics
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
Silvana Ilie, Ekaterina Kudashkina
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
13 years 8 months ago
Stochastic optimization for Markov modulated networks with application to delay constrained wireless scheduling
Abstract-- We consider a wireless system with a small number of delay constrained users and a larger number of users without delay constraints. We develop a scheduling algorithm th...
Michael J. Neely
CDC
2010
IEEE
148views Control Systems» more  CDC 2010»
13 years 6 months ago
Convergence rates of consensus algorithms in stochastic networks
Abstract-- We study the convergence rate of average consensus algorithms in networks with stochastic communication failures. We show how the system dynamics can be modeled by a dis...
Stacy Patterson, Bassam Bamieh