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...
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
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...
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. ...