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.

On Equivalence Notions for Discrete–Time Stochastic Control Systems

POLA, GIORDANO;MANES, COSTANZO;DI BENEDETTO, MARIA DOMENICA
2015-01-01

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.
9781479978861
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/91341
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 4
social impact