Viewpoint Development of Stochastic Hybrid Systems

Author

Bujorianu, Manuela L. ; Bujorianu, Marius C.

Author_Institution

Fac. of Comput. Sci., Twente Univ.

fYear

2006

fDate

13-15 Dec. 2006

Firstpage

6241

Lastpage

6246

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

random processes; stochastic systems; Markov process; deterministic model; formal development; probabilistic kernel; randomisation; simulation; stochastic behaviour; stochastic hybrid system; system complexity; viewpoint methodology; Application software; Continuous time systems; Control systems; Explosives; ISO standards; Power system modeling; Space technology; Specification languages; Stochastic processes; Stochastic systems; Markov processes; formal development; probabilistic kernels; simulation; stochastic hybrid systems; viewpoints;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2006 45th IEEE Conference on

Conference_Location

San Diego, CA

Print_ISBN

1-4244-0171-2

Type

conf

DOI

10.1109/CDC.2006.377073

Filename

4177687