Viewpoint Development of Stochastic Hybrid Systems

L.M. Bujorianu; M.C. Bujorianu

doi:10.1109/CDC.2006.377073

Viewpoint Development of Stochastic Hybrid Systems

L.M. Bujorianu, M.C. Bujorianu

Research output: Contribution to conference › Paper › peer-review

1 Citation (Scopus)

164 Downloads (Pure)

Abstract

Nowadays, due to the explosive spreading of networked and highly distributed systems, mastering system complexity becomes a critical issue. Two development and verification paradigms have become more popular: viewpoints and randomisation. The viewpoints offer large freedom and introduce concurrency and compositionality in the development process. Randomisation is now a traditional method for reducing complexity (comparing with deterministic models) and it offers finer analytical analysis tools (quantification over non-determinism, multi-valued logics, etc). In this paper, we propose a combination of these two paradigms introducing a viewpoint methodology for systems with stochastic behaviours.

Original language	Undefined
Pages	6241-6246
Number of pages	6
DOIs	https://doi.org/10.1109/CDC.2006.377073
Publication status	Published - 7 May 2007
Event	45th IEEE Conference on Decision and Control, CDC 2006 - San Diego, United States Duration: 13 Dec 2006 → 15 Dec 2006 Conference number: 45

Conference

Conference	45th IEEE Conference on Decision and Control, CDC 2006
Abbreviated title	CDC
Country/Territory	United States
City	San Diego
Period	13/12/06 → 15/12/06

Keywords

viewpoints
EWI-15279
stochastic hybrid systems
IR-65457
Markov Processes
probabilistic kernels
Simulation
formal development

Access to Document

10.1109/CDC.2006.377073

Cite this

@conference{0bb26eb843844e7195a7b8d5e593385d,

title = "Viewpoint Development of Stochastic Hybrid Systems",

abstract = "Nowadays, due to the explosive spreading of networked and highly distributed systems, mastering system complexity becomes a critical issue. Two development and verification paradigms have become more popular: viewpoints and randomisation. The viewpoints offer large freedom and introduce concurrency and compositionality in the development process. Randomisation is now a traditional method for reducing complexity (comparing with deterministic models) and it offers finer analytical analysis tools (quantification over non-determinism, multi-valued logics, etc). In this paper, we propose a combination of these two paradigms introducing a viewpoint methodology for systems with stochastic behaviours.",

keywords = "viewpoints, EWI-15279, stochastic hybrid systems, IR-65457, Markov Processes, probabilistic kernels, Simulation, formal development",

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

year = "2007",

month = may,

day = "7",

doi = "10.1109/CDC.2006.377073",

language = "Undefined",

pages = "6241--6246",

note = "45th IEEE Conference on Decision and Control, CDC 2006 ; Conference date: 13-12-2006 Through 15-12-2006",

}

TY - CONF

T1 - Viewpoint Development of Stochastic Hybrid Systems

AU - Bujorianu, L.M.

AU - Bujorianu, M.C.

N1 - Conference code: 45

PY - 2007/5/7

Y1 - 2007/5/7

N2 - Nowadays, due to the explosive spreading of networked and highly distributed systems, mastering system complexity becomes a critical issue. Two development and verification paradigms have become more popular: viewpoints and randomisation. The viewpoints offer large freedom and introduce concurrency and compositionality in the development process. Randomisation is now a traditional method for reducing complexity (comparing with deterministic models) and it offers finer analytical analysis tools (quantification over non-determinism, multi-valued logics, etc). In this paper, we propose a combination of these two paradigms introducing a viewpoint methodology for systems with stochastic behaviours.

AB - Nowadays, due to the explosive spreading of networked and highly distributed systems, mastering system complexity becomes a critical issue. Two development and verification paradigms have become more popular: viewpoints and randomisation. The viewpoints offer large freedom and introduce concurrency and compositionality in the development process. Randomisation is now a traditional method for reducing complexity (comparing with deterministic models) and it offers finer analytical analysis tools (quantification over non-determinism, multi-valued logics, etc). In this paper, we propose a combination of these two paradigms introducing a viewpoint methodology for systems with stochastic behaviours.

KW - viewpoints

KW - EWI-15279

KW - stochastic hybrid systems

KW - IR-65457

KW - Markov Processes

KW - probabilistic kernels

KW - Simulation

KW - formal development

U2 - 10.1109/CDC.2006.377073

DO - 10.1109/CDC.2006.377073

M3 - Paper

SP - 6241

EP - 6246

T2 - 45th IEEE Conference on Decision and Control, CDC 2006

Y2 - 13 December 2006 through 15 December 2006

ER -