Topological superposition of abstractions of stochastic processes

L.M. Bujorianu; M.C. Bujorianu

doi:10.1109/MED.2007.4433833

Topological superposition of abstractions of stochastic processes

L.M. Bujorianu, M.C. Bujorianu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	Undefined
Title of host publication	MED '07. Mediterranean Conference on Control & Automation
Place of Publication	Los Alamitos
Publisher	IEEE
Pages	1-6
Number of pages	6
ISBN (Print)	1-4244-1282-X
DOIs	https://doi.org/10.1109/MED.2007.4433833
Publication status	Published - 21 Jan 2008
Event	15th Mediterranean Conference on Control & Automation, MED 2007 - Athens, Greece Duration: 27 Jun 2007 → 29 Jun 2007 Conference number: 15

Publication series

Name
Publisher	IEEE Computer Society Press

Conference

Conference	15th Mediterranean Conference on Control & Automation, MED 2007
Abbreviated title	MED
Country/Territory	Greece
City	Athens
Period	27/06/07 → 29/06/07

Keywords

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

Access to Document

10.1109/MED.2007.4433833

Cite this

@inproceedings{a169978196f542a68e0d09ee67562e5a,

title = "Topological superposition of abstractions of stochastic processes",

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.",

keywords = "EWI-15278, topological superposition, stochastic hybrid system, METIS-263810, IR-65456, Markov Processes, reachability analysis",

author = "L.M. Bujorianu and M.C. Bujorianu",

note = "10.1109/MED.2007.4433833 ; 15th Mediterranean Conference on Control & Automation, MED 2007 ; Conference date: 27-06-2007 Through 29-06-2007",

year = "2008",

month = jan,

day = "21",

doi = "10.1109/MED.2007.4433833",

language = "Undefined",

isbn = "1-4244-1282-X",

publisher = "IEEE",

pages = "1--6",

booktitle = "MED '07. Mediterranean Conference on Control & Automation",

address = "United States",

}

TY - GEN

T1 - Topological superposition of abstractions of stochastic processes

AU - Bujorianu, L.M.

AU - Bujorianu, M.C.

N1 - Conference code: 15

PY - 2008/1/21

Y1 - 2008/1/21

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

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

KW - EWI-15278

KW - topological superposition

KW - stochastic hybrid system

KW - METIS-263810

KW - IR-65456

KW - Markov Processes

KW - reachability analysis

U2 - 10.1109/MED.2007.4433833

DO - 10.1109/MED.2007.4433833

M3 - Conference contribution

SN - 1-4244-1282-X

SP - 1

EP - 6

BT - MED '07. Mediterranean Conference on Control & Automation

PB - IEEE

CY - Los Alamitos

T2 - 15th Mediterranean Conference on Control & Automation, MED 2007

Y2 - 27 June 2007 through 29 June 2007

ER -