CDC
2010
IEEE
13 years 6 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
BIRTHDAY
2009
Springer
13 years 9 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
AUTOMATICA
2005
13 years 11 months ago
2005
We study the problem of feedback stabilization of a family of nonlinear stochastic systems with switching mechanism modeled by a Markov chain. We introduce a novel notion of stabi...
AUTOMATICA
2006
13 years 11 months ago
2006
In this paper, the mean square (MS) stability and exponential mean square (EMS) stability of multi-variable switched stochastic systems are investigated. Based on the concept of t...
FORTE
2004
14 years 25 days ago
2004
Passage time densities are useful performance measurements in stochastic systems. With them the modeller can extract probabilistic quality-of-service guarantees such as: the proba...
FORMATS
2006
Springer
14 years 3 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
TACAS
2004
Springer
14 years 4 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
CDC
2008
IEEE
14 years 6 months ago
2008
IEEE
— 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...