Towards a General Theory of Stochastic Hybrid Systems

L.M. Bujorianu, J. Lygeros, M.C. Bujorianu

    Research output: Book/ReportReportProfessional

    44 Downloads (Pure)

    Abstract

    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.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherFormal Methods and Tools (FMT)
    Number of pages25
    Publication statusPublished - 13 Mar 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.TR-CTIT-08-25
    ISSN (Print)1381-3625

    Keywords

    • MSC-68Q85
    • EWI-12114
    • IR-64684
    • METIS-250910

    Cite this

    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).