In this paper we set up a mathematical structure, called Markov string, to obtaining a very general class of models for stochastic hybrid systems. Markov Strings are, in fact, a class of Markov processes, obtained by a mixing mechanism of stochastic processes, introduced by Meyer. We prove that Markov strings are strong Markov processes with the cadlag property. We then show how a very general class of stochastic hybrid processes can be embedded in the framework of Markov strings. This class, which is referred to as the General Stochastic Hybrid Systems (GSHS), includes as special cases all the classes of stochastic hybrid processes, proposed in the literature.
|Place of Publication||Enschede|
|Publisher||Formal Methods and Tools (FMT)|
|Number of pages||25|
|Publication status||Published - 13 Mar 2008|
|Name||CTIT Technical Report Series|
|Publisher||Centre for Telematics and Information Technology, University of Twente|
Bujorianu, L. M., Lygeros, J., & Bujorianu, M. C. (2008). Towards a General Theory of Stochastic Hybrid Systems. (CTIT Technical Report Series; No. TR-CTIT-08-25). Enschede: Formal Methods and Tools (FMT).