A Remark on Evolution Equation of Stochastic Logical Dynamic Systems

TL;DR

This paper develops a unified framework for analyzing both deterministic and stochastic logical dynamic systems, addressing modeling challenges and non-equivalence issues in stochastic cases.

Contribution

It introduces a comprehensive approach to model stochastic LDSs, highlighting non-equivalence between subsystems and the global system, and proposes conditions for model consistency.

Findings

Unified framework for transition analysis of LDSs

Identification of non-equivalence in stochastic LDS modeling

Conditions for independent and conditional independent models

Abstract

Modelling is an essential procedure in analyzing and controlling a given logical dynamic system (LDS). It has been proved that deterministic LDS can be modeled as a linear-like system using algebraic state space representation. However, due to the inherently non-linear, it is difficult to obtain the algebraic expression of a stochastic LDS. This paper provides a unified framework for transition analysis of LDSs with deterministic and stochastic dynamics. First, modelling of LDS with deterministic dynamics is reviewed. Then modeling of LDS with stochastic dynamics is considered, and non-equivalence between subsystems and global system is proposed. Next, the reason for the non-equivalence is provided. Finally, consistency condition is presented for independent model and conditional independent model.