A Measure-Theoretic Proof of the Markov Property for Hybrid Systems with Markovian Inputs

A. Tejada, O.R. Gonzalez, W.S. Gray
2006 Proceeding of the Thrity-Eighth Southeastern Symposium on System Theory  
The behavior of a general hybrid system in discrete time can be represented by a non-linear difference equation x(k + 1) = F k (x(k), θ(k)), where θ(k) is assumed to be a finite state Markov chain. An important step in the stability analysis of these systems is to establish the Markov property of (x(k), θ(k)). There are, however, no complete proofs of this property which are simple to understand. This paper aims to correct this problem by presenting a complete and explicit proof, which uses
more » ... oof, which uses only basic measure-theoretical concepts.
doi:10.1109/ssst.2006.1619071 fatcat:vvj2kfqvcrgx7kliejk2bwyq3i