Topological superposition of abstractions of stochastic processes

L.M. Bujorianu, M.C. Bujorianu

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    183 Downloads (Pure)

    Abstract

    In this paper, we present a sound integration mechanism for Markov processes that are abstractions of stochastic hybrid systems (SHS). In a previous work, we have defined a very general model of SHS and we proved that the realization of an SHS is a Markov process. Moreover, we have developed a verification strategy for the reachability analysis problem. We develop further this line of research by making verification modularly. To achieve this, the state space is decomposed into regions that might share a common border. An abstraction can be constructed on each region and the abstraction method can vary from one region to another. We show how these abstractions can be integrated to provide an abstraction for the entire system. We illustrate this technique for the reachability analysis problem.
    Original languageUndefined
    Title of host publicationMED '07. Mediterranean Conference on Control & Automation
    Place of PublicationLos Alamitos
    PublisherIEEE
    Pages1-6
    Number of pages6
    ISBN (Print)1-4244-1282-X
    DOIs
    Publication statusPublished - 21 Jan 2008
    Event15th Mediterranean Conference on Control & Automation, MED 2007 - Athens, Greece
    Duration: 27 Jun 200729 Jun 2007
    Conference number: 15

    Publication series

    Name
    PublisherIEEE Computer Society Press

    Conference

    Conference15th Mediterranean Conference on Control & Automation, MED 2007
    Abbreviated titleMED
    Country/TerritoryGreece
    CityAthens
    Period27/06/0729/06/07

    Keywords

    • EWI-15278
    • topological superposition
    • stochastic hybrid system
    • METIS-263810
    • IR-65456
    • Markov Processes
    • reachability analysis

    Cite this