Abstract:
In this paper we propose definitions of equivalence via stochastic bisimulation and of equivalence of stochastic external behavior for the class of discrete-time stochast...Show MoreMetadata
Abstract:
In this paper we propose definitions of equivalence via stochastic bisimulation and of equivalence of stochastic external behavior for the class of discrete-time stochastic nonlinear control systems with possibly degenerate distributed disturbances. The notions are inspired by the analogue notions that exist for probabilistic chains and for behavioral systems, respectively. Connections between the two notions and also with stochastic reachability are discussed. For the subclass of discrete-time stochastic linear control systems with multivariate possibly degenerate normal distributed disturbances, geometric necessary and sufficient conditions for checking stochastic bisimulation equivalence and stochastic external behavior equivalence are derived. The proposed results nicely extend the theory of bisimulation equivalence and equivalence of external behavior known for non-deterministic control systems to a stochastic setting.
Published in: 2015 54th IEEE Conference on Decision and Control (CDC)
Date of Conference: 15-18 December 2015
Date Added to IEEE Xplore: 11 February 2016
ISBN Information: