Sciweavers

1323 search results - page 10 / 265
» Moment-Linear Stochastic Systems
Sort
View
QEST
2006
IEEE
14 years 4 months ago
Bound-Preserving Composition for Markov Reward Models
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
David Daly, Peter Buchholz, William H. Sanders
LICS
2005
IEEE
14 years 4 months ago
Process Algebras for Quantitative Analysis
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
Jane Hillston
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 5 months ago
Hybrid moment computation algorithm for biochemical reaction networks
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
Yun-Bo Zhao, Jongrae Kim, João Pedro Hespan...
SIAMCO
2002
72views more  SIAMCO 2002»
13 years 10 months ago
Filtering of Nonlinear Stochastic Feedback Systems
This paper concerns the filtering problem for a class of stochastic nonlinear systems where the drift term may depend either on some external function (open-loop system) or on the ...
Francesco Carravetta, Alfredo Germani, Robert Sh. ...